Master Foo and LLM Mountain
tusshah.github.io·2d·
Discuss: Hacker News
⚙️PL Implementation
How to Build Python Code with Bazel (and Why)
ohadravid.github.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Rackintosh Plus
identity4.com·13h·
Discuss: Hacker News
💾Retro Computing
Wrote an in-depth blog on scaling modern transformers with n-D parallelism
jaxformer.com·4d·
Discuss: Hacker News
🧩Parser Combinators
Using RPI 5 Compute Module for FPGA Test
hackster.io·2d·
Discuss: Hacker News
🐫Embedded OCaml
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com·3d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·7h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
High Dimensional Optimization Remains Hard
win-vector.com·2d·
Discuss: Hacker News
🏹Effect Systems
The (sometimes rocky) road to a paper
lmao.bearblog.dev·6d·
Discuss: Hacker News
🧮Lambda Calculus
The Case for Cowboy Coding
bevel.work·1d·
Discuss: Hacker News
💎Refinement Types
Agentic AI Runs on Tools
simplicityissota.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Ask HN: What did you obtain from learning compilers?
news.ycombinator.com·3d·
Discuss: Hacker News
💻CS
GraMFedDHAR: Graph Based Multimodal Differentially Private Federated HAR
arxiv.org·2d
➡️Category Theory
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·5d·
Discuss: Hacker News
💎Refinement Types
My review of Claude's new Code Interpreter, released under a very confusing name
simonwillison.net·1d·
Discuss: Hacker News, Hacker News
🐳Containerization
Repeating vs. Non-Repeating FRBs: A Deep Learning Approach To Morphological Characterization
arxiv.org·2d
🧩Parser Combinators
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org·2d·
Discuss: Lobsters
🧩Parser Combinators
OOTSM: A Decoupled Linguistic Framework for Effective Scene Graph Anticipation
arxiv.org·2d
🧩Parser Combinators
floq: Training Critics via Flow-Matching for Scaling Compute in Value-Based RL
arxiv.org·2d
🧩Parser Combinators
Cognition: The Devin is in the Details
swyx.io·2d·
Discuss: Hacker News, Hacker News
📊Runtime Verification