Cracking the Code: Why “Counting On” Is a Game-Changer for Addition!
guidedmath.wordpress.com·14h
📚Proof Pedagogy
GitLab Knowledge Graph
gitlab-org.gitlab.io·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
Can we build a social platform that improves how information flows?
waaitingformoon.notion.site·1h·
Discuss: Hacker News
🌍Cultural Algorithms
Nostr and ATProto (2024)
shreyanjain.net·1d·
Discuss: Hacker News
📡Feed Archaeology
The Omarchy/Framework Thing
gardinerbryant.com·12h·
Discuss: Hacker News
🐧FOSS
No one told me kernel panics could be diagonal
reddit.com·1d·
Discuss: r/linux
🔩Systems Programming
Bit:busy — LED bar that indicates your work status
hackster.io·13h
🖥️Terminal Renaissance
Wireguard FPGA
github.com·1d·
Discuss: Lobsters, Hacker News
🔧FPGA Preservation
Congrats to the Heroku "Back to School" AI Challenge Winners!
dev.to·17h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Your MCP Agents Can Access Everything. They Can't Prove Who They Are. Here's Why That's Dangerous.
dev.to·9h·
Discuss: DEV
🌳Archive Merkle Trees
Building AI Systems That Don't Break Under Attack
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Hierarchical Bayesian Flow Networks for Molecular Graph Generation
arxiv.org·3h
🔄Graph Rewriting
Adaptive Decoding via Hierarchical Neural Information Gradients in Mouse Visual Tasks
arxiv.org·1d
🧠Learned Codecs
Human Uncertainty-Aware Data Selection and Automatic Labeling in Visual Question Answering
arxiv.org·3h
📊Learned Metrics
A fourth-order active flux method for parabolic problems with application to porous medium equation
arxiv.org·3h
📐Interval Arithmetic
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·3d·
Discuss: Hacker News
🔗Concatenative Programming
Categorical systems theory
topos.institute·3d
🔀Category Theory
In-Depth Analysis: "Attention Is All You Need"
dev.to·3d·
Discuss: DEV
🧠Intelligence Compression
Shrinking the Giants: Lossless NLP Compression for Everyone by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📝Text Compression
Unleashing Perception-Time Scaling to Multimodal Reasoning Models
arxiv.org·1d
📊Learned Metrics