The Android Linux Commander
hackaday.com·1d
🐳Containerization
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·1d·
Discuss: Lobsters, Hacker News, r/hardware
🐫Embedded OCaml
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·1d·
Discuss: Hacker News
🛡️seL4
A Short Introduction to Tor
spec.torproject.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·1d
🧮Lambda Calculus
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·1d·
Discuss: Substack
🎮Verification Games
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·1d
🌐NetworkProtocols
So you want to control flow in PyTorch 2
blog.ezyang.com·4d·
Discuss: Hacker News
✅Model Checking
Experimenting with local LLMs on macOS
blog.6nok.org·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·2d·
Discuss: Hacker News
👁️System Observability
A GitHub Co-Founder's Next Commit
opensourcepledge.com·53m·
Discuss: Hacker News
🍏Darwin
The Expression Problem and its solutions
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
Kerberoasting
blog.cryptographyengineering.com·9h·
Discuss: Lobsters, Hacker News
🛡️seL4
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
You are not going to turn into Google eventually
idiallo.com·10h·
Discuss: Hacker News
🧱Immutable Infrastructure
Using Claude Code SDK to Reduce E2E Test Time by 84%
jampauchoa.substack.com·4d·
Discuss: Substack
🔄Reproducible Builds
The canonical agent architecture: A while loop with tools
braintrust.dev·3d·
Discuss: Hacker News
⚙Operational Semantics
How I tell human and AI flash fiction apart
lesswrong.com·14h
⚡Process Calculi
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·2d
🎮Verification Games
An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds