G3 Watch for 6 and 7 November
spaceweather.gov·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
DNA pioneer James Watson dies at 97
bbc.com·2h·
Discuss: Hacker News
🗄️databases
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·3d·
Discuss: Hacker News
✅formal methods
Flag this post
Once upon a time this blog was powered by make
refp.se·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Americans Are Increasingly Alone, but Are They Lonely?
realclearinvestigations.com·19h·
Discuss: Hacker News
🗄️databases
Flag this post
Run LLMs Locally
ikangai.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.io·2d·
Discuss: Hacker News
✅formal methods
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
AI Anki Generator
ai-anki.top·4h·
Discuss: Hacker News
✅formal methods
Flag this post
OpenAI Model Spec
model-spec.openai.com·2d·
Discuss: Hacker News
✅formal methods
Flag this post
Show HN: XML-Lib – An over-engineered XML workflow with guardrails and proofs
github.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Mathematical exploration and discovery at scale
terrytao.wordpress.com·2d·
Discuss: Hacker News
✅formal methods
Flag this post
Thoughts on Building Reliable Systems
medium.com·11h·
Discuss: Hacker News, r/programming
⚙️systems programming
Flag this post
Masked Softmax Layers in PyTorch
mcognetta.github.io·5d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Show HN: OpenHealth – AI health platform with RAG over 38M medical papers
news.ycombinator.com·1d·
Discuss: Hacker News
🗄️databases
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Improving Rust Compile Times by 71 Percent
elijahpotter.dev·2d·
Discuss: Hacker News, Hacker News, r/programming
🔄compilers
Flag this post
MIT researchers propose a new model for legible, modular software
news.mit.edu·2d·
Discuss: Hacker News, Hacker News
⚙️systems programming
Flag this post
When deep thinking turns into deep hallucination
techkettle.blogspot.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/Zig, r/programming
⚙️systems programming
Flag this post