Set theory with types
lawrencecpaulson.github.io·2d·
Discuss: Hacker News, Hacker News
🎯Type Theory
Flag this post
Block propagation & miner revenue, resolving multi-party protocols - Optech #381
bitcoinops.org·1d
📮Message Queues
Flag this post
Systems design 3: LLMs and the semantic revolution
apenwarr.ca·2d·
Discuss: Hacker News, Hacker News
🎨DSL Design
Flag this post
The Zero-Bullshit Protocol™ – Hallucination-Proof AI Engineering System: FREE VERSION!
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔗Hash Functions
Flag this post
🔐 Modernizing Legacy: Implementing OAuth2 in Uniface for Outlook & Gmail
community.rocketsoftware.com·2h·
Discuss: DEV
📚Stack Machines
Flag this post
Rust/Tokio vs. Go for a server side app that requires high performance/low latency.
reddit.com·12h·
Discuss: r/rust
🐹Goroutine Scheduling
Flag this post
original ↗
toast.al·1d
🔄Bootstrapping
Flag this post
Manual jailbreak chaining is not dead, it just requires context accumulation. Here is the protocol I used on Qwen-3 and Gemini 2.5.
neuralnoodle.substack.com·2d·
Discuss: r/LocalLLaMA
🛡️Security Type Systems
Flag this post
Beyond the Changelog: Engineering Your Blog for B2B Thought Leadership
getmichaelai.com·22h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
A practical guide to refactoring complex database queries in Laravel
dev.to·1d·
Discuss: DEV
🎨Domain-Specific Languages
Flag this post
Built Bittorrent in go
reddit.com·22h·
Discuss: r/golang
🤖Embedded Go
Flag this post
Zig in 30 Minutes
gist.github.com·15h·
Discuss: Hacker News
🦀MIR Optimization
Flag this post
Day 3: Type Casting - Transforming Data Types - 30 Days of Python Challenge
dev.to·2d·
Discuss: DEV
🔮Type Inference Visualization
Flag this post
Question from notation in "Hacker's Delight" by Warren
reddit.com·10h·
Discuss: r/C_Programming
∫Mathematical DSLs
Flag this post
The Secret Life of Go
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Stream of Consciousness as a Scaffolding Skill
lesswrong.com·7h
💬Interactive REPLs
Flag this post
This Ain't Yer Grandaddy's C (Tricks for Writing Gorgeous C)
spader.zone·3d·
Discuss: Hacker News
🪄C Metaprogramming
Flag this post
The Sacrilegious Coder
medium.com·11h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·1d·
Discuss: r/programming
🔗Concurrency Primitives
Flag this post