Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
Home - Lapwing for Beginners
lapwing.aerick.ca·22h
λLambda Formalization
Flag this post
Notes for November 17-22
taoofmac.com·10h
🌀Brotli Internals
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
⚙️PL Implementation
Flag this post
LLM on AWS with Bedrock and Understanding Non-Determinism in Generative Models
💻Local LLMs
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🦀Rust Macros
Flag this post
Building Tornago: A Go Library for Tor Integration Born from Fraud Prevention Needs
🧅Tor Networks
Flag this post
eBPF Rootkit
🛡️eBPF Security
Flag this post
CBOR vs. the Other Guys
📋Protocol Buffers
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
✅Format Verification
Flag this post
GCC Steering Committee Allows New Language Front-End To Land For GCC 16
phoronix.com·6h
🐚Bash FP
Flag this post
Building GreenGovRAG
🔄Archival Workflows
Flag this post
The Secret Life of Go
🎯Gradual Typing
Flag this post
Loading...Loading more...