Symmetry Solved: Lightning-Fast Algorithms Unlock New Optimization Possibilities
๐จGraph Coloring
Flag this post
A Pattern Language for Pattern Languages
mcqn.netยท7h
๐Backus-Naur Form
Flag this post
The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.comยท2d
๐Monotonic Logic
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
๐๏ธTerm Indexing
Flag this post
Langโs theorem โ Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท10h
๐งฎCombinator Calculus
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.comยท23h
โ๏ธInference Rules
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท9h
๐๏ธType Indexing
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.orgยท2d
๐ชRecursive Descent
Flag this post
Discovering physical laws with parallel symbolic enumeration
nature.comยท1d
๐ML Language
Flag this post
Beyond the Changelog: Engineering Your Blog for B2B Thought Leadership
๐ฎLanguage Ergonomics
Flag this post
Cross-referencing code and specs for maintainability (2024-03-21)
๐กNetwork Serialization
Flag this post
Is Matrix Multiplication Ugly?
๐ซEffect Systems
Flag this post
Meditations on geometric packing
shvbsle.inยท21h
๐Effect Rows
Flag this post
10000
jro.sgยท18h
๐ฆExecutable Size
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
๐ฑMinimal Interpreters
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
๐ญProgram Synthesis
Flag this post
FAWK: LLMs can write a language interpreter
๐ชOCaml
Flag this post
Pitch Multiplication (2017)
๐ถLattice Theory
Flag this post
Loading...Loading more...