Skip to content

eli4d.com

Write | Learn | Teach | Curate Tech podcasts & news

  • Teaching
    • Student Question: Where do I go from here?
    • JavaScript Specifics for “Where do I go from here?” Question
    • PHP Specifics for “Where do I go from here?” Question
  • About
  • Newsletter
  • Tutorials
  • Reviews
  • Disclaimer

Categories

  • All (besides Quick Posts)
  • Newsletter
  • Quick Posts
  • Quick Posts via Twitter

Follow me on Twitter

My Tweets

Tags

  • accessibility
  • app review
  • architectural patterns
  • aws
  • best
  • book review
  • California Propositions
  • CLI
  • computer languages
  • computer science
  • cross-platform
  • customer service
  • debugging
  • design patterns
  • devops
  • document
  • documentation
  • Drobo
  • drone
  • education
  • fun
  • Git
  • Golang
  • GTD
  • health
  • how to teach
  • how to vote
  • in memoriam
  • iOS Apps
  • JavaScript
  • learn
  • Mac OS X
  • Medium
  • microblog post
  • mindfulness
  • Net Neutrality
  • Note to Self
  • OOP
  • open letter
  • opinion
  • organizational patterns
  • pedagogy
  • photoshop
  • PHP
  • podcast
  • post by email
  • privacy
  • programming
  • psa
  • Python
  • quadcopter
  • Quick Post
  • recommended
  • REST
  • review
  • ruby on rails
  • scifi
  • scm
  • security
  • snippet
  • social justice
  • student question
  • survey
  • system admin
  • teach
  • tips
  • todo
  • tutorials
  • TV Series
  • ubuntu
  • vue.js
  • Wikipedia
  • WordPress
  • wordpress.com
  • WWDC

Recent Posts

  • Quick Post via Twitter: Screaming in the #Cloud | Google Is Deprecating This #Podcast with Cody Ogden https://t.co/m0oyxMyhk6 Great discussion about #GCP vs #AWS & nature of #trust for both consumers & corporations #qp
  • Quick Post via Twitter: Really good discussion between @leolaporte & @SGgrc regarding Google’s #Privacy #Sandbox proposal #infosec #Tracking #WebCookies #qp SN 729: Next Gen #Ad Privacy — #SecurityNow https://t.co/tATOdnDcjh
  • Quick Post via Twitter: Neat explanation of #ElixirLang’s #PatternMatching 116: @JerodSanto – Building the #Changelog Platform with @elixirlang and #Phoenix — @fullstackradio https://t.co/dy7Ox6VzQa #qp #FP #FunctionalProgramming https://t.co/WQPrtmjP0X
  • Quick Post via Twitter: An excellent interview with one of my favorite people at the @changelog 116: @JerodSanto – Building the #Changelog Platform with @elixirlang and #Phoenix — @fullstackradio https://t.co/2OwPON3Z4T #qp #Elixir https://t.co/v3aQxNJuZ9
  • Quick Post via Twitter: Excellent episode from @buffer’s #podcast: Marie Kondo-ing Your LinkedIn: The #LinkedIn Audit Blueprint to Help Your Profile Shine — The Science of #SocialMedia https://t.co/mAdajv4ieI #qp

Archives

  • December 2019
  • September 2019
  • June 2019
  • May 2019
  • April 2019
  • March 2019
  • February 2019
  • January 2019
  • December 2018
  • November 2018
  • October 2018
  • September 2018
  • August 2018
  • July 2018
  • June 2018
  • May 2018
  • April 2018
  • March 2018
  • February 2018
  • January 2018
  • December 2017
  • November 2017
  • October 2017
  • September 2017
  • August 2017
  • July 2017
  • June 2017
  • May 2017
  • April 2017
  • March 2017
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • October 2016
  • September 2016
  • August 2016
  • July 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • October 2015
  • September 2015
  • August 2015
  • July 2015

Quick Post via Twitter: The #coq verifier (https://t.co/BnA5o06PQ3) & the #halting problem. #qp #RacketLang #FP @jeapostle @fngeekery https://t.co/zewU6oHGu1

The #coq verifier (https://t.co/BnA5o06PQ3) & the #halting problem.

#qp
#RacketLang
#FP
@jeapostle @fngeekery https://t.co/zewU6oHGu1

Share this:

  • Twitter
  • Facebook

Like this:

Like Loading...
Posted on 2017-04-21Author eli4dCategories Quick Posts via Twitter

Post navigation

Previous Previous post: Quick Post via Twitter: Recommended #DSL book: “Beautiful #Racket” (https://t.co/6frVagqRDM) #qp #RacketLang #FP @jeapostle @fngeekery https://t.co/xsaItrgVbh
Next Next post: Quick Post via Twitter: The #horror genre as a #therapeutic approach for #trauma & #loss? #qp #Movies #Media @emolinsky’s #ImaginaryWorlds https://t.co/IPe2GhIMOg
Blog at WordPress.com.
Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy
  • Follow Following
    • eli4d.com
      • Join 44 other followers
    • Already have a WordPress.com account? Log in now.
    • eli4d.com
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Copy shortlink
    • Report this content
    • View post in Reader
    • Manage subscriptions
    • Collapse this bar
%d bloggers like this: