IASC: Interactive Agentic System for ConLangs
arxiv.org·1h
📋Document Grammar
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
Cactus Language • Semantics 2
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·16h·
Discuss: Hacker News
🔗Constraint Handling
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1h
🔗Graph Isomorphism
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·16h
⚡Proof Automation
LINQ and Learning to Be Declarative
nickstambaugh.dev·14h·
Discuss: Hacker News
🔗Concatenative Programming
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·17h
λLambda Encodings
Title: The Complexity of ChatGPT's Model Picker: A Comprehensive Analysis
dev.to·5h·
Discuss: DEV
🔍Type Inference
Haskell Weekly Issue 493
haskellweekly.news·19h·
Discuss: Hacker News
🧬Functional Programming
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1h
⛪Church Encoding
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·1h
💻Local LLMs
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·3h·
Discuss: r/programming
✅Format Verification
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·9h·
Discuss: Hacker News
🔗Lisp
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🔨Compilers
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·1d·
Discuss: Hacker News
🔒Language-based security
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1h
🔗Parser Combinators
Reviving Lost Tongues: AI-Powered Grammar for Language Preservation
dev.to·2d·
Discuss: DEV
🧮Prolog Parsing
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·1h
💻Programming languages