New: Online Master’s Program in Applied Ontology
dailynous.com·1d
🔗Category Theory
Flag this post
Hyperlogloglog (2016)
📊Datalog Engines
Flag this post
AI Agents vs LLMs vs RAG
analyticsvidhya.com·14h
💬Interactive REPLs
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
How Do We Evaluate the Quality of LLMs' Mathematical Responses?
lesswrong.com·2d
🔍ML Language
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
What I've been up to
🔄Bootstrapping
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·1d
🔍ML Language
Flag this post
Mind of a Mathematician (2019)
πPi Calculus
Flag this post
Automated Verification of Multi-Modal Scientific Data Integrity through Hyperdimensional Cognitive Mapping
🔤String Algorithms
Flag this post
How to Use the VALUE Function in Microsoft Excel
howtogeek.com·1d
📋Row Typing
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🔗Category Theory
Flag this post
The extra time is worth it: Use Claude (or other AI or a mix of both) to create a comprehensive instruction set for what you are trying to accomplish instead of...
💬Interactive REPLs
Flag this post
Mentally estimating log base 2
🌿Trie Variants
Flag this post
Loading...Loading more...