Note
hsu.cy·17h
🔍Archive Semantics
Flag this post
Better authentication with workload identity federation
tailscale.com·2h·
Discuss: Hacker News
🏠Homelab Federation
Flag this post
Hacking the Color BASIC PRINT command – part 6
subethasoftware.com·22h
📺VT100
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·6h
🔧Hardware Verification
Flag this post
How Remote Procedure Call Works
newsletter.systemdesign.one·1d·
Discuss: r/programming
⚡gRPC
Flag this post
LLM AuthZ Handbook: A Practical Guide for AI Builders and Users
flatt.tech·9h·
Discuss: Hacker News
🔐Capability Systems
Flag this post
GHC: From Bug to Merge
neilmitchell.blogspot.com·18h·
Discuss: Hacker News
🔤Type Theory
Flag this post
Schema changes are a people problem, not a tooling problem
motherduck.com·1h·
Discuss: Hacker News
🌊Stream Processing
Flag this post
A bestiary of single-file programming language implementations
github.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·1d·
Discuss: Hacker News
🧠Separation Logic
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·3h
🧮Theoretical Computer Science
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·23h·
Discuss: Hacker News
📏Code Metrics
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·3d·
Discuss: Hacker News
⚔️Lean Theorem
Flag this post
From Legacy to Insight: Migration Framework for Web Analytics Platforms
hackernoon.com·1d
🚚Data Migration
Flag this post
The GIL Revealed: Why Python Threading Isn't Really Parallel
dev.to·16h·
Discuss: DEV
🖥️Terminal Renaissance
Flag this post
15 Best AI Coding Assistant Tools
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Flag this post
Sguaba – hard-to-misuse rigid body transforms without worrying about algebra
github.com·3h·
Discuss: Hacker News
📊Computational Geometry
Flag this post
The Trojan Example: Jailbreaking LLMs through Template Filling and Unsafety Reasoning
arxiv.org·3d
🌐NetworkProtocols
Flag this post
Solving the Right Problem with Multi-Robot Formations
arxiv.org·12h
🔲Cellular Automata
Flag this post
The Irony of the LLM Treadmill
jamespeterson.blog·1d·
Discuss: Hacker News
🦋Format Evolution
Flag this post