miniblog.

← Back to all posts
May 1, 2015 at 07:35
The best editor for working with Agda, a rigorous dependently typed language, is apparently the dynamic typed Emacs! http://t.co/yphJPv1MbC

Related Posts

Apr 28, 2024 at 22:34
I've written my first man page! https://github.com/Wilfred/difftastic/commit/cb63ca88303d3c8dffd763cf6e5772e45c045588 Troff syntax is new to me and a little hard to read -- apparently you shouldn't use blank lines. Turns out you can use pandoc to convert markdown to troff instead.
Write a basic man page · Wilfred/difftastic@cb63ca8
Write a basic man page · Wilfred/difftastic@cb63ca8
a structural diff that understands syntax 🟥🟩. Contribute to Wilfred/difftastic development by creating an account on GitHub.
Feb 16, 2024 at 05:45
Apparently over half of the income for the Python Software Foundation comes from PyCon US! https://www.python.org/psf/sponsorship/
Mar 14, 2023 at 15:43
Apparently FizzBuzz is a spelling used by programmers, and it's "Fizz Buzz" in other contexts: https://en.wikipedia.org/wiki/Fizz_buzz Perhaps programmers favour camel case more often?