I built AlgoArena: Real-time competitive programming platform with ELO matchmaking
reddit.com·22h·
Discuss: r/programming
🎮gamedev
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·12h·
Discuss: Hacker News
Tokio
Flag this post
POPL Paper—Hyperfunctions: Communicating Continuations
doisinkidney.com·3d
Tokio
Flag this post
Bytecode Compilers and Interpreters (2019)
bernsteinbear.com·1d·
Discuss: Hacker News
🌐WebAssembly
Flag this post
This Ain't Yer Grandaddy's C (Tricks for Writing Gorgeous C)
spader.zone·1d·
Discuss: Hacker News
🦀rust
Flag this post
Project to learn an embeddable scripting language
wren.io·2d·
🎮gamedev
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·3d
🦀rust
Flag this post
LLM-Driven Active Listwise Tournaments for Large Universe Portfolio Selection
papers.ssrn.com·2d·
Discuss: Hacker News
Tokio
Flag this post
Tuple Set: Operate on Rust tuples by type, not position
github.com·12h·
Discuss: r/rust
🦀rust
Flag this post
The Engineering Guide to Efficient LLM Inference: Metrics, Memory, and Mathematics
pub.towardsai.net·1h
🚀Performance Optimization
Flag this post
Building an Air-Gapped AI Defense System in Python (No Cloud APIs)
dev.to·3h·
Discuss: DEV
🧩Entity Component System
Flag this post
Why you should stop writing long functions
dev.to·11h·
Discuss: DEV
🎮gamedev
Flag this post
Why your SDK Breaks in Cursor
sourcewizard.ai·6h·
Discuss: r/programming
🌐WebAssembly
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·1d
🔀Concurrency
Flag this post
Introducing F# 10
devblogs.microsoft.com·3d·
Discuss: Hacker News
🌐WebAssembly
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·1d
Tokio
Flag this post
Day 3: Type Casting - Transforming Data Types - 30 Days of Python Challenge
dev.to·13h·
Discuss: DEV
🦀rust
Flag this post
Monad laws in Raku
rakuforprediction.wordpress.com·4d
Tokio
Flag this post
Experiment: Making TypeScript Immutable-by-Default
evanhahn.com·2d·
🦀rust
Flag this post