Feeds to Scour
SubscribedAll
An Attempt at a Compelling Articulation of Forth's Practical Strengths and Eter
im-just-lee.ing·2h·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Spinlocks vs. Mutexes: When to Spin and When to Sleep
howtech.substack.com·12h·
Discuss: Substack
🦀Embedded Rust
Preview
Report Post
Energy efficiency task scheduling algorithm for multi-core embedded platforms
sciencedirect.com·2h·
Discuss: Hacker News
🖥️Hardware Architecture
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·21h
🔲Cellular Automata
Preview
Report Post
Cloudflare Outage: Rust Analysis
splinter.com.au·2d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
A Proof of P = NP
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
Locks in PostgreSQL
habr.com·11h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Preview
Report Post
Surface Tension of Software: why systems hold together
iamstelios.com·13h·
Discuss: Hacker News
💧Liquid Types
Preview
Report Post
The Easiest Way to Build a Type Checker
jimmyhmiller.github.io·18m
✅Format Verification
Preview
Report Post
Congratulations to three new doctorates!
11011110.github.io·4d
🎞️Tape Combinatorics
Preview
Report Post
Crafting Interpreters in Rust: Parsing Unary Negation
blog.differentpla.net·12h
🦀Rust Macros
Preview
Report Post
Tiny Core Linux: A 23MB Minimalist Foundation for Edge AI
terabyte.systems·17h·
Discuss: Hacker News
⚙️Operating System Design
Preview
Report Post
Refactoring and minimal examples
markjgsmith.com·1d
🔗Concatenative Programming
Preview
Report Post
Embedded Universal Predictive Intelligence: a coherent framework for multi-agent
arxiviq.substack.com·6h·
Discuss: Substack
🔲Cellular Automata
Preview
Report Post
Storage Options for my Proxmox Server
reddit.com·14h·
Discuss: r/homelab
🏠Homelab Preservation
Preview
Report Post
Multiplying our way out of division
xania.org·16h
📐Interval Arithmetic
Preview
Report Post
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·1d
λLambda Formalization
Preview
Report Post
Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
arxiv.org·4d
🔧Hardware Verification
Preview
Report Post
Squint Testing Lisps
blog.toast.cafe·6h
🧠Lisp Dialects
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.ca·1d·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post