pykello

3 ms·

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

More ›