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.
miniblog.
How do compilers represent types in an AST in practice? https://blog.ezyang.com/2013/05/the-ast-typing-problem/
Cute Rust trick to avoid breaking compatability in new lib versions: import from the new version of the same lib! https://github.com/dtolnay/semver-trick/blob/master/README.md
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: https://matt.might.net/articles/intro-static-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! https://github.com/Wilfred/solo-wiki/commit/6714c097081b6560709fc80a4aeb7c6cb06054c1
I'd like to think of myself as a serious Emacs user, but I have never used magit on my phone! (From emacs-devel.)
Survey of Round() implementations in Go: https://www.cockroachlabs.com/blog/rounding-implementations-in-go/ (most are wrong, so it will be added to stdlib. Surprisingly hard!)
The next Emacs London meetup will feature talks from @_abo_abo and @milkypostman! Both superb Emacsers, should be excellent!
I'm amazed to learn that rolling an application-specific malloc implementation rarely pays off!
Datomic: this is not the history you're looking for
https://vvvvalvalval.github.io/posts/2017-07-08-Datomic-this-is-not-the-history-youre-looking-for.html
(viewing past DB states differs from old data in today's format)
On emoji use to convey intent and as a body language/facial expression substitute (45% of emoji use is 😀!) https://m.nautil.us/issue/50/emergence/why-you-need-emoji
Conda is a delight to use. Proper dependency resolution, fast installs, and MKL builds of numpy by default!
LiSP describes shallow binding, where values are stored on the var rather than in a symbol table. TIL GHC does this!
Showing 461-480 of 885 posts