Bazel and action (non-) determinism
blogsystem5.substack.com·4d·
Discuss: Substack
🔄Reproducible Builds
<p>I&rsquo;ve said this before and I&rsquo;ll say it again: the ability to make a lambda from a method, a la Java&rsquo;s double colon operator (e.g. <code>obj:...
lmika.org·2d
λLambda Formalization
A PoC using Burp Bambdas to show its simplicity for Quick Wins
blog.kulkan.com·7h·
Discuss: Hacker News
🧪CBOR Fuzzing
Understanding Error Handling with Defer in Go: A Deep Dive
zerotohero.dev·1d·
Discuss: Hacker News
⚖️Hoare Logic
Adding more CPU cores won't help if architecture is fundamentally sequential
signoz.io·1d·
Discuss: Hacker News, r/programming
🌊Stream Processing
Docker’s Biggest Security Threat: How Python Stops Container Attacks
thenewstack.io·1d
📦Container Security
Show HN: I Built a Runtime Defense Against Prompt Injection in Supabase MCP
docs.tansive.io·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
Make Your Agent Listen: Tactics for Obedience
blog.pamba.app·2d·
Discuss: Hacker News
⚔️Lean Tactics
ICML 2025 Outstanding Paper Awards
icml.cc·2d·
Discuss: Hacker News
🧠Machine Learning
Contraction, Criticality, and Capacity: A Dynamical-Systems Perspective on Echo-State Networks
arxiv.org·15h
🔲Cellular Automata
The Genie's Curse: My Month with AI-Augmented Coding
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
Pattern matching across different languages
dev.to·1d·
Discuss: DEV
🧮Algebraic Datatypes
Machine Learning Fundamentals: gradient descent with python
dev.to·2h·
Discuss: DEV
⚡Incremental Computation
Revolutionizing Business Automation with AssemblyAI Voice Agents: Building Ultra-Fast, Ultra-Accurate Voice-Driven Workflows
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Inside GPT – The Maths Behind the Magic • Alan Smith • GOTO 2024
youtube.com·1d
🎯Proof Tactics
Vibecoding: The Antipattern We Didn't See Coming (and How to Dodge It) 🤦‍♀️
dev.to·1d·
Discuss: DEV
✨Effect Handlers
The Reason Your AI Code Becomes Unmaintainable (and How to Fix It)
blog.daviddodda.com·2d·
Discuss: Hacker News
🔄Language Evolution
FinDPO: Financial Sentiment Analysis for Algorithmic Trading through Preference Optimization of LLMs
arxiv.org·15h
🔍BitFunnel
Prompt Injection Attacks: Hacking AI Through Conversation
infosecwriteups.com·1d
⚡Proof Automation
Show HN: I'm not a developer, but I spent a year architecting a compassionate AI
github.com·12h·
Discuss: Hacker News
⚡Incremental Computation