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.
Program synthesis is just magical. The next version of https://github.com/Wilfred/suggest.el will support nested functions. E.g. searching 0 => 3 here.
Rust is going to make ! (which represents a function never returning) into a fully fledged type! https://github.com/rust-lang/rfcs/blob/master/text/1216-bang-type.md
Fun post showing how to emulate double precision with single precision: https://web.archive.org/web/20110831040222/https://www.thasler.org/blog/?p=93 (illustrated with mandelbrot fractals)
The IKEA Effect on Software
https://medium.com/@khasan222/the-ikea-effect-on-software-95240dd58a3
(interesting perspective: "I've just built this so you should use it!")
Typescript 2.4 is out! https://blogs.msdn.microsoft.com/typescript/2017/06/27/announcing-typescript-2-4/
The nice thing about type checkers as libraries is that they can be improved over time.
Showing 481-500 of 885 posts