Hunting a 16-year-old SQLite WAL bug with TLA+ (ubuntu.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of ubuntu.com: Hunting a 16-year-old SQLite WAL bug with TLA+

First screen, captured 3 months ago.

Looks similar

Screenshot of blog.darklang.com: Darklang Goes Open Source

Darklang Goes Open Source (blog.darklang.com)

143 points by stachudotnet 1 year ago | 66 comments

Screenshot of andreapivetta.com: All the bugs they found

All the bugs they found (andreapivetta.com)

73 points by ziggy42 5 months ago | 27 comments

Screenshot of canonical.com: Canonical announces 12 year Kubernetes LTS

Canonical announces 12 year Kubernetes LTS (canonical.com)

40 points by gpi 1 year ago | 39 comments

Screenshot of linux-regtracking.leemhuis.info: Why Linux developers do not fix reported issues or ignore bug reports

Why Linux developers do not fix reported issues or ignore bug reports (linux-regtracking.leemhuis.info)

49 points by jiripospisil 2 years ago | 61 comments

Screenshot of qsoe-dev.blogspot.com: QSOE: QNX-inspired OS with dual-kernel architecture

QSOE: QNX-inspired OS with dual-kernel architecture (qsoe-dev.blogspot.com)

39 points by ymz5 4 months ago | 17 comments

Screenshot of kobzol.github.io: How memory safety CVEs differ between Rust and C/C++

How memory safety CVEs differ between Rust and C/C++(kobzol.github.io)

120 points by nicoburns 4 months ago | 119 comments