Jordan triple system
ncatlab.org·2d
📐Linear Algebra
Flag this post
Skeena Indigenous Typeface
microsoft.github.io·21h·
Discuss: Lobsters, Hacker News
🔤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
wyounas.github.io·1d·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·1h·
Discuss: Hacker News
🤝Distributed Consensus
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·3h·
Discuss: Hacker News
🧬PostgreSQL Forensics
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·4h·
Discuss: Hacker News
🔗Topological Sorting
Flag this post
Deep Neural Watermarking for Robust Copyright Protection in 3D Point Clouds
arxiv.org·14h
📐Geometric Hashing
Flag this post
🚀 Exploring Go’s Core Features in Depth
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
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
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Flag this post
ClipTagger-12B VLM: Frame Captioning Tutorial
dev.to·1d·
Discuss: DEV
🎬WebCodecs API
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·13h·
Discuss: DEV
📝Concrete Syntax
Flag this post
Building a Scalable API Event Logger using Pub/Sub, and BigQuery
dev.to·5h·
Discuss: DEV
⚡gRPC
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
Python Coding Challenges: FizzBuzz, String Equality, and Heterogram Checks for Beginners
dev.to·1d·
Discuss: DEV
🧪Binary Fuzzing
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.to·1d·
Discuss: DEV
🗂️Vector Search
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·3d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Chain of Pattern: Rethink
dev.to·23h·
Discuss: DEV
📏Code Metrics
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·2d·
Discuss: Lobsters, Hacker News
📐Mathematical Art
Flag this post