GHC Developer Blog: GHC 9.14.1-rc2 is now available
haskell.org·3d
📐Type Theory
Flag this post
Differentiation and how it could be the reason why reality exists
carlo-htgdc.medium.com·4h·
Discuss: Hacker News
💫Effect Systems
Flag this post
Magika 1.0 Goes Stable As Google Rebuilds Its File Detection Tool In Rust
developers.slashdot.org·2h
#️⃣Hash Tables
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·1d·
🦀Rust Macros
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·2d·
⚙️Systems Programming
Flag this post
I've created a leetcode-like platform for system design
systemstudio.app·1d·
Discuss: DEV
🎨Design Systems
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·3d
🔍eBPF
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·2d
💬Prompt Engineering
Flag this post
Do Androids Dream of Unseen Puppeteers? Probing for a Conspiracy Mindset in Large Language Models
arxiv.org·22h
💫Effect Systems
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·2d
Formal Verification
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.to·1d·
Discuss: DEV
💬Prompt Engineering
Flag this post
Deep Dive into G-Eval: How LLMs Evaluate Themselves
dev.to·11h·
Discuss: DEV
🚀MLOps
Flag this post
Silent Performance Killer: N+1 Query Problem
dev.to·9h·
Discuss: DEV
🔍Query Optimization
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
dev.to·3d·
Discuss: DEV
📱Edge AI
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·1d
💬Natural Language Processing
Flag this post
Beyond Scarcity: How LLM-Driven Synthetic Data Generation is Reshaping AI
pub.towardsai.net·1d
💬Prompt Engineering
Flag this post
Explaining Human Choice Probabilities with Simple Vector Representations
arxiv.org·22h
🎯Reinforcement Learning
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·9h·
Discuss: DEV
FastAPI
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·2d·
📏Linear Types
Flag this post