My one-year-old eats books, toys, tables and even his cot
bbc.com·12h
🧸Toy Compilers
Flag this post
Smaller Surfaces
🥾Bootstrapping Strategies
Flag this post
Automated Variant Analysis & Kinship Assignment via Multi-Modal Data Fusion
✨Effect Inference
Flag this post
Cheesy dialogue between Immanuel Kant and Claude as written by Claude.
⚖️Inference Rules
Flag this post
Clone Deterministic 3D Worlds with Geometrically-Regularized World Models
arxiv.org·2d
🗺️Region Inference
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
🔗Borrowing Extensions
Flag this post
CoBia: Constructed Conversations Can Trigger Otherwise Concealed Societal Biasesin LLMs
🎮Language Ergonomics
Flag this post
Magisterium
💫Effect Systems
Flag this post
Double categories for adaptive quantum computation
arxiv.org·2d
🔗Category Theory
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
🔧API Design
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
🎲Property Testing
Flag this post
Fungus: The Befunge CPU(2015)
🌳B+ Trees
Flag this post
Rasterizer Project - Part 3: Geometry
🔀SIMD Programming
Flag this post
Testing Unnatural Prompt Engineering Across Five Large Language Models
blog.codeminer42.com·1d
🔍ML Language
Flag this post
Building UnisonDB a DynamoDB-Inspired Database in Go with 100+ Edge Replication
↔️Bidirectional Sync
Flag this post
On Epistemic Uncertainty of Visual Tokens for Object Hallucinations in LargeVision-Language Models
✨Effect Inference
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
🔬programming language theory
Flag this post
Research roundup: 6 cool science stories we almost missed
arstechnica.com·17h
🤐Zipper Structures
Flag this post
How to Use Zorn's Lemma
🔗Concatenative Theory
Flag this post
Loading...Loading more...