Functional Programming in 40 Minutes • Russ Olsen • GOTO 2024
youtube.com·2d
✅Formal Verification
"Ode to Advanced TypeScript", a poem by Grok
dev.to·3h·
Discuss: DEV
✅Formal Verification
Dearest C++, Let Me Count the Ways I Love/Hate Thee
hackaday.com·5h
🔧MLIR
Binding Application in Idris
andrevidela.com·22h·
Discuss: Hacker News
🔧MLIR
[Media] Practice typing out Rust code to get comfortable with the syntax
reddit.com·1d·
Discuss: r/rust
✅Formal Verification
Building Your First ETL Pipeline in Rust
ryuru.com·2d·
Discuss: r/programming
🔗Crypto
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔧MLIR
Python Fundamentals: bounded typevar
dev.to·9h·
Discuss: DEV
✅Formal Verification
A deep dive into deeply recursive Go
mattermost.com·4h·
Discuss: Hacker News
🔧MLIR
Moan-routine: LO's Predicate Signatures
lmika.org·14h
✅Formal Verification
jank is C++
jank-lang.org·4h·
Discuss: Lobsters, Hacker News, r/programming
🔧MLIR
🦀 Day 3 of #100DaysOfRust – Ownership, Borrowing & the Borrow Checker
dev.to·5h·
Discuss: DEV
🔧MLIR
How to Write Rust Code Like a Rustacean
thenewstack.io·2d·
Discuss: Hacker News
🔧MLIR
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·6h·
Discuss: Hacker News
🧮Homomorphic Encryption
Web Developer Travis McCracken on Secrets Management in Modern Web Stacks
dev.to·8h·
Discuss: DEV
🔧MLIR
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧MLIR
I want to learn Golang so I was looking for courses on Udemy and I came acorss these 2
reddit.com·13h·
Discuss: r/golang
🤖AI
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·6h·
Discuss: r/programming
🔧MLIR
Programming Entry Level: cheat sheet coding
dev.to·1d·
Discuss: DEV
✅Formal Verification
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·1d·
Discuss: Hacker News
🔧MLIR