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

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

Search: