Feeds to Scour
SubscribedAll
Bits is all you need (and 3.6 bit what you have?) for resource-efficient LLMs?
atsentia.com·3d·
Discuss: Hacker News
💻Local LLMs
Preview
Report Post
Pillage Village: Desperate Times
bluerenga.blog·19h
⚖️Game Preservation Ethics
Preview
Report Post
Show HN: A Vaadin 24, Spring algebra calculator with dynamic variable buttons
news.ycombinator.com·5h·
Discuss: Hacker News
🔍Concolic Testing
Preview
Report Post
Spinlocks vs. Mutexes: When to Spin and When to Sleep
howtech.substack.com·8h·
Discuss: Substack
🦀Embedded Rust
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 6
hamberg.no·1d
🧠Lisp Dialects
Preview
Report Post
Notes on Distributed Systems for Young Bloods (2013)
somethingsimilar.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
Preview
Report Post
Asma Mhalla, political scientist: 'Peter Thiel embeds AI in a worldview where conflict and the state of emergency become virtues'
lemonde.fr
·21h
🎯Proof Tactics
Preview
Report Post
New Prompt Injection Attack Vectors Through MCP Sampling
unit42.paloaltonetworks.com·1d
⚡gRPC
Preview
Report Post
Embedded Universal Predictive Intelligence: a coherent framework for multi-agent
arxiviq.substack.com·1h·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.ca·1d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Advent of Code Quantum Edition: Day 1
aqora.io·3d·
Discuss: Hacker News
🔐Quantum Cryptography
Preview
Report Post
How to Build an LLM-Powered Database Query Bot for Your Web App in 1 Day
semicolonandsons.com·11h·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
Formally Verifying Advent of Code Using Dijkstra's Program Construction
haripm.com·4d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Quantitative correlations and some problems on prime factors of consecutive integers
terrytao.wordpress.com·5d
🎯Arithmetic Coding Theory
Preview
Report Post
How to Lock Your Files with Military-Grade Encryption
blog.devops.dev
·2d
🔐Archive Encryption
Preview
Report Post
Congratulations to three new doctorates!
11011110.github.io·4d
🎞️Tape Combinatorics
Preview
Report Post
Mathematical "Urban Legends" (2011)
mathoverflow.net·7h·
Discuss: Hacker News
🔲Proof Irrelevance
Preview
Report Post
Confidential Computing Needs to Go Mainstream
servethehome.com·3d
🔐Homomorphic Encryption
Preview
Report Post
From Azure Functions to FreeBSD
blogsystem5.substack.com·2h·
Discuss: Substack
🔄Sync Engine
Preview
Report Post
Ignore Prior Instructions: AI Still Befuddled by Basic Reasoning
thenewstack.io·8h
⚡Proof Automation
Preview
Report Post