Some notes about SBOMs
blog.veitheller.de·9h
🧩Theorem Proving
Subinterpreters and Asyncio
blog.changs.co.uk·1d·
Discuss: Hacker News
📝Lisp
Your Open Source Data Infrastructure Is Ready for Agentic AI
thenewstack.io·1d
🌍Distributed Systems
Developing a Custom Query Language with ANTLR and Elasticsearch
blog.scottlogic.com·1d
🔗Parser Combinators
I gave Claude Code a folder of tax documents and used it as a tax agent
martinalderson.com·1d·
Discuss: r/ClaudeAI
🧩Theorem Proving
Scalable Lyapunov Barrier Function Optimization Using Reinforcement Learning for Hybrid Nonlinear Systems
dev.to·1d·
Discuss: DEV
⚖Algorithmic Game Theory
Generative AI and Healthy Skepticism
tirkarthi.github.io·6h·
Discuss: Hacker News
🧩Theorem Proving
Your Reward Function for RL is Your Best PRM for Search: Unifying RL and Search-Based TTS
arxiv.org·17h
🎲Probabilistic Programming
When Is Monitoring Enough? A Practical Guide to Database Observability
dev.to·10h·
Discuss: DEV
🔍Static Analysis
Advanced Aerosol Classification via Dynamic Feature Fusion and Bayesian Inference in Cleanroom Monitoring
dev.to·21h·
Discuss: DEV
🎲Probabilistic Programming
'Rosetta stone' of code allows scientists to run core quantum computing operations
phys.org·12h
🔐Cryptography
Markdown Lib - First OSS project - Feedback Welcome!
github.com·9h·
Discuss: r/golang, r/opensource, r/programming
🔧Compiler Design
Pact: Head-to-head negotiation benchmark for LLMs
github.com·5h·
Discuss: Hacker News, r/LocalLLaMA
⚖Algorithmic Game Theory
How to Build a Self-Correcting AI Agent for Product Search in E-Commerce
dev.to·1h·
Discuss: DEV
🧩Theorem Proving
Scalable Digital Twin Synchronization via Hierarchical Causal Graph Optimization
dev.to·18h·
Discuss: DEV
⚡Concurrency
Building a self-hosted, fast AI research agent using OpenAI and SerpApi
serpapi.com·2d·
Discuss: Hacker News
🧩Theorem Proving
Object-Oriented Programming in Python: Complete Crash Course
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
Context engineering is just software engineering for LLMs
inngest.com·6h·
Discuss: Hacker News
🏗️Software Architecture
how to decide on the sequence of computable numbers
academia.edu·19h·
Discuss: Hacker News, r/programming
📈Complexity Theory
I Stopped Writing Code. My Productivity Exploded.
every.to·1d
🧩Theorem Proving