miniblog.

Apr 23, 2017
If you wanted to write a program that would still work (without modification) in 20 years, what language/platform would you use, and why?
Apr 22, 2017
Taming Undefined Behavior in LLVM https://www.cs.utah.edu/~regehr/papers/undef-pldi17.pdf (very readable paper on UB behaviour at the level of compiler IR semantics)
Apr 22, 2017
Intrigued by the idea of measuring deploy frequency per software project. Unlike most dev metrics, it's hard to game in a detrimental way.
Apr 22, 2017
Emacs 25.2 is out! https://www.gnu.org/software/emacs/news/NEWS.25.2
Apr 22, 2017
Fun post comparing metaprogramming with Boost.Hana in C++ vs D:
Metaprogramming is less fun in D
Despite the speaker’s calm voice and the slides showing almost nothing but code in C++ (which isn’t what you’d normally expect from a keynote), Louis Dionne’...
Apr 20, 2017
Type Tailoring https://blog.racket-lang.org/2017/04/type-tailoring.html An incredible post showing how to *extend* Typed Racket at the user macro level!
Type Tailoring
_posted by Ben Greenman_ Type tailoring is a technique for adding _domain-specific_ type checkers to a typed host language. Using the _Type Systems as Macros_ approach to building typed languages, implementing type tailoring in Typed Racket is straight...
Apr 19, 2017
I like the idea of a LOC limit on projects, but it's hard to implement. Avoiding feature creep is good, but so is increasing test coverage.
Apr 18, 2017
Emacs master has added a new switch bytecode! https://github.com/emacs-mirror/emacs/commit/88549ec38e9bb30e338a9985d0de4e6263b40fb7
Apr 18, 2017
TIL git-log can show multiple heads when --all is too much to see what's going on:
Git log graph, display how two branches are diverging - Stack Overflow
Git log graph, display how two branches are diverging - Stack Overflow
Apr 17, 2017
Fortunately, 'make clean' in Remacs does exactly what you think it does. CI has been a huge help spotting a dev has a dirty environment.
X / ?
Apr 17, 2017
I'm resurrecting an old blog using Ghost. So far, I'm impressed: it's minimal but has everything I need. sqlite default DB makes it easy.
Apr 17, 2017
Taming Undefined Behavior in LLVM https://blog.regehr.org/archives/1496 (exploring a model for undef behaviour that is comprehensible and amenable to opt)
Apr 17, 2017
The origins of XXX as FIXME https://www.snellman.net/blog/archive/2017-04-17-xxx-fixme/ (lisp machines, early Unix, and proper code archaeology!)
The origins of XXX as FIXME
In which I go digging into source archives from 40-50 years ago, to figure out why we use XXX to mark dodgy code.
Apr 17, 2017
Homograph attacks still exist in Unicode domains: https://www.xudongz.com/blog/2017/idn-phishing/ (scary! Whitelist character sets by TLD?)
Phishing with Unicode Domains - Xudong Zheng
Vulnerability in Chrome, Firefox, and Opera makes users susceptible to phishing with Unicode domains
Apr 17, 2017
Solving the knapsack problem (NP-complete!) in Prolog: https://newtocode.wordpress.com/2013/11/23/knapsack-problem-in-prolog/
Showing 3,676-3,690 of 7,585 posts