Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·46m
⚡functional programming
FastAPI & PostgreSQL Sharding: A Step-by-Step Guide (Part 1) - Theory
realpython.com·11h·
Discuss: DEV
🔗Hash Functions
A PhD in Snapshots
rbharath.github.io·20h·
Discuss: Hacker News
🎯Finite Automata
I Trained a Small Language Model from Scratch
nwosunneoma.medium.com·3d·
Discuss: Hacker News
🌱Tiny Languages
Show HN: Write deep learning code on your laptop and run it instantly on GPUs
aiengineering.academy·1d·
Discuss: Hacker News
🔀SIMD Programming
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·17h
🧩Constraint Solvers
Seriously Testing LLMs
satisfice.com·19h
🎯Finite Automata
Cuckoo hashing improves SIMD hash tables
reiner.org·2d·
Discuss: Lobsters, Hacker News, r/rust
🏗️Hash Tables
[Tool] Ollama Bench - Parallel benchmark tool with real-time TUI, multi-model comparison, and comprehensive performance metrics
reddit.com·1d·
Discuss: r/LocalLLaMA
🏁Language Benchmarks
TikTok Mobile/Web Complete Reverse Engineering
github.com·1h·
Discuss: r/programming
🛡️Parser Security
The Role of AI in Next-Gen Chip Design
dev.to·21h·
Discuss: DEV
🔌Microcontrollers
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
📱 React Native at Scale: Lessons from 100K+ Users
dev.to·1d·
Discuss: DEV
🏛️Elm Architecture
Simple hash map in C, for learning purpose
reddit.com·10h·
Discuss: r/C_Programming
🏷️Symbol Interning
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·17h
💬Interactive REPLs
New Claude Sonnet 4.5:
robotwritersai.com·17h
📝Rope Editors
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·2d·
Discuss: Hacker News
🧩Constraint Solvers
From Autocomplete to Agents: Mapping the Design Space of AI Coding Assistants
oreilly.com·10h
🎭Program Synthesis
The future of your code is no-code
pleasedontdeploy.com·8h·
Discuss: Hacker News
🎮Language Ergonomics
English speakers are lucky - thoughts from developing a keyboard app
reddit.com·22h·
Discuss: r/SideProject
📝Rope Editors