Devlog: Godot Game - A Trigger That Reveals Secrets
lmika.org·2h
🎯Proof Tactics
Implicit `operator bool` participates in comparison
quuxplusone.github.io·2d
🦀Rust Verification
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·3d
🔗Functional Compilers
Next steps for BPF support in the GNU toolchain
lwn.net·3d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.io·5h·
Discuss: Hacker News
🎮Gameboy Emulation
Watching AWS Instance Types Evolution in 2025
rmazur.io·7h·
Discuss: Hacker News
🔌Interface Evolution
A Search Engine in CSS – By Tim Carry – Algolia Stories
stories.algolia.com·2h·
Discuss: Hacker News
🧪Binary Fuzzing
I Built My Own Google Drive
lorbic.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·3d·
Discuss: Hacker News
🔓Reverse engineering
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·18h·
Discuss: Hacker News
🧮Kolmogorov Bounds
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Building Trust for AI Agents — ISM-X: A Privacy-Preserving Identity Layer (with demo)
dev.to·1d·
Discuss: DEV
🌳Archive Merkle Trees
Beyond Vector Search: Building a RAG That *Actually* Understands Your Data
dev.to·2d·
Discuss: DEV
🗂️Vector Databases
Detecting Distillation Data from Reasoning Models
arxiv.org·4d
⚙️ABNF Mining
RedTWIZ: Diverse LLM Red Teaming via Adaptive Attack Planning
arxiv.org·2d
⚔️Lean Tactics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·6h·
Discuss: DEV
📊Multi-vector RAG
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·1d·
Discuss: r/LLM
💻Local LLMs
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·8h·
Discuss: DEV
📊Multi-vector RAG
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·3d·
Discuss: DEV
🏠Homelab Orchestration
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·4h·
Discuss: DEV
📊Multi-vector RAG