Posts
- Using replace in Idris
- Just removed fill-column-indicator from my Emacs configuration
- Dependent Pattern Matching in Coq
- Cross References in Org Mode
- Fixed the figures in the Lambda Calculus posts
- The Calculus of Constructions
- Lambda-P
- Lambda-Weak Omega
- The Second Order Typed Lambda Calculus
- The Simply Typed Lambda Calculus
- The Lambda Calculus
- Type Theory & Reasoning About Code
- Ann: ob-coq
- Org Mode & LaTeX
- I always wondered…
- I'm taking more care with a PR than lauded academics do with their data
- guile-aws
- Using Klee on Rust Programs
- Using tools to author more bad code is not a solution to bad code
- Emacs as a Rust IDE
- Another CherryPy issue
- Learning far more than I wanted about the CherryPy framework
- Hosting indie-org.sh on S3
- Good article on sealed traits in Rust
- A demonstration site for my indie-org package
- Everyone knows the cloud is the future, right?
- Rust's hyper crate has a really irritating foot-gun
- first-photo
- Finally found a workaround to those warnings about byte-compile-dest-file-function when using Automake with elisp
- follow-up-to-reworking-the-site
- I'm re-working unwoundstack to incorporate different sorts post types
- boost 1.74 filesystem bug
- Announcing Rust crate tracing-rfc-5424
- pin 0.2
- Documenting FOSS Projects
- The Indieweb
- Announcing Webmention Support
- Indieweb markup
- Rust Error Handling
- A Concrete Example of Symbolic Execution
- Testing Is a Poor Substitute for Reasoning
- Updated pin
- Fixed my RSS Feed
- C++, Rust & Sum Types
- Where Should elfeed-score State Be Persisted?
- Calculating the Duration of an MP3 File
- Commenting
- guile-magic
- A more compact ERC mode line
- Switching Emacs Themes
- Computing Damerau-Levenshtein Distance
- Using org-capture to save links to Pinboard
- Guile, Autotools and the std-options option
- Scoring Elfeed Entries
- Guile & Autoconf
- Moving from Feedly to Elfeed
- My Good-bye to Python