Circular dependency check in Python
dev.to·6h·
Discuss: DEV
🔬Static Analysis
Flag this post
The Abode of Salvation
rohanparanjpe.substack.com·7h·
Discuss: Substack
🔲Cellular Automata
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·10h·
Discuss: Hacker News
📚Automata Learning
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·9h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
We May Have Fixed Python's 25-Year-Old Vulnerability
iyehuda.substack.com·1d·
Discuss: Substack
🌐Network Protocols
Flag this post
Torchforge – a PyTorch native library for scalable RL post-training
pytorch.org·1d·
Discuss: Hacker News
📊Runtime Verification
Flag this post
The case against boolean logic
abuseofnotation.github.io·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Exploring Python Logic: How to Turn Conditions into Code
dev.to·1d·
Discuss: DEV
📐Hoare Logic
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
➡️Category Theory
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·11h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Generalized Consensus: Discovery and Propagation
multigres.com·1d·
Discuss: Hacker News
👁️Observability
Flag this post
Building Intelligent AI Agents with Modular Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·15h·
Discuss: DEV
🏃Escape Analysis
Flag this post
Debug like a boss: 10 debugging hacks for developers, quality engineers, testers
ministryoftesting.com·14h·
Discuss: Hacker News
👁️System Observability
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·7h·
Discuss: r/golang
🎯GADT
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
λFunctional Programming
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·9h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Introducing gpt-oss-safeguard
openai.com·3d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post