Rereading
maxgirkins.com·1d·
Discuss: Hacker News
➡️Category Theory
Gemini (2023)
geminiquickst.art·2d·
Discuss: Hacker News
📦Unikernel Systems
Keeping Things Expressive When DataFrames Are Involved
simplethread.com·3d·
Discuss: Hacker News
🧮Lambda Calculus
DIY Smart Home Dashboard
thestockpot.net·4d·
Discuss: Hacker News
💾Retro Computing
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·6d·
Discuss: Hacker News
🛡️seL4
Matrix is email wearing a hoodie
gist.github.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Kissing bugs bring deadly Chagas disease to California
latimes.com·3d·
Discuss: Hacker News
🧩Parser Combinators
The Compounding Effect of Version Control Performance
diversion.dev·5d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Writing – How to make a computer browser internet automatically
news.ycombinator.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Lessons from handling timezone conversion in a global SaaS
news.ycombinator.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Monero’s seed phrase words
johndcook.com·4h·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: Valkyrie – A community-powered security scanner for your CI/CD
github.com·4d·
Discuss: Hacker News
📊Runtime Verification
Co-Investigator AI: The Rise of Agentic AI for Smarter, Trustworthy AML Compliance Narratives
arxiv.org·5d
✓Automated Theorem Proving
This is how much out-of-warranty repairs will cost for the new iPhones
9to5mac.com·3d
🍎Apple
18 Popular npm Packages Compromised in Attack
thenewstack.io·3d
🍎Apple
Explaining the Reputational Risks of AI-Mediated Communication: Messages Labeled as AI-Assisted Are Viewed as Less Diagnostic of the Sender's Moral Character
arxiv.org·4d
✓Automated Theorem Proving
Depth-Bounded Epistemic Planning
arxiv.org·5d
🧩Separation Logic
Writing effective tools for LLM agents–using LLM agents
anthropic.com·4d·
Discuss: Hacker News
💎Refinement Types
"Let the Forest Flow for Its Forestness"
worldsensorium.com·5d·
Discuss: Hacker News
🔬Unikernels
Thinking Machines Lab wants to make AI models more consistent
techcrunch.com·5d·
Discuss: Hacker News, r/LLM
📚Automata Learning