AWK technical notes (2023)
🐚Shell Languages
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
🗃️Query Compilation
Flag this post
Magisterium
💫Effect Systems
Flag this post
Reason About Intelligence, Not AI
lesswrong.com·5h
⚖️Inference Rules
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
✨Gleam
Flag this post
Linkage
11011110.github.io·2d
🪢Rope Data Structures
Flag this post
A toy model of corrigibility
lesswrong.com·6h
🚂Error Propagation
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🔶Lattice Theory
Flag this post
I built a symbolic reasoning system without language or training data. I’m neurodivergent and not a developer — just hoping someone can tell me if this makes se...
🎯Finite Automata
Flag this post
Reflection for Aggregates (2020)
🗂️Type Indexing
Flag this post
Qwen3 VL 30b a3b is pure love
💬Smalltalk VMs
Flag this post
Loading...Loading more...