A Pattern Language for Pattern Languages
mcqn.netยท6h
๐Backus-Naur Form
Flag this post
The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
Discovering physical laws with parallel symbolic enumeration
nature.comยท1d
๐ML Language
Flag this post
Weekly Bookmarks
inkdroid.orgยท51m
๐ชขRope Data Structures
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท8h
๐๏ธType Indexing
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ยท22h
โ๏ธInference Rules
Flag this post
We built a worldโclass reranker for RAG
๐๏ธMLIR
Flag this post
September 2024 Progress in Guaranteed Safe AI
lesswrong.comยท2d
๐บ๏ธRegion Inference
Flag this post
Pitch Multiplication (2017)
๐ถLattice Theory
Flag this post
My code is 100% AI generated
jda.bearblog.devยท12h
๐Self-Documenting Code
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.comยท23h
๐ฎType Inference Visualization
Flag this post
Global Optimization: Finding the Needle in a Haystack โ Faster by Arvind Sundararajan
๐Search Algorithms
Flag this post
FAWK: LLMs can write a language interpreter
๐ชOCaml
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
๐Row Typing
Flag this post
Loading...Loading more...