A Pattern Language for Pattern Languages
mcqn.netยท7h
๐Backus-Naur Form
Flag this post
Learning Tractable Distributions Of Language Model Continuations
arxiv.orgยท2d
๐LR Parsing
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท9h
๐๏ธType Indexing
Flag this post
Title: New Chapter Published: Minimization of Finite Automata โ A deeper look into efficient automaton design
๐ฏFinite Automata
Flag this post
The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
<p>**์๋ก ** ํ์ฑ์ ์ ์ฒดํ์ DNA ์ผ๊ธฐ์์ด ๋ณํ ์์ด ์ ์ ์ ๋ฐํ์ ์กฐ์ ํ๋ ๋ฉ์ปค๋์ฆ์ ์ฐ๊ตฌํ๋ ๋ถ์ผ์ด๋ฉฐ, ATAC-seq (Assay for Transposase-Accessible Chromatin using sequencing)์ ChIP-seq (Chromatin Immun...
freederia.comยท1d
โกTokenizer Optimization
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
๐๏ธTerm Indexing
Flag this post
Infix Versus Prefix Operators
irreal.orgยท15h
๐ญDelimited Continuations
Flag this post
10000
jro.sgยท18h
๐ฆExecutable Size
Flag this post
Automatic Syntax Error Recovery (2020)
๐งError Recovery
Flag this post
Inside ChatGPT: Deconstructing "Attention Is All You Need" (Part 1)
๐ชRecursive Descent
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
Discovering physical laws with parallel symbolic enumeration
nature.comยท1d
๐ML Language
Flag this post
How Rams defense shut down Sam Darnold, Seahawks elite passing offense: Watch
nytimes.comยท15h
๐งฎLinear Algebra
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.orgยท1d
๐ฏFinite Automata
Flag this post
A small fine-tune of Gemma 3 4B focused on translation and text transformation
๐คLanguage Tokenizers
Flag this post
Loading...Loading more...