miniblog.

Alan Kay gives a tribute to Ted Nelson, and gives a demo of early Smalltalk! The level of integration is impressive. https://youtu.be/AnrlSqtpOkw
010 Editor has a really cute hex editor: you teach it the data structure, and it enables structured editing!
Scheme is a funny PL to implement. You get a basic parser/evaluator working then suddenly TCO! call/cc! and you're doing a major refactor.
How do compilers represent types in an AST in practice?
Cute Rust trick to avoid breaking compatability in new lib versions: import from the new version of the same lib!
An amazing project which adds a Pry style REPL to Go! https://github.com/d4l3k/go-pry (It describes the impl, could work with any PL I think)
Go has added monotonicity to its Time implementation, without changing the API for callers! https://github.com/golang/proposal/blob/master/design/12914-monotonic.md (an impressive feat!)
Lovely article showing how to convert an interpreter to an abstract interpreter performing sign analysis:
It's possible to do HTTPS MITM detection! https://caddyserver.com/docs/mitm-detection (seems to exploit the fact that most MITM proxies are simplistic wrt UA)
Any HTTP site with form fields (which is practically every HTTP site) will soon show a browser security warning! https://www.troyhunt.com/life-is-about-to-get-harder-for-websites-without-https/
Are there any Hoogle-style IDE suggestion tools? "Devs who wrote a function with the same type as yours wrote ..."
Live coding widgets in Strongtalk: https://youtu.be/5jRQcs9gx3Y (not just rich text, but programmable text!)
Ten years anniversary of Openmoko https://laforge.gnumonks.org/blog/20160920-openmoko_10years/ (reflecting on the FOSS smartphone project)
Docker multi-stage builds are great for separating build dependencies from runtime. I nearly halved my image size!
I'd like to think of myself as a serious Emacs user, but I have never used magit on my phone! (From emacs-devel.)
Photo
Showing 3,526-3,540 of 7,585 posts