12031
How we used GPT-4o for image detection with 350 similar illustrations
The Attic is a running catalog of Olup's side projects, sketches, and weekend rabbit holes.
New
The latest blog posts to take off on Hacker News. 80,862 posts.
12032
Getting silly with C, part (void*)2
They won't be able to find bugs in your code if they can't figure out how it works.
12033
Railroad Tycoon II
Like a lot of boys, I grew up loving trains. And like a lot of men, I retain my fascination for them today.
12034
Finland's zero homeless strategy (2021)
By Laurence Boone, Boris Cournède, OECD Economics Department; and Marissa Plouin, OECD Directorate for Employment, Labour and Social Affairs Following a period when homele…
12035
Formal Methods: Just Good Engineering Practice? (2024)
Earlier this week, I did the keynote at TLA+ conf 2024 ( watch the video or check out the slides ). My message in the keynote was something I have believed to be true for a long time: formal methods are an important part of good software engineering practice. If you’re a software engineer, especially one working on…
12036
I've acquired a new superpower
Yesterday, I was browsing Reddit. Midway through my feed, I stumbled upon a video from a German TV show, where a 9-year-old girl demonstrated her ability to…
12037
I got OpenTelemetry to work. But why was it so complicated?
A number of our customers have recently been asking whether we support OpenTelemetry, the observability framework and toolkit.
12038
Who Can Understand the Proof? A Window on Formalized Mathematics
Stephen Wolfram discusses understanding proofs discovered using automated theorem proving. Based on Wolfram’s proof of the simplest axioms of logic of Boolean algebra.
12039
Decentralized Syndication – The Missing Internet Protocol
The Internet is decentralized by design. It came into being not at once, but in parts. New protocols were added on top of previous ones, but one crucial protocol is still missing.
12040
How outdated information hides in LLM token generation probabilities
Random tech notes
12041
Narcolepsy is weird but I didn't notice
There are certain kinds of experiences that most human beings know very little about because a) they are rare, b) they can only be felt from the "inside", i.e., by the people who have them, and c) not all of those people choose to, or are good at, writing
12042
12043
Gleam v1.7
News post: Gleam v1.7.0 released
12044
A three month review of kagi search and the orion web browser (2024)
There's a new web search in town! I spent the start of 2024 kicking the tires on Kagi's paid search and their Orion web browser.
12045
Predictions Scorecard, 2025 January 01
[You can follow me on social media: @rodneyabrooks.bsky.social and see my publications etc., at https://people.csail.mit.edu/brooks ]
12046
Celebrating the timeless allure of Tintin's aesthetics
The Adventures of Tintin officially entered the public domain in 2025. We now all own the alluring aesthetics of this timeless classic.
12047
12048
Why is my CPU usage always 100%?
If you’re new to this series, I’ve been documenting the process I went through upgrading my old PXA166-based Chumby 8’s 2.6.28 Linux kernel to a modern 6.x version. Here are links to parts 1 , 2 , 3 , 4 , 5 , 6 , 7 , and 8 . At this point in the project, all of the main hardware peripherals were working great. I…
12049
Entropy of a Large Language Model output
Large language models like ChatGPT & Claude have become ubiquitous in today’s world. I visited a friend for the New years eve and was impressed by how ChatGPT was being extensively used within the family. The friend’s little kid is going to grow up in a world, where turning to large language models (LLM) for quick…
12050
Why Rust nextest is process-per-test
Why nextest runs each test in its own process: a game-theoretic view.
12051
Datadog acquires Quickwit
The unexpected journey of building a multi-petabyte scale search engine
12052
12053
WorstFit: Unveiling Hidden Transformers in Windows ANSI
📌 This is a cross-post from DEVCORE. The research was first published at Black Hat Europe 2024. Personally, I would like to thank splitline, the co-author of this research & article, whose help
12054
The Tsunami of Burnout Few See
That's the problem with deploying play-acting as "solutions:" play-acting doesn't actually fix the problems at the source, it simply lets th...
12055
Binary modding a water dispenser to save me from pressing a button (2021)
A few months ago, I decided that it’s time I started to become more responsible and to start drinking more water. Unfortunately, the tap water where I live has a very high calcium content, which makes it a lot better when filtered and cooled first. To solve both issues, I picked up a second-hand professional water…
12056
12057
SQL nulls are weird
Yes, you read that right. SQL does treat all NULLs as distinct values. I learnt this a while back while working on Convoy and again on LiteQueue: a Golang a queueing library. Basically, any column wi
12058
Stay Gold, America
We are at an unprecedented point in American history.
12059
New 16GB Raspberry Pi 5 on sale now at $120
Announcing the 16GB Raspberry Pi 5 for use cases that need more capacity, available now at $120. Plus new Raspberry Pi Carbon Removal Credits.
12060
Luigi Mangione's account has been renamed on Stack Overflow
The saga on Stack Overflow and Stack Exchange, and how tech always serves the ruling class.