CAD-3D on the Atari ST
stonetools.ghost.io·1d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Using GLM-4.6 to reverse engineer Catan Universe browser game (WebGL and unity)
ankitmaloo.com·2d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·5d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
GIL and Race Condition in Python
dev.to·5h·
Discuss: DEV
⏰Timed Automata
Flag this post
🔐 ZK Proofs: The Hidden Engine Behind Web3 Privacy
dev.to·4h·
Discuss: DEV
🔗Curry-Howard
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·18h·
Discuss: DEV
📊Runtime Verification
Flag this post
Linear Causal Discovery with Interventional Constraints
arxiv.org·2d
📐Linear Algebra
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
ViSurf: Visual Supervised-and-Reinforcement Fine-Tuning for LargeVision-and-Language Models
dev.to·9h·
Discuss: DEV
📚Automata Learning
Flag this post
Automated Peptide-Mimetic Design via Constraint-Based Generative Networks
dev.to·1d·
Discuss: DEV
🧮SMT Solvers
Flag this post
Will Developers Survive AI Takeover? Part 3: What Happens If You Stay Old School?
dev.to·11h·
Discuss: DEV
💾Retro Computing
Flag this post
Automated Anomaly Detection in HIS Patient Flow via Real-Time Graph Analytics
dev.to·1h·
Discuss: DEV
👁️System Observability
Flag this post
Building Intelligent Multi-Agent Systems with Context-Aware Coordination
dev.to·3d·
Discuss: DEV
⚙Operational Semantics
Flag this post
Causal Loops: Predicting the Unpredictable with Feedback-Aware AI
dev.to·3d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
🧠 The Simplest "Decision": Is AI Always Rational?
dev.to·1d·
Discuss: DEV
⏱️Computational Complexity
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
Generative AI, Simplicity, and Easiness
gioleppe.github.io·2d·
Discuss: Hacker News
📵Digital Minimalism
Flag this post
Evidence on language model consciousness
lesswrong.com·1d
📚Automata Learning
Flag this post
Building a Production-Ready Enterprise AI Assistant with RAG and Security Guardrails
dev.to·7h·
Discuss: DEV
🛡️seL4
Flag this post