12271
Use Prolog to improve LLM's reasoning
On one side, LLMs show unseen capabilities in reasoning, but on the other - reasoning in LLMs is not ideal.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 80,862 posts.
12272
A Fresh Look at Rust
An updated report on my experience with Rust and where I think it might be going.
12273
SQLite 3.32
A complete list of SQLite releases in a single page and a chronology are both also available. A detailed history of every check-in is available at SQLite version control site .
12274
12275
K-9 Mail is looking for funding
K-9 Mail is looking to raise money to fund development.
12276
Using “underdrawings” for accurate text and numbers
A technique for accurate text and numbers in AI-generated images: generate the layout deterministically, then ask the image model to paint on top.
12277
WireGuard multihop available in the Mullvad app
To further increase your privacy and make your traffic harder to analyze, you can now route all your traffic through two servers instead of just one, directly in our desktop app, version 2022.1 and newer.
12278
Spaces launch in Element
Spaces rethink grouping rooms and people, fundamentally improving Element and Matrix to better group conversations instead of viewing all rooms all of the time.
12279
Django: what’s new in 6.0
Django 6.0 was released today, starting another release cycle for the loved and long-lived Python web framework (now 20 years old!). It comes with a mosaic of new features, contributed to by many, some of which I am happy to have helped with. Below is my pick of highlights from the release notes.
12280
Dissecting the Apple M1 GPU, Part IV
After beginning a compiler for the Apple M1 GPU , the next step is to develop a graphics driver exercising the compiler. Since the last post two weeks ago, I’ve begun a Gallium driver for the M1, implementing much of the OpenGL 2.1 and ES 2.0 specifications. With the compiler and driver together, we’re now able to run…
12281
S3 Files
Andy Warfield writes about the hard-won lessons dealing with data friction that lead to S3 Files
12282
How we built a $1M ARR SaaS startup
Canny recently hit a major revenue milestone: one million dollars in annual recurring revenue. Here's how we built a $1m ARR SaaS startup from the ground up.
12283
The "$60 Gaming PC" – AMD BC-250 (2025)
Ok it’s not exactly $60 but you can get the board itself for that amount of money on eBay if you’re lucky, but on average the price is around $70-$100 (as of November 2025) which is still very cheap considering you can play Cyberpunk 2077 on this.
12284
Turning a TV set-top box into a Linux computer (2022)
We hack an Android TV box into something useful
12285
Kotlin 1.0 Released: Pragmatic Language for JVM and Android
This is it. 1.0 is here! It's been a long and exciting road but we've finally reached the first big 1.0, and we're celebrating the release by also presenting you with the new logo: See the discuss
12286
12287
12288
Employee #1: Apple
Read more on Y Combinator's blog.
12289
An analysis of the Nomx secure communications device
With slick marketing, catchy taglines and some pretty bold claims about their security, nomx claim to have cracked email security. Let's see if they have.
12290
Pigment Mixing into Digital Painting
Mixbox is a new blending method for natural color mixing. It produces saturated gradients with hue shifts and natural secondary colors during blending. Yellow and blue make green.
12291
12292
12293
Turbopuffer: Fast search on object storage
Inaugural blog post about the development of turbopuffer, a search engine that uses object storage and SSD caching for cost-effective, low latency search. This post describes into the motivation behind its creation, its unique architecture, and how it significantly reduces costs for large-scale vector searches…
12294
12295
Stephen Wolfram on Steve Jobs: A Few Memories
Stephen Wolfram shares personal memories of Steve Jobs, how their paths crossed, and the support and encouragement Jobs provided over the years.
12296
Diffusion models from scratch, from a new theoretical perspective
This tutorial aims to give a gentle introduction to diffusion models, with a running example to illustrate how to build, train and sample from a simple diffusion model from scratch.
12297
Jepsen: RethinkDB 2.1.5
In this Jepsen report, we’ll verify RethinkDB’s support for linearizable operations using majority reads and writes, and explore assorted read and write anomalies when consistency levels are relaxed. This work was funded by RethinkDB, and conducted in accordance with the Jepsen ethics policy .
12298
Most people don’t finish online job applications
A recent audit of the Fortune 500 showed that job application flow has improved, but there are still too many steps involved in getting applicants to the finish line.
12299
So you think you know C? (2016)
It's a C test. If you think you know C, take this test. It only has 5 questions.
12300
ChatGPT: The Slickest Con Artist of All Time
Or 10 tweets about ChatGPT