Capture Checking in Scala
nrinaudo.github.io·17h·
Discuss: Hacker News
🧪Binary Fuzzing
FreeBSD Jails are Simple and Easy
freebsdfoundation.org·7h
📦Container Security
5 Core I/O Models Every Software Engineer Should Know
alexpham.dev·1d·
Discuss: r/programming
🔩Systems Programming
How to Build a ChatGPT Clone in Go: Cost, Context, and Lessons
nleiva.medium.com·5h·
Discuss: Hacker News
⚡gRPC
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·9h·
Discuss: Hacker News
⚡Hardware Transactional Memory
FLINT: Fast Library for Number Theory
flintlib.org·4h
🧮Algebraic Datatypes
Looking for Suggestions on Home Server for running Game Servers
reddit.com·23h·
Discuss: r/homelab
🦀Embedded Rust
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·19h
🕸️Network Topology
Song recommendations with F# free monads
blog.ploeh.dk·15h
🔗Functional Compilers
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Does Rust complexity ever bother you?
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Show HN: I made a WASI orchestration prototype
github.com·18h·
Discuss: Hacker News
🌐WASI
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·2d
🧬Functional Programming
Some recent project milestones
markjgsmith.com·1d
🔌Interface Evolution
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·3d·
Discuss: Hacker News
⚡Dependent Rust
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·6h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Lobsters Interview with Matklad
lobste.rs·3d·
Discuss: Lobsters
🦀Rust Macros
Fearless Programming with Rust
infoq.com·4d·
Discuss: Hacker News
🦀Rust Macros
Optimizing FizzBuzz in Rust
github.com·2d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
A Bitcoin Core Code Analysis
binaryigor.com·7h·
Discuss: Hacker News
🧬Bitstream Evolution