A Lost IBM PC/AT Model? Analyzing a Newfound Old BIOS (int10h.org)
int10h.org·18h·
Discuss: Lobsters, Hacker News
💾Retro Computing
Flag this post
CHERIoT 1.0 Released
cheriot.org·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Flag this post
The Hackers Manifesto (The Conscience of a Hacker) (1986)
phrack.org·1d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
λFunctional Programming
Flag this post
Show HN: Code tours and feedback with your Agent in VSCode – local and cloudless
intraview.ai·20h·
Discuss: Hacker News
🔧DevOps
Flag this post
Is cryptography in Go hard?
reddit.com·12h·
Discuss: r/golang
🔒Protocol Verification
Flag this post
Iterate faster with Amazon Bedrock AgentCore Runtime direct code deployment
aws.amazon.com·1d
🔧DevOps
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Honest take: I tested 12+ AI vibe coding tools, but this one actually surprised me
vibe.forem.com·2d·
Discuss: DEV
🔧DevOps
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
dev.to·3d·
Discuss: DEV
🎮Verification Games
Flag this post
Agentic World Modeling for 6G: Near-Real-Time Generative State-Space Reasoning
arxiv.org·1d
👁️Observability
Flag this post
Between Myths and Metaphors: Rethinking LLMs for SRH in Conservative Contexts
arxiv.org·1d
❓Existential Types
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·2d·
Discuss: DEV
💎Refinement Types
Flag this post
Integrity Under Siege: A Rogue gNodeB's Manipulation of 5G Network Slice Allocation
arxiv.org·9h
🌐Network Protocols
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·2d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Day 26: Python Book Sorter, Sort a Library by Page Count with Lambda Keys
dev.to·3h·
Discuss: DEV
λFunctional Programming
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·4d·
Discuss: DEV
🤖Robotics
Flag this post
🧩 Hackathon Recap: Building “API Syncer” — Using AI to Work Smart, Not Hard
dev.to·20h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
The rise of ‘Slow AI’: Why devs should stop speedrunning stupid
dev.to·8h·
Discuss: DEV
📊Runtime Verification
Flag this post
Show HN: Polyglot Docker dev environment setup – C/C++/Rust/Python
github.com·2d·
Discuss: Hacker News
🐳Containerization
Flag this post