\(-e^{i\pi}\) to Watch: Another Roof
aperiodical.comยท13h
๐Ÿ“Mathematical Art
Finding entities with given uuids in the current project
mbork.plยท2d
๐Ÿ—„๏ธDatabase Internals
The Month of AI Bugs 2025
embracethered.comยท5h
๐Ÿ”“Hacking
An AI-Generated Protein Helps T Cells Kill Cancer
the-scientist.comยท2dยท
Discuss: Hacker News
๐ŸงฎTheorem Proving
Ari Lamstein: Video: A Python App for Analyzing Immigration Enforcement Data
arilamstein.comยท4h
๐Ÿš€Indie Hacking
A deterministic ฯ€-driven algorithm for the Partition Problem (NP-complete)
osf.ioยท3dยท
Discuss: Hacker News
๐ŸงฎSMT Solvers
Platform to chat with AI characters and solve mysteries: VirtualTalesHub
virtualtaleshub.comยท6hยท
Discuss: Hacker News
๐Ÿ›Digital humanities
OpenBSD Meets the Solar Neighborhood
laser-coder.netยท1dยท
Discuss: Hacker News
๐Ÿ”ŒOperating system internals
Accelerating on-device ML on Metaโ€™s family of apps with ExecuTorch
engineering.fb.comยท2h
๐ŸŒ€Brotli Internals
This AI Learns Faster Than Anything Weโ€™ve Seen!
youtube.comยท2d
๐Ÿ”ฒCellular Automata
Thinking of an Animal: the classic guessing game
thepottshouse.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
I Got Claude to Write Code I Could Ship
graphite.devยท8hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.comยท6dยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Improving LLMs' Generalized Reasoning Abilities by Graph Problems
arxiv.orgยท4d
๐Ÿง Computational Logic
Last Week on My Mac: ๐Ÿฆ‰ No AI content
eclecticlight.coยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Knowledge Grafting: A Mechanism for Optimizing AI Model Deployment in Resource-Constrained Environments
arxiv.orgยท18h
๐Ÿ“ŠQuantization
Weak-to-Strong Generalization with Failure Trajectories: A Tree-based Approach to Elicit Optimal Policy in Strong Models
arxiv.orgยท18h
๐ŸงฎKolmogorov Bounds
Explainable AI guided unsupervised fault diagnostics for high-voltage circuit breakers
arxiv.orgยท18h
๐Ÿง Machine Learning
Systematic AI Development: A Demo Project Breakdown
dev.toยท3dยท
Discuss: DEV
โšกProof Automation
An Empirical Investigation of Gender Stereotype Representation in Large Language Models: The Italian Case
arxiv.orgยท18h
๐Ÿ›Digital humanities