Automatic Syntax Error Recovery (2020)
๐งError Recovery
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
๐๏ธTerm Indexing
Flag this post
Building a High-Performance Live Network Sniffer in Rust (Without Kernel Drivers)
โ๏ธTOML Parsers
Flag this post
A sample-efficient transfer learning framework for industrial remaining useful life prediction leveraging large language models
sciencedirect.comยท17h
๐ชRecursive Descent
Flag this post
Learning Tractable Distributions Of Language Model Continuations
arxiv.orgยท2d
๐LR Parsing
Flag this post
FAWK: LLMs can write a language interpreter
๐ชOCaml
Flag this post
Mastering Transformer Architecture: Handling Long Context with Positional Encoding (PE)
pub.towardsai.netยท12h
๐LR Parsing
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท9h
๐๏ธType Indexing
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.orgยท1d
๐ฏFinite Automata
Flag this post
The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
original โ
zylstra.orgยท7h
๐ฒTree-sitter
Flag this post
10000
jro.sgยท18h
๐ฆExecutable Size
Flag this post
Building an AWS-Based RAG Pipeline
๐JSON Parsing
Flag this post
How LLM Inference Works
arpitbhayani.meยท1d
๐Tokenizer Performance
Flag this post
Show HN: LexiForge โ Auto-generate vocabulary flashcards from Kindle lookups
๐ฟTrie Structures
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
Loading...Loading more...