1501
The internals of PostgreSQL
After a temporary stay in Japan to focus on my health and personal responsibilities, I am fully recovered, ready, and excited to work abroad again.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,817 posts.
1502
1503
Using a framework will harm the maintenance of your software
In this article I'm putting together my quotes, thoughts and notes on the idea that Frameworks harm the maintainability of the software you build in that framework. I'm proposing that Frameworks:
1504
Understanding Ethereum Smart Contracts
You might have heard the term “smart contract,” and you might even know that they are “code” you can run on a blockchain.But how can you run code on a blockc...
1505
Some Obscure C Features
Pancakes and computers
1506
2D Rigid Body Collision Resolution
From Mario bouncing off a Goomba to two cars bumping into each other in a racing game, dealing with collisions is such an integral part of most video games that we often take it for granted.
1507
1508
LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
1509
SciPy builds for Python 3.12 on Windows are a minor miracle
Moving SciPy to Meson meant finding a different Fortran compiler on Windows, which was particularly tricky to pull off for conda-forge. This blog tells the story about how things looked pretty grim for the Python 3.12 release, and how things ended up working out just in the nick of time.
1510
The Tech Stack of a One-Man SaaS
Analytics built for developers. Real user monitoring with page-load decomposition, Core Web Vitals, error tracking and conversion — cookie-free and without a tag manager.
1511
1512
Why Atom Can’t Replace Vim – Learning the lesson of vi
Learning the lesson of vi
1513
Better bash in 15 minutes
The tips and tricks below originally appeared as one of Google's "T esting on the Toilet" (TOTT) episodes. This is a revised and augmen...
1514
Zigbook Is Plagiarizing the Zigtools Playground
zigtools: We make free and open-source tools for the @ziglang community.
1515
Understanding Rust futures by going way too deep
So! Rust futures! Easy peasy lemon squeezy. Until it’s not. So let’s do the easy thing, and then instead of waiting for the hard thing to sneak up on us, we’ll go for it intentionally. That’s all-a...
1516
1517
Rust – A hard decision pays off
Edo Liberty, Pinecone CEO, provides a glimpse into the journey behind building a database company, including some insights into the latest innovations around the product and vector search.
1518
Introducing a new HTML element – welcome <clippy>
Hello! It looks like you're writing a blog post - would you like help with that? chuckles Me and my colleagues at Microsoft have decided that the world needs more Clippy - the adorable animated paperclip. To help with that, we're bringing a new feature to Edge 6.0. Web Developers can now use <clippy> to call up an…
1519
1520
Clojure.spec – Rationale and Overview
Clojure is a dynamic language. Among other things this means that type annotations are not required for code to run. While Clojure has some support for type hints, they are not an enforcement mechanism, nor comprehensive, and are limited to communicating information to the compiler to aid in efficient code generation…
1521
Zsh and Fish’s simple but clever trick for highlighting missing linefeeds
tl;dr: We look at how Zsh and Fish is able to indicate a missing terminating linefeed in program output when the Unix programming model precludes examining the output itself.
1522
1523
1524
Beyond self-attention: How a small language model predicts the next token
A deep dive into the internals of a small transformer model to learn how it turns self-attention calculations into accurate predictions for the next token.
1525
A History of IDEs at Google
Laurent Le Brun's blog
1526
Subroutine calls in the ancient world, before computers had stacks or heaps
A lot of computing got done even before we had stacks and heaps.
1527
Rust: Enable WebAssembly backend by default
Yesterday the Pull Request 46115: "rustbuild: Enable WebAssembly backend by default" was merged into Rust master. With the Nightly build from that night, the wasm32-unknown-unknown target is natively available.
1528
Django 4.0
Posted by Mariusz Felisiak on Dec. 7, 2021
1529
Falsehoods programmers believe about aviation
There are a lot of assumptions one could make when designing data types and schemas for aviation data that turn out to be inaccurate. In the spirit of Patrick McKenzie’s classic piece on names, here are some false assumptions one might make about aviation.
1530