Cyclic Proofs for iGL via Corecursion
arxiv.org·13h
🧮SMT Solvers
Flag this post
Build your own GPG in Rust
andrewhalle.github.io·2d·
Discuss: Hacker News
🦀Rust
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·5d
🛡️Memory Safety
Flag this post
Mastering Concurrency in Go: Goroutines, Channels, and Patterns
djamware.com·6h·
Discuss: DEV
🔵Go
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·6d·
Discuss: Hacker News, r/rust
🦀Rust
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Unlock clearer Rust dependency insight with dep-insight
dev.to·19h·
Discuss: DEV
🦀Rust
Flag this post
When will `type A = impl Trait` where A is associated type become stable?
github.com·1d·
Discuss: r/rust
📦Serde
Flag this post
On Async Mutexes
matklad.github.io·1d·
Discuss: Lobsters, Hacker News
🔄Concurrency Patterns
Flag this post
Boosting React Performance: A Guide to Optimization
dev.to·8h·
Discuss: DEV
📊Performance Tools
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
λFunctional Programming
Flag this post
Scala vs. F#
alexn.org·2d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Bus Factor 0
ericphanson.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·3d·
Discuss: r/compsci, r/programming
🦀Rust
Flag this post
Precompiled headers and why Squid won't be using them (2023)
squidproxy.wordpress.com·21h·
Discuss: Hacker News
🔨Incremental Compilation
Flag this post
Patching 68K Software – SimpleText
tinkerdifferent.com·19h·
Discuss: Hacker News
🔎Valgrind
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·20h·
Discuss: r/programming
λFunctional Programming
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
reddit.com·3d·
Discuss: r/rust
🦀Rust
Flag this post
The Same Feature That Makes a Component Powerful Can Also Make It Dangerous
blog.zast.ai·1d·
Discuss: Hacker News
🔧WASI
Flag this post
I've created a leetcode for system design
reddit.com·5h·
Discuss: r/programming
🎨Design Systems
Flag this post