Hacker Newsnew | past | comments | ask | show | jobs | submit | pykello's submissionslogin
1.
Protocol-Aware Deterministic Simulation Testing (tigerbeetle.com)
2 points by pykello 3 days ago | past | discuss
2.
Paper Models of Polyhedra (polyhedra.net)
38 points by pykello 4 days ago | past | 1 comment
3.
The last IMO problem AI could not solve [video] (youtube.com)
4 points by pykello 5 days ago | past | discuss
4.
Building an Integrated Vector Database System in PostgreSQL (arxiv.org)
1 point by pykello 5 days ago | past | discuss
5.
Claude Code from Source (claude-code-from-source.com)
20 points by pykello 6 days ago | past | 5 comments
6.
The Emperor's Old Clothes [pdf] (worrydream.com)
3 points by pykello 11 days ago | past | discuss
7.
Governing GNOMEs: how the project's technical decision-making is evolving (lwn.net)
1 point by pykello 13 days ago | past | discuss
8.
The "rnull" Rust block driver (lwn.net)
1 point by pykello 13 days ago | past | discuss
9.
Do people prefer stories written by AI? (cambridge.org)
37 points by pykello 14 days ago | past | 80 comments
10.
An ongoing 3D-printer AGPL violation (lwn.net)
2 points by pykello 16 days ago | past
11.
Rust's Type Checker Implementation Is Unsound: An Empirical Study (arxiv.org)
4 points by pykello 19 days ago | past
12.
The Dome: A Simple Violation of Determinism in Newtonian Mechanics (pitt.edu)
2 points by pykello 19 days ago | past
13.
How to be safe from quantum computing (lwn.net)
2 points by pykello 19 days ago | past
14.
The First Polynomial-Time Algorithm for the Győri-Lovász Theorem (arxiv.org)
2 points by pykello 20 days ago | past
15.
An ongoing 3D-printer AGPL violation (lwn.net)
2 points by pykello 20 days ago | past
16.
Debian weighs eight options in vote on LLM usage (lwn.net)
2 points by pykello 24 days ago | past
17.
Terence Tao, 6 essential concepts of math [video] (youtube.com)
1 point by pykello 25 days ago | past
18.
Does Computer Science Need Computers? (quantamagazine.org)
7 points by pykello 26 days ago | past | 1 comment
19.
Math isn't about "getting the right answer" (stevereads.com)
1 point by pykello 26 days ago | past
20.
My dime-store understanding of measure theory and its history (stevereads.com)
1 point by pykello 26 days ago | past
21.
Development Statistics for the 7.2 Kernel (lwn.net)
1 point by pykello 26 days ago | past
22.
A New Framework for How the Brain Compresses Our Noisy World (quantamagazine.org)
4 points by pykello 26 days ago | past
23.
128-Bit page tables for Arm (lwn.net)
2 points by pykello 26 days ago | past
24.
In Hilbert Space, All Things Are Quantumly Possible (quantamagazine.org)
3 points by pykello 27 days ago | past | 2 comments
25.
Bootstrappable Builds: How and Why (lwn.net)
2 points by pykello 27 days ago | past
26.
Debian weighs eight options in vote on LLM usage (lwn.net)
5 points by pykello 28 days ago | past
27.
Table of Integrals (integral-table.com)
2 points by pykello 30 days ago | past | 1 comment
28.
'Huge Breakthrough' in the Math of Imbalance (quantamagazine.org)
3 points by pykello 30 days ago | past
29.
James Munkres (1930-2026) (douglassfh.com)
4 points by pykello 31 days ago | past
30.
Even More Formal Verification for BPF (lwn.net)
4 points by pykello 31 days ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: