MSAB Interim report – Q3 2025
msab.com·10h
💰Preservation Economics
Flag this post
The Bathtub Curve
blog.dshr.org·2h·
Discuss: www.blogger.com
🌡️Preservation Thermodynamics
Flag this post
Switching from Hugo to picopaper
ittavern.com·17h
🦋Format Metamorphosis
Flag this post
A moonlit week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
λLambda Encodings
Flag this post
No Bounty: A Story of a Serious Privacy Leak in iOS
paradisefacade.com·4h·
Discuss: Hacker News
🔒Secure Boot
Flag this post
Nonmonotonic Logic
cambridge.org·1d·
Discuss: Hacker News
🔬Logic in Computer Science
Flag this post
"use workflow": Understanding Directives
useworkflow.dev·21h·
Discuss: Hacker News
🐚Shell Monads
Flag this post
SymSpell C99: Building the Fastest Spell Checker in Pure C
suman-pokhrel.com.np·2d·
Discuss: Hacker News
🌳Trie Structures
Flag this post
Windows 11 is getting a new trick to make your PC more reliable – and Microsoft has fixed a security flaw in File Explorer
techradar.com·20h
🖥️Modern Terminals
Flag this post
The Dfinity "Blockchain Nervous System"
medium.com·1d·
Discuss: Hacker News
🤝Distributed Consensus
Flag this post
html-is-a-tree
glfmn.io·4d·
Discuss: Lobsters, Hacker News, Hacker News
📝Concrete Syntax
Flag this post
Improving Human Verification of LLM Reasoning through Interactive Explanation Interfaces
arxiv.org·13h
✓Automated Theorem Proving
Flag this post
Show HN: I built an 8-bit CPU simulator in Python from scratch
github.com·4d·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
Automated Cluster Resource Orchestration via Predictive Load Balancing and Reinforcement Learning
dev.to·4h·
Discuss: DEV
👁️Observatory Systems
Flag this post
🧩 Automated Documentation using MkDocs and Python
dev.to·19h·
Discuss: DEV
⚡Proof Automation
Flag this post
Energy-Efficient UAV-Enabled MEC Systems: NOMA, FDMA, or TDMA Offloading?
arxiv.org·13h
ℹ️Information Theory
Flag this post
Emu68 Goes PowerPC
patreon.com·12h·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
Think Twice: Branch-and-Rethink Reasoning Reward Model
arxiv.org·13h
⚡Incremental Computation
Flag this post
R-Horizon: How Far Can Your Large Reasoning Model Really Go in Breadth andDepth?
dev.to·5h·
Discuss: DEV
🧮Datalog Systems
Flag this post
Serverless vs. Containers: Picking the Right Tech for Your 2025 Project
dev.to·1d·
Discuss: DEV
🧱Immutable Infrastructure
Flag this post