Posts tagged with "ephemera"
- Notice of AMS: Vladimir Voevodsky
- Gentle Introduction to Homotopy Type Theory
- Interactive Theorem Proving
- Web Page is Back
- Comparison of Type Theory and Set Theory
- Competing Against Wadler
- Google and its own Software
- Giving Talk on Productive and Terminating Functions
- Structurelessness
- Speaking at Lambda Days 2019!
- Giving a Talk at IEEE on Function Totality
- Proof Assistant in Teaching
- Facebook Protest for the Web
- Wadler on Invented Programming Languages
- Fast Grepping Source Code
- Idris for Haskellers
- Typed Holes in Programming
- The State of Software Engineering
- Haskell IDE Engine in the Atom Editor from cwd
- Idris 1.3.0 Released
- Incomplete Pattern-matching in Haskell
- 2FA Smartphone App
- Haskell User Survey 2018
- Felleisen on Dynamically Typed Languages
- On Dynamically Typed Languages
- Debian Meltdown
- On Function Types
- Haskell at Google Summer of Code 2018
- More on Subtyping
- Haskell Stack Upgrade
- Syncthing
- Free Monads in Idris
- 10 Things Idris Improved over Haskell
- Dijkstra on Abstraction
- Former Facebook Exec Says Social Media is Ripping Apart Society
- Haskell for Dummies
- Liquid Haskell
- Programming Language Grouping
- Hoogle
- How Google and Microsoft made E-mail Unreliable
- Unlimited Limitedness
- Stop the Numbers Game
- Committing at the Right Time
- America is obsessed with happiness — and it’s making us miserable
- You don’t have to be stupid to work here, but it helps
- PhD Candidate
- DAVdroid
- Fireworks Season
- Academic Rejection Letter
- First Debian Bug Fixed!
- C++ Taking Toll
- Unit Testing Interleaved with Development
- 2016 and C++
- On the PC of the JPF Workshop 2016
- DRM Video on e-books
- Accepted to GSoC 2016!
- Scripting in Scala
- Conference Decision Chart
- Apple — A For-profit Company
- A Comparative Analysis of Pandas vs. Academics
- Analyzing Debian with KLEE
- Org-mode to Markdown
- When a Draft Says Hello to a PhD Student
- Hand-signing a Digital Document
- Welcome to the Pirate Bay of Science
- Computing Ethics
- GNU Enscript
- Security and Privacy Double-talk
- PhD comics: Possible Reasons
- How Winning Leads to Cheating
- Who Controls the Code in Self-driving Cars?
- Added the About page
- Accessing Research Publications Off-campus
- Facebook Fellowship
- Writing with Others
- The Smartphone Society
- LDV + SeaHorn
- Trip reimbursements
- Back from ISSTA and CAV 2015
- Another Reason Why Ads Are Bad For You
- VMware Sued for Failure to Comply with GPL
- The Exploitative Economics of Academic Publishing
- The Dominance of English in Science
- Back to Utah!
- Phonetics on Front Page
- Piwik