Jordan triple system
ncatlab.org·2d
📐Linear Algebra
Flag this post
Skeena Indigenous Typeface
🔤Swedish Fonts
Flag this post
A Short Introduction to Categorical Logic
youtube.com·4d
🔀Category Theory
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
📡Network Protocol Design
Flag this post
Deep Neural Watermarking for Robust Copyright Protection in 3D Point Clouds
arxiv.org·14h
📐Geometric Hashing
Flag this post
Expressive Range Characterization of Open Text-to-Audio Models
arxiv.org·14h
👂Psychoacoustic Coding
Flag this post
This is one way I use AI for coding
⚡Proof Automation
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
🧠Intelligence Compression
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
🧪Binary Fuzzing
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
🗂️Vector Search
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
🧠Lisp Dialects
Flag this post
Chain of Pattern: Rethink
📏Code Metrics
Flag this post
Loading...Loading more...