PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·2d
🔤Language Design
Flag this post
Games for rehab: Fast communication for interactive VR and AR
news.umich.edu·2h·
Discuss: Hacker News
🎮Game Development
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Read more
yugabyte.com·2d·
Discuss: Hacker News
🧮Vector Databases
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·1d·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·1d·
Discuss: Hacker News
🐛Fuzzing
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
How I’ve Been Using AI To Build Complex Software (And What Actually Worked)
reddit.com·1d·
Discuss: r/ClaudeAI
🎭Program Synthesis
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·1d
🚀Performance
Flag this post
Explaining Human Choice Probabilities with Simple Vector Representations
arxiv.org·11h
🎯Reinforcement Learning
Flag this post
Day 1 of building Secrin
dev.to·2d·
Discuss: DEV
🐍Python
Flag this post
Observer-based neural networks for flow estimation and control
arxiv.org·11h
🔥PyTorch
Flag this post
Web Developer Travis McCracken on API Gateway Design with Rust and Go
dev.to·1d·
Discuss: DEV
🌐Axum
Flag this post
1 billion JSON records, 1-second query response: Apache Doris vs. ClickHouse, Elasticsearch, and PostgreSQL
dev.to·1d·
Discuss: DEV
🔥DataFusion
Flag this post
Building a Modern CV Builder with React 19, TypeScript, and Firebase: A Complete Guide
dev.to·5h·
Discuss: DEV
🌐Web Development
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·4d·
Discuss: Hacker News
🗂️Obsidian
Flag this post
Turn any of your APIs into a Kubernetes-native citizen
dev.to·4h·
Discuss: DEV
☸️Kubernetes
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2d·
Discuss: DEV
🌿Trie Structures
Flag this post
Self-Supervised Moving Object Segmentation of Sparse and Noisy Radar Point Clouds
arxiv.org·1d
👁️Computer Vision
Flag this post
Autonomous Design Optimization of DNA Origami Nanostructures via Hybrid Genetic Algorithm and Molecular Dynamics Simulation
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Flag this post