Issue 483
haskellweekly.news·19h
🔧MLIR
Why Rust Programming Language Became the Most Loved Developer Choice (5 Years Running!)
ncse.info·1d·
Discuss: DEV
🔧MLIR
My first Rust Crate - Omelet, a math library focused on graphics and physics
reddit.com·1d·
Discuss: r/rust
🔧MLIR
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
✅Formal Verification
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·20h
✅Formal Verification
“Why Learn C” Book Announcement
dev.to·1d·
Discuss: DEV
✅Formal Verification
why you should learn ocaml
sarthak2143.bearblog.dev·1d
🔧MLIR
Hask Is Not a Category
math.andrej.com·1d·
Discuss: Hacker News
✅Formal Verification
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·2h·
Discuss: Hacker News
🔧MLIR
Sometimes it's hard to be lazy
yamlscript.org·1d
🧮Homomorphic Encryption
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·11h·
Discuss: Hacker News
✅Formal Verification
100 Exercises to Learn Rust: RustRover Edition
blog.jetbrains.com·3d
🔧MLIR
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·1d·
Discuss: Hacker News
🔧MLIR
Enums and Pattern Matching in Rust: A Deep Dive into Type Safety and Control Flow
dev.to·3d·
Discuss: DEV
✅Formal Verification
2000 words about arrays and tables
buttondown.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Homomorphic Encryption
Follow-up: I Built a Simple Thread Pool in Zig After Asking About Parallelism
reddit.com·21h·
Discuss: r/Zig
🧮Homomorphic Encryption
How JIT builds of CPython work
savannah.dev·2d·
Discuss: Hacker News
✅Formal Verification
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·23h
🔧MLIR
Sync primitives are Functionally Complete
kprotty.me·20h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔧MLIR
Generalizing over mutability in Rust
alexsaveau.dev·2d
🔧MLIR