391
Playground Wisdom: Threads Beat Async/Await
Musings about async await again and why I think virtual threads
New
The latest blog posts to take off on Hacker News. 3,433 posts.
392
Writes large correct programs (2008)
A good programmer is someone who can write large programs that have a high probability of being correct.
393
394
Computer Networking Fundamentals – Learning Series (2023)
This colorful series walks you through the networking basics in just a few thousand words! It also offers hands-on labs to practice the obtained knowledge.
395
Reactive HTML Notebooks
Can we build a reactive notebook in a single HTML file? Yes (by standing on the shoulders of Observable)
396
Against Best Practices
I have come to believe that by and large “best practices” are doing more harm than good. Not necessarily because they’re bad advice as such, but because they’re mostly pounded by either 1) various types of zealots, idiots, and assholes who abuse these kind of “best practices” as an argument from authority, or 2)…
397
ChibiHash: Small, Fast 64 bit hash function
Update Nov 30: I've added a version 2, which makes the benchmarks and design overview section in this article outdated. See the github repo for updated benchmarks.
398
Reverse Engineering iOS 18 Inactivity Reboot
Wireless and firmware hacking, PhD life, Technology
399
400
AlphaProof's Greatest Hits
Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the tactics that correspond to these ideas in the proofs for problems 1, 2 and 6 (the three problems that AlphaProof…
401
Good Software Development Habits
Zarar Siddiqi: engineering leader and consultant in Toronto. Building products with care, and helping teams do the same with AI in the loop.
402
Everything Is Just Functions: 1 week with David Beazley and SICP
Made in Notion, the connected workspace where AI agents and teams organize docs, projects and knowledge together.
403
Nash equilibria in Ballmer's binary-search interview game
Yesterday John Graham-Cumming posted about “Steve Ballmer’s incorrect binary search interview question,” and in the Hacker News discussion, among the predictable “interview culture is flawed!!” complaints, there was some discussion of whether binary search was even the right way to solve Ballmer’s puzzle. Here’s a…
404
Constraints in Go
Freedom is nothing without constraints, and Go’s generics gives us a powerful way to build polymorphic types and functions constrained by type sets . Let’s geek out.
405
How to setup self hosted wiki for your startup
Blog about Software Engineering
406
CSS gets a new logo and it uses the color `rebeccapurple`
A community vote in the CSS-Next repository on GitHub decided on a new official logo for CSS. The design follows the design language of the logos of other web technologies like JavaScript, TypeScript, and WebAssembly. A demonstration of the new rebeccapurple colored CSS logo alongside the logos from JavaScript…
407
Stop making me memorize the borrow checker
I started learning Rust about 3 or 4 years ago. I am now knee-deep in several very complex Rust projects that keep slamming into the limitations of the Rust compiler. One of the most common and obnoxious problems is hitting a situation the borrow-checker can’t deal with and realizing that I need to completely…
408
SICP: The only computer science book worth reading twice? (2010)
I was talking to one of my students earlier, and lent him a book to read over summer. It was only after he’d left that I realised that — for me at any rate — the book I’d given him is probably the most seminal work in the whole of computer science, and certainly the book that’s most influenced my career and research…
409
M4 Macs can't virtualise older macOS
A bug, most probably in the early part of kernel boot in guest macOS, prevents M4 Macs virtualising macOS prior to 13.4.
410
YC is wrong about LLMs for chip design
LLMs don’t make chips better. Good engineers do.
411
Consuming the Bluesky firehose for less than $2.50/mo
*without doing much with it (and maybe not for long at its current growth rate)
412
Pleasant Debugging with GDB and DDD
GDB is an old and ubiquitous debugger for Linux and BSD systems that has extensive language, processor, and binary format support. Its interface is a little cryptic, but learning GDB pays off.
413
Maybe Bluesky has "won"
November has sucked so far. One upside of the terrible nonsense is that more people are fleeing X. Many are choosing Bluesky. I’ve seen a bunch of takes about this recently, but I keep seeing things I disagree with. I figure that’s a good enough excuse to write more about this weird-assed social network.
414
Please stop the coding challenges
Let’s talk about tech interviews – specifically, the ones that go overboard with unrealistic coding assignments. If you’re a developer who’s been asked to de...
415
The Battle Line at Louvain
“Where they burn books, they will also burn people” — Heinrich Heine
416
Matrix Client Tutorial
Welcome to the Matrix. Matrix is an open protocol for decentralised communication. Matrix allows users on different servers to communicate with each other, similar to how people on different email servers can email each other.
417
Speeding up the Rust edit-build-run cycle
There are two main aspects to compile times that matter to developers. Cold build times, when building from scratch and warm build times when you’ve already built and you’re rebuilding following an edit. This article focuses on warm build times, which for rapid iteration during development is what generally matters…
418
Something weird is happening with LLMs and chess
Are they good or bad?
419
Something weird is happening with LLMs and Chess
are they good or bad?
420
On Building Git for Lawyers
Building git for lawyers at Version Story (YC W21) — versionstory.com