<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·5h
🎯Symbolic Execution
Obelisk 0.25.4 and handling of WASM traps
obeli.sk·12h·
Discuss: Lobsters, Hacker News, r/rust
🛡️Error Handling
Best MariaDB Clients in 2025
dbvis.com·18h·
Discuss: DEV
📈Query Optimization
A debug helper in Elisp
mbork.pl·7h
🧼Lisp Hygiene
CodeSOD: A Monthly Addition
thedailywtf.com·19h
🚀Code Motion
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·3d·
Discuss: Lobsters, Hacker News
🎭Racket Modules
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.co·1h·
Discuss: Hacker News
🏗️Custom Allocators
Agentic AI: Redefining Automation for Developers
teleglobals.com·16h·
Discuss: DEV
🎭Program Synthesis
🚀 I Replaced Go’s Scheduler — And You Should Too (Here’s How)
dev.to·1d·
Discuss: DEV
🔄Go Scheduler
Power Automate - Generative Actions
dev.to·19h·
Discuss: DEV
🎭Program Synthesis
Scratch your own itch: How to Build and Ship
dev.to·7h·
Discuss: DEV
🔄Bootstrapping
Submaps . . . Thinking about writing a script but want to check and see
reddit.com·1d·
Discuss: r/hyprland
📝Rope Editors
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·23h·
Discuss: DEV
📚Self-Documenting Code
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·19h·
Discuss: Hacker News
⚡Cache Optimization
How I'm using coding agents in September, 2025
blog.fsck.com·2d·
Discuss: Hacker News
📚Self-Documenting Code
I made a library for tables and grids that doesn't have any features or cells.
reddit.com·1d·
Discuss: r/reactjs
📚Self-Documenting Code
Engineering Nirvana: When Valves Speak the Language of Code
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Alignment Faking Demo for Congressional Staffers
lesswrong.com·1d
🎲Parser Fuzzing
Evolution Strategies at Scale: LLM Fine-Tuning Beyond Reinforcement Learning
reddit.com·3h·
Discuss: r/LocalLLaMA
🪜Recursive Descent