Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
My AI Workflow for Understanding Any Codebase
steipete.me·11h
⚡Proof Automation
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
What LLMs Know About Their Users
schneier.com·11h·
Discuss: Hacker News
💻Local LLMs
Rewriting the Ruby Parser
railsatscale.com·4d·
Discuss: Hacker News
🔗Monadic Parsing
Apps Script MCP Server
dev.to·2h·
Discuss: DEV
🔐CBOR
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·21h·
Discuss: Hacker News
🦀Rust Macros
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
How Alignment Shrinks the Generative Horizon
arxiv.org·1d
🔗Monadic Parsing
Named Entity Recognition using Bidirectional LSTM and Conditional Random Fields
dev.to·3d·
Discuss: DEV
🤖Grammar Induction
ECCoT: A Framework for Enhancing Effective Cognition via Chain of Thought in Large Language Model
arxiv.org·18h
📐Format Grammars
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·18h
🧠Intelligence Compression
LongWriter-Zero: Mastering Ultra-Long Text Generation via Reinforcement Learning
arxiv.org·1d
📝Concrete Syntax
Aligning Frozen LLMs by Reinforcement Learning: An Iterative Reweight-then-Optimize Approach
arxiv.org·1d
💻Local LLMs
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·18h
🔗Topological Sorting
Evaluating Prompt-Based and Fine-Tuned Approaches to Czech Anaphora Resolution
arxiv.org·1d
🔨Compilers
WQ42: Grounding LLMs in Wikidata Facts via Tool Calling
thottingal.in·4d·
Discuss: Hacker News
🔗Constraint Handling
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·18h
💻Local LLMs
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·1d
⚡Modern Compression
Initial Investigation of LLM-Assisted Development of Rule-Based Clinical NLP System
arxiv.org·2d
🤖Grammar Induction