Re-linking the OpenBSD kernel on every boot, to make info leaks harder: https://www.bleepingcomputer.com/news/security/openbsd-will-get-unique-kernels-on-each-reboot-do-you-hear-that-linux-windows/ (innovative and in principle any OS could)
miniblog.
A project exploring group IM designs that aren't a perpetual distraction: https://blog.doist.com/twist-mindful-team-communication-28e83e661e69 (risks becoming a forum however)
Superb discussion of the many types of UB in C/C++ and how to deal with them:
https://blog.regehr.org/archives/1520
(infinite loops is my fav oddball UB)
An incredible vim plugin that turns code into a breakout game!
Interesting consequence of lobste.rs accounts requiring a referral from another user: you can identify voting rings!
Rather than verifying all possible compiler outputs, just check that the current output was optimised correctly!
Tracking a hardware bug in Intel's Skylake processors: https://gallium.inria.fr/blog/intel-skylake-bug/ (CPU errata are scary—when did you last read yours?)
Blogged: Synthesising Elisp Code: https://www.wilfred.me.uk/blog/2017/07/02/synthesising-elisp-code/
Never mind Go, Arimaa was *designed* to be difficult for computers. But in 2015, computers were beating humans! https://www.kingpinchess.net/2015/07/arimaa-game-over/
Maybe Wikipedia would work better with an SO model. Attribute articles to authors, allow multiple articles, and close rather than delete.
Elm will automatically download dependencies for you. Neat! It's too easy to pull changes to package.json and wonder why it doesn't work.
Why do we use SAT solvers today? In 2001, they became fast enough that we can apply them to real-world problems.
The widely used Ruby program 'bundle' is in a package called 'bundler'. A nice example of programmer happiness: failing gracefully!
PLs where you can see the ASM from a REPL (CL, Julia) tend to have high perf ceilings. If you can see issues, you're inclined to fix them.
The hyperlink has changed publishing forever, but it's made using underlines for emphasis much harder. I keep trying to click them.
Showing 3,466-3,480 of 7,508 posts