Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

Machine Scheduler in LLVM – Part II
myhsu.xyz·1d·
💾Register Pressure
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·2d
🪢Rope Data Structures
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·1d
🏺Code Archeology
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·12h·
Discuss: Hacker News
📦Monorepos
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·10h·
Discuss: Hacker News
🔮Metacircular Evaluators
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·3d·
Discuss: Hacker News
🌳B+ Trees
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·4d
⚖️Inference Rules
Flag this post
7 Proven Core Web Vitals Optimization Patterns That Boost Performance and User Experience
dev.to·5h·
Discuss: DEV
🛡️Error Ergonomics
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·1d·
Discuss: DEV
🏗️Minimal Compilers
Flag this post
Weekly Bookmarks
inkdroid.org·22h
🏠indieweb
Flag this post
Live Conversational Threads: Not an AI Notetaker
lesswrong.com·23h
💬Interactive REPLs
Flag this post
Indexers in C# — Making Your Classes Feel Like Arrays
dev.to·2d·
Discuss: DEV
🗂️Type Indexing
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·12h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
A toy model of corrigibility
lesswrong.com·1d
🚂Error Propagation
Flag this post
Reverse Engineering Googles BotGuard
github.com·7h·
Discuss: Hacker News
📜Bytecode Interpreters
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·22h
🌱Minimal ML
Flag this post
Simple rule of thumb for deciding code architecture?
reddit.com·6h·
Discuss: r/godot
📚Self-Documenting Code
Flag this post
The Art of Luminous Code: A Journey with Dynamic `import()` in Node.js
dev.to·4h·
Discuss: DEV
🌪️V8 Pipeline
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·18h·
Discuss: DEV
🧩SAT Solvers
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·4d
📚Stack Allocation
Flag this post