Verifying and testing timeliness constraints of Haskell programs
well-typed.com·9h·
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·
Discuss: r/C_Programming
🎮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·9h·
Discuss: r/rust
🦀rust
Flag this post
Why you should stop writing long functions
dev.to·8h·
Discuss: DEV
🎮gamedev
Flag this post
Why your SDK Breaks in Cursor
sourcewizard.ai·3h·
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·10h·
Discuss: DEV
🦀rust
Flag this post
Models vs. Algorithms: The Philosophical Battle at the Heart of Machine Learning
pub.towardsai.net·20h
⏩SIMD
Flag this post
Monad laws in Raku
rakuforprediction.wordpress.com·4d
⚡Tokio
Flag this post
Experiment: Making TypeScript Immutable-by-Default
evanhahn.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀rust
Flag this post
🚀 New Article: Real-Time Updates in Go with Server-Sent Events (SSE) Just published a quick deep dive into using SSE in Golang — a lightweight, HTTP-native alte...
medium.com·15h·
Discuss: r/programming
⚡Tokio
Flag this post
Writing Airflow Dags with Excel and Minecraft
astronomer.io·4h·
Discuss: Hacker News
🧩Entity Component System
Flag this post
Deep dive into the small details of micrograd
omrishneor.github.io·2d·
Discuss: Hacker News
🎮gamedev
Flag this post