PEGTL -- Parsing Expression Grammar Template Library
github.com·20h·
Discuss: Hacker News
🔗Parser Combinators
Cactus Language • Syntax 10
inquiryintoinquiry.com·3d
📝Concrete Syntax
Why Dyad?: A Perspective for Modelica Users
juliahub.com·5h·
Discuss: Hacker News
💧Liquid Types
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·15h
💻Local LLMs
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·3h
💻Local LLMs
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·15h
🔍Type Inference
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·1d
🤖Grammar Induction
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Conversational Intent-Driven GraphRAG: Enhancing Multi-Turn Dialogue Systems through Adaptive Dual-Retrieval of Flow Patterns and Context Semantics
arxiv.org·15h
🧮Prolog Parsing
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·12h·
Discuss: DEV
⚡Proof Automation
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·6h·
Discuss: DEV
🧠Machine Learning
CEGA: A Cost-Effective Approach for Graph-Based Model Extraction and Acquisition
arxiv.org·1d
🧮Prolog Parsing
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·10h·
Discuss: Hacker News
🌀Brotli Internals
End-to-End Spoken Grammatical Error Correction
arxiv.org·1d
🔍Z3 Parsing
SRFT: A Single-Stage Method with Supervised and Reinforcement Fine-Tuning for Reasoning
arxiv.org·15h
💻Local LLMs