Linkage
11011110.github.io·7h
🪢Rope Data Structures
Flag this post
The Structure of Data
🪢Rope Data Structures
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·2d
📋Backus-Naur Form
Flag this post
Causal graph inference with adaptive dynamic structure learning for mechanism-oriented fault diagnosis in dynamic industrial systems
sciencedirect.com·1d
🔗Graph Rewriting
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
How I solved nutrition aligned to diet problem using vector database
🎓Educational Databases
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·8h
⚖️Inference Rules
Flag this post
Friday 21 November - 11am
informatics.ed.ac.uk·1d
🔍ML Language
Flag this post
If A is a Matrix, what is sin(A)?
pub.towardsai.net·2d
🧮Linear Algebra
Flag this post
The Abode of Salvation
🐹Minimal Go
Flag this post
How to Use Zorn's Lemma
🔗Concatenative Theory
Flag this post
Automated Verification of Multi-Modal Scientific Data Integrity through Hyperdimensional Cognitive Mapping
🔤String Algorithms
Flag this post
CodePlot-CoT: Mathematical Visual Reasoning by Thinking with Code-Driven Images
🎓Educational Compilers
Flag this post
Advances In Formal Verification Technology
semiengineering.com·1d
🧩SAT Solvers
Flag this post
Mind of a Mathematician (2019)
πPi Calculus
Flag this post
Hyperlogloglog (2016)
📊Datalog Engines
Flag this post
Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
How Do We Evaluate the Quality of LLMs' Mathematical Responses?
lesswrong.com·2d
🔍ML Language
Flag this post
Dolphins, GM Chris Grier agree to part ways amid Miami's ugly start to season
nytimes.com·14h
🐍lisp
Flag this post
Loading...Loading more...