What if software shipped with a software engineer?
manuel.kiessling.net·2d
🔄Language Evolution
Flag this post
Naïve Shuffle Algorithm (2007)
blog.codinghorror.com·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Flag this post
Think for Yourself
kevlinhenney.medium.com·1d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·11h·
Discuss: Lobsters, Hacker News, Hacker News
🦀Rust Macros
Flag this post
Debian demands Rust or rust in peace for legacy ports
theregister.com·2d·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
Kubernetes on RPi5 or alternative
reddit.com·10h·
Discuss: r/kubernetes
📦Container Security
Flag this post
NDC Conferences: Lessons Learned Building the Ultimate AI Bug Reporter - Adam Cogan - NDC Copenhagen 2025
dev.to·1d·
Discuss: DEV
🎙️Whisper
Flag this post
This is one way I use AI for coding
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·3d·
Discuss: Hacker News
📐Proof Assistants
Flag this post
Part 2: Building Station Station - A Real-World SDD Case Study
dev.to·1d·
Discuss: DEV
🔌Offline-first Apps
Flag this post
Medical Report Generation: A Hierarchical Task Structure-Based Cross-Modal Causal Intervention Framework
arxiv.org·21h
🤖Advanced OCR
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·12h·
Discuss: DEV
🌳Trie Structures
Flag this post
From searching to solving: how Vector Databases transform product discovery
dev.to·2d·
Discuss: DEV
🔍Semantic Search
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·1d
✅Format Verification
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·21h
🔲Cellular Automata
Flag this post
How to Learn a New AI Tool in 24 Hours (Framework Included)
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Flag this post
📚Enterprise Design Patterns: Table Module with Python Example
dev.to·8h·
Discuss: DEV
🧩SQLite Extensions
Flag this post
When Modalities Conflict: How Unimodal Reasoning Uncertainty Governs Preference Dynamics in MLLMs
arxiv.org·21h
🔲Cellular Automata
Flag this post
How Data 360 Vector Search Delivers Near Real-Time Intelligence on 90% of Enterprise Data
engineering.salesforce.com·2d
🌊Stream Processing
Flag this post