Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·9h
🌳Context free grammars
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·1d
💻Programming languages
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Building Readable AI Agents: From Spaghetti Code to Human-Friendly Logic
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Hierarchical Modeling (H-Nets)
cartesia.ai·4h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
A distributed systems reliability glossary
antithesis.com·9h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Porting a Cross-Disciplinary Text Mining Course Online Using Innovative Engagement Techniques
hackernoon.com·9h
🤖Grammar Induction
Billions of Edges per Second with Postgres
onesparse.com·5h·
Discuss: Hacker News
🗜️Graph Compression
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·7h
🧮Kolmogorov Bounds
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2h·
Discuss: Hacker News
🎯Interactive Provers
Bibliographical cornucopia for linguists, part 1
languagelog.ldc.upenn.edu·1d
📼Cassette Linguistics
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·1d·
Discuss: r/programming
✅Format Verification
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·20h
✨Effect Handlers
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
Ilion Framework: A Public Layer for Semantic Alignment with Truth
zenodo.org·2d·
Discuss: Hacker News
⟷Bidirectional Programming
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·3d·
Discuss: Hacker News
💻Programming languages