Sophos’ Secure by Design 2025 Progress
news.sophos.com·19h
🏺Kerberos Archaeology
How to draw lambda diagrams (2020)
risingentropy.com·3d·
Discuss: Hacker News
λLambda Formalization
A PoC using Burp Bambdas to show its simplicity for Quick Wins
blog.kulkan.com·3d·
Discuss: Hacker News
🧪CBOR Fuzzing
Handling request scoped dependencies in Golang without abusing the context
winsnes.io·4d·
Discuss: Hacker News
⚡gRPC
Hunting a Memory Leak
dolthub.com·5d·
Discuss: Hacker News
🧠Memory Allocators
Fixing Stuff on Prod
posthero.us·16h·
Discuss: Hacker News
🌊Streaming Systems
Interactive Programming in C (2014)
nullprogram.com·5d·
Discuss: Hacker News
🔩Systems Programming
cellos51/balatro-gba
github.com·3h
🎮Gameboy Emulation
Performance implications of unchecked functions like unwrap_unchecked, unreachable, etc.
reddit.com·6d·
Discuss: r/rust
🔒Type Safety
The many, many, many JavaScript runtimes of the last decade
buttondown.com·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🔌Interface Evolution
LSFDNet: A Single-Stage Fusion and Detection Network for Ships Using SWIR and LWIR
arxiv.org·1h
🤖Advanced OCR
[SHOW OSS]Claude Sub Agents – AI Development Team
github.com·2d·
Discuss: Hacker News, Hacker News
👑Isabelle
Python Function Naming Convention: Best Practices
dev.to·1d·
Discuss: DEV
💧Liquid Types
Roast your LinkedIn Bio with FastAPI: A Fun Intro Guide to Building APIs that make you smile
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Keeping MCP Inspector Safe: Lessons from CVE‑2025‑49596
dev.to·3d·
Discuss: DEV
🌐WASI
Are we building AI coding assistants wrong?
news.ycombinator.com·11h·
Discuss: Hacker News
⚡Proof Automation
SeeDiff: Off-the-Shelf Seeded Mask Generation from Diffusion Models
arxiv.org·1h
🕵️Vector Smuggling
Novel Pivoted Cholesky Decompositions for Efficient Gaussian Process Inference
arxiv.org·1h
📐Linear Algebra
7 Must-Read AI and Prompt Engineering Books for Developers in 2025
dev.to·14h·
Discuss: DEV
⚡Proof Automation
LoRA-Leak: Membership Inference Attacks Against LoRA Fine-tuned Language Models
arxiv.org·4d
💻Local LLMs