Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Building and Aligning Comparable Corpora
arxiv.org·7h
📜Digital Philology
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·22h
📝Concrete Syntax
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
SAT Requires Exhaustive Search
link.springer.com·15h·
Discuss: Hacker News
🧮Kolmogorov Complexity
LLMs - Embeddings 01
dev.to·1d·
Discuss: DEV
🧮Vector Embeddings
Filtering with Self-Attention and Storing with MLP: One-Layer Transformers Can Provably Acquire and Extract Knowledge
arxiv.org·7h
🧠Machine Learning
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·5d·
Discuss: Lobsters, r/programming
🔗Parser Combinators
The Generativity Pattern in Rust
arhan.sh·17h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·4h
✅Archive Validation
Issue 483
haskellweekly.news·4d
🔗Functional Compilers
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Quantum-RAG and PunGPT2: Advancing Low-Resource Language Generation and Retrieval for the Punjabi Language
arxiv.org·7h
🌀Brotli Internals
Mastering NLP with spaCy – Part 2
towardsdatascience.com·3d
📝Text Parsing
Briefly explained: What's behind the buzzword AI agents
heise.de·1d
🎙️Whisper
HeQ: a Large and Diverse Hebrew Reading Comprehension Benchmark
arxiv.org·7h
🔍Information Retrieval
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·4d·
Discuss: Hacker News
📝Concrete Syntax
AI-Generated Text is Non-Stationary: Detection via Temporal Tomography
arxiv.org·7h
📊Document Wavelets