frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

How SQLite is tested

https://sqlite.org/testing.html
120•whatisabcdefgh•2h ago

Comments

BinaryIgor•2h ago
No less impressive than the SQLite project itself; especially 100% branch coverage! That's really hard to pull off and especially to maintain as the development continues.
tigranbs•1h ago
Based on the stability track record, I was more curious about how SQLite has done the anomaly testing. Sadly, the article has just a few words about it.

Truly one of the best software products! It is used on every single device, and it is just pure rock-solid.

6SixTy•1h ago
Considering that the support tier where you get access to the testing suite is 150K/year, I don't think they will be spilling any beans soon.
piker•1h ago
Always makes me a bit envious as well as awestruck. What a joy it must be in a lot of ways to be able to grind and perfect a piece of software like this. Truly a work of craftsmanship.
stouset•5m ago
You can literally just do this. I’ve never gotten fired from a software engineering job for moving slower and building things that work well, work predictably, and are built to last.

Over a career of doing this, you get dramatically better at higher levels of quality even in earlier passes, so the same level of added effort provides increasing levels of reward as you gain experience.

montroser•1h ago
This looks so very cool, and so then all the more thought provoking that the tests themselves are closed-source, unlike the rest of the codebase. In this evolving world of rapidly improving llm coding agent productivity, the idea that the tests are more important than the implementation starts to ring true.

I was thinking about sqlite's test landscape as described here, in relation to simonw's recent writing about porting/recreating the justHTML engine from python to js via codex, nearly "automatically" with just a prompt and light steering.

bastardoperator•1h ago
Over a decade ago, the maintainer of SQLite gave a talk at OSCON about their testing practices. One concept that stood out to me was the power of checklists, the same tool pilots rely on before every flight.

He also mentioned Doctors Without Borders, who weren't seeing the outcomes they expected when it came to saving lives. One surprising reason? The medical teams often didn't speak the same language or even know each other's names.

The solution was simple: a pre-surgery checklist. Before any procedure, team members would state their name and role. This small ritual dramatically improved their success rates, not through better technique, but through better communication.

https://sqlite.org/src/ext/checklist/3070700/index

Seattle3503•59m ago
I love sqlite, it's a great piece of software. The website is full of useful information, rather than the slick marketing we are used to, even on open source projects.

With that said, I find it strange how the official website seems to be making its way through the HN front page piecemeal.

1986•52m ago
This one is probably popping today because of the simonw post yesterday about using an LLM to basically one-shot port a lib across languages with the help of an extremely robust test suite
realityfactchex•50m ago
I was pleasantly surprised recently when planning to "upgrade" a light web app to be portable between SQLite and DuckDB, and the LLM I was working with really made the case that SQLite is better if concurrent operations were to occur.
dev_l1x_be•17m ago
What is the story with Fossil? Is it used outside of Sqlite?
gjvc•4m ago
[delayed]
forgotpwd16•3m ago
[delayed]
Trung0246•4m ago
Interesting, TH3 is proprietary.

Gemini 3 Flash: Frontier intelligence built for speed

https://blog.google/products/gemini/gemini-3-flash/
528•meetpateltech•4h ago•238 comments

How SQLite is tested

https://sqlite.org/testing.html
121•whatisabcdefgh•2h ago•14 comments

The State of AI Coding Report 2025

https://www.greptile.com/state-of-ai-coding-2025
29•dakshgupta•4h ago•25 comments

AWS CEO says replacing junior devs with AI is 'one of the dumbest ideas'

https://www.finalroundai.com/blog/aws-ceo-ai-cannot-replace-junior-developers
495•birdculture•3h ago•295 comments

Coursera to combine with Udemy

https://investor.coursera.com/news/news-details/2025/Coursera-to-Combine-with-Udemy-to-Empower-th...
312•throwaway019254•8h ago•189 comments

A Safer Container Ecosystem with Docker: Free Docker Hardened Images

https://www.docker.com/blog/docker-hardened-images-for-every-developer/
192•anttiharju•3h ago•45 comments

Show HN: High-Performance Wavelet Matrix for Python, Implemented in Rust

https://pypi.org/project/wavelet-matrix/
16•math-hiyoko•1h ago•0 comments

FIFA Arrives on Netflix Games

https://www.netflix.com/tudum/articles/fifa-mens-world-cup-2026-game-on-netflix
13•0xedb•51m ago•7 comments

Tell HN: HN was down

362•uyzstvqs•4h ago•226 comments

AI capability isn't humanness

https://research.roundtable.ai/capabilities-humanness/
35•mdahardy•3h ago•29 comments

Zmij: Faster floating point double-to-string conversion

https://vitaut.net/posts/2025/faster-dtoa/
41•fanf2•3d ago•1 comments

Launch HN: Kenobi (YC W22) – Personalize your website for every visitor

22•sarreph•4h ago•37 comments

Flick (YC F25) Is Hiring Founding Engineer to Build Figma for AI Filmmaking

https://www.ycombinator.com/companies/flick/jobs/Tdu6FH6-founding-frontend-engineer
1•rayruiwang•4h ago

Notes on Sorted Data

https://amit.prasad.me/blog/sorted-data
44•surprisetalk•6d ago•5 comments

AI will make formal verification go mainstream

https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
779•evankhoury•23h ago•393 comments

I created a publishing system for step-by-step coding guides in Typst

https://press.knowledge.dev/p/new-150-pages-rust-guide-create-a
22•deniskolodin•4d ago•4 comments

I couldn't find a logging library that worked for my library, so I made one

https://hackers.pub/@hongminhee/2025/logtape-fedify-case-study
14•todsacerdoti•5d ago•15 comments

Doublespeed hacked, revealing what its AI-generated accounts are promoting

https://www.404media.co/hack-reveals-the-a16z-backed-phone-farm-flooding-tiktok-with-ai-influencers/
103•grahamlee•2h ago•45 comments

alpr.watch

https://alpr.watch/
877•theamk•1d ago•420 comments

Announcing the Beta release of ty

https://astral.sh/blog/ty
785•gavide•1d ago•148 comments

No Graphics API

https://www.sebastianaaltonen.com/blog/no-graphics-api
790•ryandrake•1d ago•150 comments

AI's real superpower: consuming, not creating

https://msanroman.io/blog/ai-consumption-paradigm
181•firefoxd•12h ago•122 comments

FCC chair suggests agency isn't independent, word cut from mission statement

https://www.axios.com/2025/12/17/brendan-carr-fcc-independent-senate-testimony-website
110•jmsflknr•2h ago•91 comments

Learning the oldest programming language (2024)

https://uncenter.dev/posts/learning-fortran/
35•lioeters•7h ago•38 comments

No AI* Here – A Response to Mozilla's Next Chapter

https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
490•MrAlex94•22h ago•271 comments

"There are more Japanese [VRChat] creators than all other countries combined "

https://twitter.com/chyadosensei/status/2001356290531156159
5•numpad0•23m ago•0 comments

Is Mozilla trying hard to kill itself?

https://infosec.press/brunomiguel/is-mozilla-trying-hard-to-kill-itself
744•pabs3•11h ago•657 comments

Pricing Changes for GitHub Actions

https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
767•kevin-david•1d ago•796 comments

GPT Image 1.5

https://openai.com/index/new-chatgpt-images-is-here/
506•charlierguo•1d ago•241 comments

TLA+ Modeling Tips

http://muratbuffalo.blogspot.com/2025/12/tla-modeling-tips.html
105•birdculture•12h ago•25 comments