After managing 50+ security breaches, I documented our incident response framework with ready to use forensic scripts
ncse.info·6h·
Discuss: r/programming
📡Network Protocol Design
A Stroke of Genius: Striving for Greatness in All You Do by R.W. Hamming
cs.utexas.edu·2d·
Discuss: Hacker News
➡️Category Theory
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·2d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·4d·
Discuss: Hacker News
🧪Property-Based Testing
Being a psychologist to your (over)thinking LLM
specy.app·5d·
Discuss: Hacker News
✓Automated Theorem Proving
A closer look at the Model Context Protocol
jan.scheffczyk.page·1d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·3d·
Discuss: Hacker News
🛡️seL4
LOON - Label Oriented Object Notation
github.com·7h·
Discuss: r/programming
🐫OCaml
The Next Wave
dumindu.github.io·3d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Show HN: ArchGW – an intelligent edge and service proxy for agents
news.ycombinator.com·20h·
Discuss: Hacker News
🌐NetworkProtocols
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·5d
➡️Category Theory
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·2d
⚙️PL Implementation
Show HN: BothAngles – A sneaker net social network for privacy
news.ycombinator.com·2h·
Discuss: Hacker News
🔬Unikernels
Improving AEBS Validation Through Objective Intervention Classification Leveraging the Prediction Divergence Principle
arxiv.org·2d
🔍Formal Verification
The Bitter Lesson (2025)
artfintel.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Layers of Lawyers and Liars
matthewbutterick.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Quikfolioz – Vibe-Coded Portfolios, Crafted Fast for Devs on the Go
github.com·3h·
Discuss: Hacker News
🍎Apple
Text 2 shorts AI POWERED VIDEO AUTOMATION
github.com·3d·
Discuss: r/programming
🤖Program Synthesis
What Is Vibe Coding?
cloud.google.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Ask HN: How are Kafka or event-driven systems used in LLM infrastructure?
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️PL Implementation