Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.io·1d
💧Liquid Types
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·11h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Fair Screen – Detect Cluely/Interview Coder Kind of Interview Cheating Tools
fairscreen.co·7h·
Discuss: Hacker News
🛡️eBPF Programs
Flag this post
Memchr: Optimized string search routines for Rust
github.com·3d·
Discuss: Hacker News
🦀Rust Verification
Flag this post
AI in QA: how to use Generative AI in testing without creating technical debt
techradar.com·17h
⚡Proof Automation
Flag this post
WhatsApp API flaw let researchers scrape 3.5B accounts
bleepingcomputer.com·13h·
Discuss: Hacker News, r/privacy, r/technews
📰RSS Reading Practices
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
It’s Not Always DNS: Exploring How Name Resolution Works
cefboud.com·1d·
Discuss: r/programming
🌐DNS Security
Flag this post
Do You Know Where Your Load-Bearing Code Is?
codemanship.wordpress.com·13h·
Discuss: Hacker News
📏Code Metrics
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.org·3d
🌀Brotli Internals
Flag this post
Rep+: A Lightweight Alternative to Burp Suite for Quick Browser Testing
bscript.substack.com·15h·
Discuss: Substack
🚀Indie Hacking
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·23h·
Discuss: Substack
🔩Systems Programming
Flag this post
Python Certifi and Custom CAs
zufallsheld.de·15h·
Discuss: Hacker News
🧪CBOR Fuzzing
Flag this post
Show HN: Lite³ – A JSON-Compatible Zero-Copy Serialization Format in 9.3 KB of C
github.com·2d·
Discuss: Hacker News, r/C_Programming, r/cpp, r/embedded, r/programming
🔢Binary Formats
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
📚Lempel-Ziv
Flag this post
Show HN: RAG-chunk – A tool to choose optimal chunk sizes for RAG
medium.com·1d·
Discuss: Hacker News
📄Text Chunking
Flag this post
MCP Apps: Bringing Interactive UIs to AI Conversations
blog.fka.dev·21h·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Crawler-Detect: A PHP Library for Bot Detection
dev.to·2h·
Discuss: DEV
🎯Threat Hunting
Flag this post