Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·18h
⚡functional programming
Tunable spintronic devices with different switching mechanisms for probabilistic and stochastic computing
journals.aps.org·6h
⚡Control Synthesis
A PhD in Snapshots
rbharath.github.io·1d·
Discuss: Hacker News
🎯Finite Automata
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·1d·
Discuss: DEV
🔗Hash Functions
Four years, Five failures, One compiler
daymare.net·2d·
Discuss: Hacker News, r/programming
🌱Minimal Languages
Simple hash map in C, for learning purpose
reddit.com·1d·
Discuss: r/C_Programming
🏷️Symbol Interning
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🔍ML Language
It's Almost Time for Python 3.14 and Other Python News
realpython.com·1d
💬Interactive REPLs
Advanced RAG: Comparing GraphRAG, Corrective RAG, and Self-RAG
pub.towardsai.net·1d
🌊Streaming Lexers
Homerow Mods at 100+ WPM
reddit.com·1d·
Discuss: r/ErgoMechKeyboards
💻Terminal Emulators
How to implement unique word generation via token graph traversal with local LLMs?
reddit.com·1d·
Discuss: r/LocalLLaMA
🔍Tokenizers
Automating Text-to-Video Pipelines with Sora 2 and n8n
dev.to·1d·
Discuss: DEV
⚡Live Programming
Vibe Coding Through Subscriptions, Payments, and PDF Nightmares
dev.to·1h·
Discuss: DEV
🛡️Error Ergonomics
Advanced Vulkan Rendering: Building a Modern Frame Graph and Memory Management System
dev.to·1d·
Discuss: DEV
🌊Dataflow Languages
Behavior Best-of-N achieves Near Human Performance on Computer Tasks
lesswrong.com·1d
🏰Capability Machines
October 6 letter
dev.to·6h·
Discuss: DEV
⚡Live Coding
Neon: Negative Extrapolation From Self-Training Improves Image Generation
arxiv.org·11h
✨Effect Inference
The 'Magic' of LLMs: The Function of Language
lesswrong.com·2d
🔍ML Language
AI Development Interview Questions : Mock Interviews
dev.to·13h·
Discuss: DEV
🎭Program Synthesis
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·11h
✨Effect Inference