Surely I Am Joking
  • Night
  • Sort
  • All
  • Blog
  • 简书
  • Tweet
  • GitHub
  • 付费
Programming
PL
OS
Insight
Design
Car
Temp
  • Why self-driving cars are not going to happen
  • Why "Falcon Wing Doors" is a bad idea
  • Some observations about Tesla's Autopilot
  • Design Flaws of the Tesla Model S
  • Three famous quotes
  • RubySonar: a type inferencer and indexer for Ruby
  • Programs may not be proofs
  • Tests and static analysis
  • On object-oriented programming
  • Purely functional languages and monads
  • Psydiff: a structural comparison tool for Python
  • A pure logic negation operator for miniKanren
  • Null reference may not be a mistake
  • How to reduce the contagious power of 'const'
  • Back to the future of databases
  • Why is indexing faster than binary search
  • On pureness
  • A Concise Solution to the P=NP? Problem
  • Undecidability Proof of the Halting Problem using Lambda Calculus
  • Undecidability Proof of Halting Problem without Diagonalization
  • Let-polymorphism is Fundamentally Flawed
  • A mind map guide for TeXmacs
  • My PhD Oral Exam Slides
  • What is a Program?
  • Understanding the Yin-Yang Puzzle
  • Propositions as programs
  • On software design patterns
  • Concurrent stack does not exist
  • How to reinvent the Y combinator
  • A reformulation of reducibility
  • ADTs and objects
  • A bug in GHC's type system
  • On point-free programming
  • Towards Structural Version Control
  • Decoupling type classes
  • The Essence of Register Allocation
  • ydiff: a structural program comparison tool
  • A minimal boot sector tutorial
  • Boolean Expression Simplification
  • Sum types and union types
  • On literate programming
  • Indentation-based syntax considered troublesome
  • Limitations of the Unix philosophy and the ultimate solution to parsing
  • PySonar: a type inferencer and indexer for Python
  • On linux kernel memory addressing
  • Shared Memory Mutliprocessing Is An Illusion