Feeds to Scour
SubscribedAll
Scoured 16848 posts in 480.9 ms
Who Controls Europe’s AI Future?
openfuture.eu·1d
🏠Homelab Orchestration
My Experience at the North American Haskell Hackathon AmeriHac
thedeveloper101.github.io·1d·
Discuss: Hacker News
🔗Functional Compilers
Quantifying Energy-Efficient Edge Intelligence: Inference-time Scaling Laws for Heterogeneous Computing
arxiv.org·1d
🧮Kolmogorov Complexity
Togelius: Math and me
togelius.blogspot.com·19h·
Discuss: Hacker News
📐Mathematical Art
Mathematicians launch First Proof, a first-of-its-kind math exam for AI
scientificamerican.com
·21h
⚙️Proof Engineering
January 2026 Monthly report | Alternative Rust Compiler for GCC
rust-gcc.github.io·1h·
Discuss: r/rust
🦀Rust Macros
Building Prometheus: How Backend Aggregation Enables Gigawatt-Scale AI Clusters
engineering.fb.com·21h
🏠Homelab Clusters
Show HN: Deterministic linguistic enrichment pipeline for Node.js
npmjs.com·3h·
Discuss: Hacker News
🌀Brotli Internals
Rise of the Cowboy Coder
jollycoder.com·13h·
Discuss: Hacker News
📏Code Metrics
Using light-based computing to tackle complex challenges
queensu.ca·1d·
Discuss: Hacker News
🌈Holographic Archives
Structure Beats Prose: Specs for Coding Agents That Actually Work
medium.com·7h·
Discuss: Hacker News
⚡Proof Automation
Main Content || Math ∩ Programming
jeremykun.com·1d
🧮Kolmogorov Complexity
Blockchain Is a Galactic Algorithm
shakeddown.substack.com·1h·
Discuss: Substack
🤝Distributed Consensus
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·20h·
Discuss: Hacker News
⚙️Proof Engineering
A Note on Flat Abstract Syntax Trees
gist.github.com·20h·
Discuss: Hacker News
🔗Monadic Parsing
Show HN: C-CMCP – Validated AI development workflow with quality gates
news.ycombinator.com·22h·
Discuss: Hacker News
📏Code Metrics
Grumpy Julio plays with CLI coding agents
blogsystem5.substack.com·21h·
Discuss: Substack
⚡Proof Automation
Formal Methods Practice and Theory
adacore.com·20m·
Discuss: Hacker News
✅Formal Methods
I vibecoded a production grade internationalization library in 2 days
sklivvz.com·1d·
Discuss: Hacker News
🌀Brotli Internals
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·2d·
Discuss: Hacker News
💻Programming languages

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help