Joining forces on Xee
bojidar-bg.dev·1d
🧮Programming Language Theory
Why Did I Start Programming? (Personal Story)
ibrohimbek.link·45m·
Discuss: DEV
🔧Compiler Design
From Simulation Bottlenecks to Formal Confidence: Leveraging Formal for Exhaustive RISC-V Verification
riscv.org·1d
✅Formal Verification
My calendar was chaos until this app started managing it
makeuseof.com·16h
🧩Theorem Proving
System eval with Obsidian and Claude Code
interjectedfuture.com·2d·
Discuss: Hacker News
🔧Compiler Design
Make Your Website Conversational for People and Agents with NLWeb and AutoRAG
blog.cloudflare.com·1d
🔗Parser Combinators
Postgres Replication Slots
dev.to·14h·
Discuss: DEV
🧠Memory Management
Updates to the Same Value: MongoDB Optimization
dev.to·1d·
Discuss: DEV
🗄️Database Theory
Why is Sonnet 3.7 still better than 4 Sonnet/Opus for chat and advice?
reddit.com·18h·
Discuss: r/ClaudeAI
📝Lisp
Build a baby Claude Code using Python
siddharthbharath.com·4d·
Discuss: Hacker News
🧩Theorem Proving
Stop Throwing Exceptions: The ServiceResult<T> Pattern for Clean API
dev.to·14h·
Discuss: DEV
🔍Static Analysis
Task:Set up project structure and core infrastructure
vibe.forem.com·2d·
Discuss: DEV
🦀Rust
ConspirED: A Dataset for Cognitive Traits of Conspiracy Theories and Large Language Model Safety
arxiv.org·1d
🔗Parser Combinators
I made a professional-grade Brainfuck IDE. And used it to come closer than ever to running Doom in Brainfuck.
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Is data-efficient learning feasible with quantum models?
arxiv.org·2d
🔐Cryptography
Single Agent Robust Deep Reinforcement Learning for Bus Fleet Control
arxiv.org·1d
⚖Algorithmic Game Theory
Leveraging Language Models and Machine Learning in Verbal Autopsy Analysis
arxiv.org·2d
🎲Probabilistic Programming
From prompt to physics: Google’s Genie 3 just changed AI gaming forever
dev.to·16h·
Discuss: DEV
🧭SMT Solvers
Adaptive Parameter Calibration for Swarm Robotics Navigation in Dynamic Environments
dev.to·23h·
Discuss: DEV
⚖Algorithmic Game Theory
How a Bottleneck, YouTube Video and C# Channels Led to a 3x Faster .NET Backup Tool
dev.to·1d·
Discuss: DEV
⚡Concurrency