We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·8h·
Discuss: Hacker News
🐍Programming
Assembly_verify
philipzucker.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐍Programming
Mixture of Recursions vs. Transformers: Efficiency Unlocked
algogist.com·8h·
Discuss: Hacker News
🐍Programming
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·6h·
Discuss: Hacker News
🐍Programming
LL and LR Parsing Demystified (2013)
blog.reverberate.org·1d·
Discuss: Lobsters, Hacker News
🐍Programming
MCP C# SDK Gets Major Update: Support for Protocol Version 2025-06-18
devblogs.microsoft.com·33m·
Discuss: Hacker News
🐍Programming
Unique, mathematical shortcuts language models use to predict dynamic scenarios
eecs.mit.edu·23h·
Discuss: Hacker News
👨‍🏫Teaching
Automating Away Claude's Bad Habits with Hooks | Write-Ahead (b)Log
writeaheadblogg.ing·21h·
Discuss: Lobsters, Hacker News
🐍Programming
Vibecoding a High Performance System
andrewkchan.dev·1h·
Discuss: Hacker News
🐍Programming
LLMs must evolve from scaling to full orchestration
victorwynne.com·4h·
Discuss: Hacker News, r/LLM
🐍Programming
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·1d·
Discuss: Lobsters, r/programming
🐍Programming
Transformer Explainer: LLM Transformer Model Visually Explained
poloclub.github.io·1d·
Discuss: Lobsters
👨‍🏫Teaching
Revolutionizing Agent Data Management: The Know Your Agent Initiative by Saketh Reddy Cheruku
hackernoon.com·2h
☁️Tech Infrastructure
XSLT: A Precision Tool for the Future of Structured Transformation
xml.com·1d·
Discuss: Hacker News
🐍Programming
OpenReasoning-Nemotron: A Family of Distilled Reasoning Models
huggingface.co·9h·
Discuss: Hacker News
👨‍🏫Teaching
A new way to edit or generate images
news.mit.edu·23h·
Discuss: Hacker News
👨‍🏫Teaching
A Full Code Agent in 200 Lines
cthiriet.com·23h·
Discuss: Hacker News
🐍Programming
Crafting a dependent typechecker, part 1
blueberrywren.dev·3d·
Discuss: Hacker News
🐍Programming
Stack frame layout on x86-64
eli.thegreenplace.net·1d·
Discuss: Hacker News
🐍Programming
PSA: Collision Detection is an optimization problem and GJK is Frank-Wolfe
cairno.substack.com·1d·
Discuss: Substack
👨‍🏫Teaching