Turning the IDE Inside Out with Datalog
Introspectable and extensible IDEs with logic programming
The latest blog posts to take off on Hacker News. 3,290 posts.
Introspectable and extensible IDEs with logic programming
Twitter was thrown into chaos on Wednesday after accounts for some of the world’s most recognizable public figures, executives and celebrities starting tweeting out links to bitcoin scams. Twitter says the attack happened because someone tricked or coerced an employee into providing access to internal Twitter…
Principles of how pulse oximetry works explained without using complicated physics.
If the first nuclear weapons test had been a flop, would the world be better or worse off?
Analysis of various approaches to monetizing the Twitter hack
There have been many metallurgists over the decades who have developed steels used in knives. Who has made the greatest contribution?
Continuations are the least understood of all control-flow constructs. This lack of understanding (or awareness) is unfortunate, given that continuations permit the programmer to implement powerful language features and algorithms, including exceptions, backtracking search, threads, generators and coroutines.
It’s hard to believe that its been more than 3 years since I opened RFC 2000 , which defined the const generics for Rust. At the same time, reading the RFC thread, there’s also been a huge amount of change in this area: for one thing, at the time the RFC was written, const fns weren’t stable, and consts weren’t even…
hi! Yes, it's been a while since I posted here and yes, it's been a while since I was actively working on FreeBSD's wireless stack. Life's...
Way back in late 2019 , I dissected a Reolink B800 IP camera to demonstrate the various parts of an embedded Linux system. It’s fairly nice hardware, actually—it has a 4K video sensor, a microphone, power over Ethernet, and is nominally waterproof. And yes, it runs Linux.
Do you actually use data structures and algorithms on your day to day job? I've noticed a growing trend of people assuming algorithms are pointless questions that are asked by tech companies purely as an arbitrary measure. I hear more people complain about how all of this is a
One of today’s best bloggers in the functional programming space is Chris Penner . Despite this, Chris is criminally underrated—nobody I talk to seems to know of his work. Go check him out as soon as you finish reading this post!
I’m here to warn you about the dangers of front-end user tracking. Not because Google is tracking you, but because it doesn’t track you quite well enough.
In Search of 2.11BSD, as released Almost all of the BSD releases have been well preserved. If you want to find 1BSD, or 2BSD or 4.3-TAHOE BS...
How the JPEG format works: file headers and markers, Huffman coding, quantization, zigzag and the DCT, explained by writing a JPEG decoder in Python.
It might seem a reasonable question, but it makes some terrible assumptions: lines of code = effort lines of code = value all lines of c...
If you’re reading this post, you might be interested in trying your hand at live coding on stream, as a way of sharing your projects in a more relatable, immediate way than a polished blog post, teaching others about programming, or just as a way to have fun. I think that live coding and streams in general are an…
It is with sadness that I write to tell you that I am resigning from The New York Times.
How TikTok exposed Facebook’s blindspot, thanks to its Chinese roots, and why those Chinese roots make TikTok a genuine concern.
Come for the schools, be used as pawns for politics.
The AirPods Pro “Rattlegate” The first generation of the AirPods was generally regarded as a perfect product. “Apple at its best!” was the universally accepted opinion. I used them for a long time. No speaker issues, no battery issues. Excited for the noise cancelling feature I ordered the AirPods Pro and for the…
People in the bitcoin community often make fun of me as a nocoiner . That is, I don't have any bitcoins and am vocal about that fact. (Ne...
An essay that bids farewell to x87 – a computing architecture too long for this world.