⚙️ Systems Programming - chrisdohrm · Scour

Stop rewriting your pipelines - achieving CI portability with Docker and Taskfile 🌐Open Source

blog.3mdeb.com·4d

The build tool that finally has a memory! and why that changes everything 🌐WebAssembly

·3d

Using Rust to build a $1 handheld gaming console 🔌Embedded Hardware

blog.adafruit.com·2d

Claude Mythos Just Audited Rust’s Standard Library and Found Something Unexpected 🔓Binary Exploitation

·3d

On Interaction Nets and Hardware 🔤Type Systems

tendrils.co·4d·Lobsters, Hacker News

Could NP-hard search trees be tackled through spatial mapping of computation rather than temporal execution? 🏗️System Design

github.com·2d·r/compsci

Substrate: Formalism 🔤Type Systems

lesswrong.com·4d

Reimagining Kernel Generation at the PTX Layer: An LLM System Learning from DSLs to Outperform Them 🔌LSP Protocol

standardkernel.com·3d·Hacker News

Becoming a Better Python Developer Through Learning Rust 🐍Python Tooling

youtube.com·6d

D\'ej\`a Vu Packing: Optimizing FPGA Logic Clustering Runtime via Pattern Memoization 🏗️System Design

LukeSchoen/CPrime: Fast C compiler with essential C++ features like constructors, class-templates, overloads, etc ⚙️Compiler Design

github.com·1d·r/cpp

Does std.process.Init.environ_map allocate memory or not? 🔓Binary Exploitation

Improving Reachability in Vector Addition Systems through Pumpability λFunctional Programming

rcarmo/go-joker: A personal twist on the original Clojure interpreter and linter, slightly mad, Go-ing places ⚙️Compiler Design

github.com·1d·Hacker News

What’s New in Rust 1.95.0 🔌LSP Protocol

·3d

A breakthrough in C/C++ dependency management ⚙️Compiler Design

lobste.rs·5d·Substack

I wrote an async LSM storage engine in Rust 🌐WebAssembly

github.com·5d·Hacker News

StructMem: Structured Memory for Long-Horizon Behavior in LLMs 💬Prompt Engineering

penberg/betelgeuse: Completion-based I/O for Rust. No runtime, no hidden tasks. 🔓Binary Exploitation

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version) λFunctional Programming

Sign up or log in to see more results

Log in to enable infinite scrolling