Engineering a Rust optimization quiz
fasterthanli.me·1d
📦WebAssembly
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🔌Network Programming
Flag this post
build system tradeoffs
jyn.dev·1d·
Discuss: Lobsters, Hacker News
📦WebAssembly
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·2d·
Discuss: Hacker News
🔌Network Programming
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·11h·
Discuss: Hacker News
🔐Cryptography
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3d·
Discuss: Hacker News, r/rust
📦WebAssembly
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·4d·
Discuss: Substack
✅Formal Verification
Flag this post
The Cargo Cult in the Machine: Why LLMs Are the Ultimate Imitators
steviee.medium.com·14h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Ajla Tutorial
ajla-lang.cz·3d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·4d·
Discuss: Hacker News
📦WebAssembly
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·6d·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
⚡Performance Engineering
Flag this post
13 Principles of Writing Great Software
frontbackgeek.com·11h·
Discuss: r/programming
✅Formal Verification
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
jneurosci.org·12h·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
Hou Tu Pranownse Inglish
zompist.com·9h·
Discuss: Hacker News
⚙️Engineering
Flag this post
AWK technical notes (2023)
maximullaris.com·8h·
Discuss: Lobsters
✅Formal Verification
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1d·
Discuss: Hacker News
📦WebAssembly
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
DDD and the Simplicity Gospel
oluatte.com·1d·
Discuss: Hacker News, r/programming
🚢DevOps
Flag this post
Smaller Surfaces
nrempel.com·1d·
Discuss: Hacker News
📦WebAssembly
Flag this post