Linear Types for Programmers
twey.io·11h·
Discuss: Hacker News
🔗Distributed systems
Here's How You Can Build Your Own Markdown Parser: Part 2 - How to Read File From the Command Line
hackernoon.com·9h
🔗Distributed systems
Rust Support in Socket
socket.dev·2d·
Discuss: Hacker News
🔗Distributed systems
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·17h·
Discuss: Hacker News
🔗Distributed systems
Parallel Programming Models
ayushgundawar.me·21h·
Discuss: Hacker News
🔗Distributed systems
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·15h·
Discuss: Lobsters, Hacker News
🔥PyTorch
PatchworkOS: A from-scratch NON-POSIX OS strictly adhering to the "everything is a file" philosophy that I've been working on for..
github.com·15h·
Discuss: Hacker News
🔗Distributed systems
Meta
engineering.fb.com·22h·
Discuss: Hacker News
🔗Distributed systems
Blog series on creating an OS in Rust
os.phil-opp.com·3d·
Discuss: Hacker News
🔗Distributed systems
A Library Approach to Constant Template Parameters
brevzin.github.io·14h·
Discuss: Hacker News, r/cpp
🔗Distributed systems
Lobsters Interview with Icefox
lobste.rs·1d·
Discuss: Lobsters
🔗Distributed systems
A Doubly-MMapped Contiguous Shared-Memory Lock-Free Queue
reachablecode.com·3h·
Discuss: Hacker News
🔗Distributed systems
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·3d·
Discuss: Hacker News
🔗Distributed systems
The State of Post-Quantum Cryptography in Rust: The Belt Is Vacant
blog.projecteleven.com·2d·
Discuss: Hacker News
🔗Distributed systems
Demystify OpenAI Triton (2023)
fkong.tech·7h·
Discuss: Hacker News
🔗Distributed systems
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Distributed systems
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·1d·
Discuss: Hacker News
🔌Semiconductors
Detailing the Changes to 'impl Trait' in Rust
hackernoon.com·2d
🔗Distributed systems
Announcing TypeScript 5.9
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🔌Semiconductors
Writing a basic service for GNU Guix
tannerhoelzel.com·23m·
Discuss: Hacker News
🔗Distributed systems