Building and Aligning Comparable Corpora
arxiv.org·9h
📜Digital Philology
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·23h
📝Concrete Syntax
SAT Requires Exhaustive Search
link.springer.com·16h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
A Start Of A Journey: BillsTechDeck
dev.to·3h·
Discuss: DEV
📡RSS Automation
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·6h
✅Archive Validation
Extensions and Shadows (9)
sites.psu.edu·23h
✨Effect Handlers
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·5d·
Discuss: Hacker News
📝Concrete Syntax
Quantum-RAG and PunGPT2: Advancing Low-Resource Language Generation and Retrieval for the Punjabi Language
arxiv.org·9h
🌀Brotli Internals
Relative Completeness of Incorrectness Separation Logic
arxiv.org·9h
🧠Separation Logic
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·9h
🔄Finite State Machines
LLMs - Embeddings 01
dev.to·1d·
Discuss: DEV
🧮Vector Embeddings
T-GRAG: A Dynamic GraphRAG Framework for Resolving Temporal Conflicts and Redundancy in Knowledge Retrieval
arxiv.org·9h
🔍Information Retrieval
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Harnessing Textual Semantic Priors for Knowledge Transfer and Refinement in CLIP-Driven Continual Learning
arxiv.org·9h
📊Learned Metrics
Mastering NLP with spaCy – Part 2
towardsdatascience.com·3d
📝Text Parsing
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types