Kernel Programming, Runtime Safety, Network Monitoring, Performance Analysis

Cure - Verification-First Programming for the BEAM
cure-lang.orgยท1dยท
Discuss: Lobsters
๐Ÿ”„Compiler Design
Flag this post
This Month in Ladybird โ€“ October 2025
ladybird.orgยท12hยท
Discuss: Hacker News
๐ŸŒHTMX
Flag this post
Build your own GPG in Rust
andrewhalle.github.ioยท1dยท
Discuss: Hacker News
๐Ÿ”Cryptography
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.deยท13hยท
Discuss: Hacker News
๐Ÿ”„Compiler Design
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.ioยท2dยท
Discuss: Hacker News
๐Ÿ“ฆWebAssembly
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.ioยท2hยท
Discuss: Hacker News
๐ŸšขDevOps
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.comยท2hยท
Discuss: Hacker News
๐Ÿ”„Compiler Design
Flag this post
Reflections on Trusting Trust (1984)
web.archive.orgยท2dยท
Discuss: Hacker News
๐Ÿ”„Compiler Design
Flag this post
Labs for Broke โ€“ EKS for Pennies
georgedeblog.comยท18hยท
Discuss: Hacker News
๐ŸšขDevOps
Flag this post
Machine Scheduler in LLVM โ€“ Part II
myhsu.xyzยท2dยท
๐Ÿ”„Compiler Design
Flag this post
Lazy loading isn't the magic pill to fix AI Inference
tensorfuse-docs.mintlify.devยท9hยท
Discuss: Hacker News
โšกPerformance Engineering
Flag this post
The Noise and the Signal
russmiles.substack.comยท18hยท
Discuss: Substack
โš™๏ธEngineering
Flag this post
Headless PHP โ€“ as far as I understand the landscape
blog.fortrabbit.comยท1dยท
Discuss: Hacker News
๐ŸŒHTMX
Flag this post
Writing a DOS Clone in 2019
medium.comยท1dยท
Discuss: Hacker News
๐Ÿง Computer Architecture
Flag this post
Voxel Grid Visibility
cod.ifies.comยท7hยท
๐Ÿง Computer Architecture
Flag this post
Microservices? No, modularity is what matters
binaryigor.comยท11hยท
Discuss: Hacker News
๐ŸšขDevOps
Flag this post
Document-Driven Development in Next.js: How I Stopped Losing My Mind Managing Requirements
danielkliewer.comยท1dยท
๐ŸšขDevOps
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.techยท3dยท
โœ…Formal Verification
Flag this post
CharlotteOS โ€“ An Experimental Modern Operating System
github.comยท3dยท
๐Ÿ“ฆWebAssembly
Flag this post
A Friendly Tour of Process Memory on Linux
0xkato.xyzยท1dยท
Discuss: Hacker News
โšกPerformance Engineering
Flag this post