Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🗣️Language Servers
SLTarch: Towards Scalable Point-Based Neural Rendering by Taming Workload Imbalance and Memory Irregularity
arxiv.org·2d
🎨Computer Graphics
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·14h
🧮Linear Algebra
Blog series on creating an OS in Rust
os.phil-opp.com·2d·
Discuss: Hacker News
🔧Embedded Rust
Writing memory efficient structs in C
tomscheers.github.io·3d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
🔧Embedded Rust
Sync primitives are Functionally Complete
kprotty.me·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Async Rust
'Hello world' in Bismuth
enikofox.com·12h·
Discuss: Lobsters, Hacker News, r/programming
🎭Proc Macros
If Odin Had Macros
gingerbill.org·14h·
Discuss: Lobsters, Hacker News, r/programming
🎭Proc Macros
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🏗️LLVM
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·1d
🗣️Language Servers
Opsqueue: Lightweight batch processing queue for heavy loads – now open-source
channable.com·2d·
Discuss: Lobsters, Hacker News
🗄️Database Internals
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🗣️Language Servers
Show HN: Dfembed is a Rust-powered Python lib turning DataFrames into vector db
github.com·2d·
Discuss: Hacker News
💾Database Engines
You Are the Bios Now: Building a Hypervisor in Rust with KVM
yeet.cx·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔒Hardware Security
Schematra: Sinatra inspired Chicken web framework
github.com·1d·
Discuss: Lobsters, Hacker News
🕸️WebAssembly
Knowledge-Guided Memetic Algorithm for Capacitated Arc Routing Problems with Time-Dependent Service Costs
arxiv.org·2d
🌍Distributed Systems
2000 words about arrays and tables
buttondown.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Linear Algebra
AI in a vat: Fundamental limits of efficient world modelling for safe agent sandboxing
lesswrong.com·4h
🎮Game Engines
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·1d·
Discuss: Hacker News
🗣️Language Servers
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·1d
🌍Distributed Systems