Tag
A curated collection of counterexamples that demonstrate limitations and pitfalls in type systems, serving as an educational resource for programmers and language designers.
A tweet by @julien_c sharing a link to a post, likely about a tech insight or idea.
Curated list of 35 useful websites covering productivity, design, coding, security, and more.
A curated GitHub repository containing a comprehensive mind map and reference collection covering software architecture terminology, cloud computing, data science, and developer resources.
A comprehensive book explaining data compression techniques including information theory, coding methods, modeling, and transforms, targeting programmers with math skills.
Recommend an article that compiles the best high-quality AI sources on the web, and suggest using Codex and Obsidian to compile an index directory for future AI search of quality information.
Comprehensive notes on Datalog: what it is, how to implement it in various languages, and its applications in program analysis, with code examples and resources.
A side-by-side reference sheet comparing syntax and features of Common Lisp, Racket, Clojure, and Emacs Lisp.
The author compiled a glossary of confusing LLM terms with production-oriented explanations, cleaned it up, and open-sourced it as a browsable UI on GitHub.
A searchable, cross-referenced and annotated online edition of the 1911 Encyclopædia Britannica.
A curated list of 56 software engineering laws aimed at junior developers, available at lawsofsoftwareengineering.com.
A curated web collection of 56 software-engineering laws and principles for systems, teams and decisions.