SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·3d·
Discuss: Hacker News
🎮Bevy
Flag this post
Devlog - November 9th, 2025
prikarin.itch.io·6h
🕹Game development
Flag this post
Reviving Classic Unix Games: A 20-Year Journey Through Software Archaeology
vejeta.com·18h·
Discuss: Hacker News
🎮Bevy
Flag this post
Managing Modern HPC Clusters and Supercomputers from Software to Hardware
link.springer.com·3h·
Discuss: Hacker News
🐧Linux
Flag this post
Anukari on the CPU (part 2: CPU optimization)
anukari.com·2d·
Discuss: Hacker News
🎨Computer Graphics
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·5d
🎨Computer Graphics
Flag this post
Daisy Seed board as a plain STM dev board. Base project.
github.com·7h·
Discuss: r/embedded
🐧Linux
Flag this post
MCP was the wrong abstraction for AI agents
getateam.org·11h·
Discuss: Hacker News
⚡HTMX
Flag this post
InfiMed-ORBIT: Aligning LLMs on Open-Ended Complex Tasks via Rubric-BasedIncremental Training
dev.to·23h·
Discuss: DEV
🎨Computer Graphics
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·5d·
Discuss: DEV
💻Terminal Tools
Flag this post
🚀 The Solo Developer's Choice: Why I Migrated My Backend from Go to Elixir/Phoenix
dev.to·23h·
Discuss: DEV
🕹Game development
Flag this post
How to understand large typescript codebase
dev.to·1d·
Discuss: DEV
💻Terminal Tools
Flag this post
Looking for feedback on something I built for creators
dev.to·18h·
Discuss: DEV
🌿Digital Gardens
Flag this post
## Automated Verification and Enhancement of Distributed Ledger Technology (DLT) Smart Contract Logic Using Hybrid Symbolic Execution and Machine Learning
freederia.com·2d
🎮Bevy
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·5d·
Discuss: r/ClaudeAI
🎮Bevy
Flag this post
Just published my first crate: stable_gen_map
reddit.com·1d·
Discuss: r/rust
🎮Bevy
Flag this post
Which platform should I start with? (STM, PIC, AVR, etc)
reddit.com·1d·
Discuss: r/embedded
🐧Linux
Flag this post
Building a New York Times Connections Solver with Python
dev.to·2d·
Discuss: DEV
🌿Digital Gardens
Flag this post
Canonical's Secure Starlark in Go
github.com·2d·
Discuss: Hacker News
🐧Linux
Flag this post
Building a Decision-Making CLI Tool in Rust: "should-i"
dev.to·21h·
Discuss: DEV
🎮Bevy
Flag this post