Generative Interfaces for Language Models
arxiv.org·11h
⚙️Parser Generators
The Grammar According to West
dwest.web.illinois.edu·1h·
Discuss: Hacker News
🔬Lean
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·20h·
Discuss: Hacker News
🧮Algebraic Datatypes
Research, Review, Rebuild: Intelligent Modernisation with MCP and Strategic Prompting
martinfowler.com·53m
🦋Format Metamorphosis
Next‑Gen Chatbots: Extending Chat with MCP
dev.to·22h·
Discuss: DEV
🎙️Whisper
Dependent types I › Universes, or types of types
jonmsterling.com·8h·
Discuss: Hacker News
🔤Type Theory
Deep learning reveals antibiotics in the archaeal proteome
nature.com·48m·
Discuss: Hacker News
⚙️ABNF Mining
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Implementing Forth in Go and C
eli.thegreenplace.net·11h·
Discuss: Lobsters, Hacker News, Hacker News
🔗Concatenative Programming
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.org·15h·
Discuss: Hacker News
🚀SIMD Text Processing
Understanding Tool-Integrated Reasoning
arxiv.org·11h
🔗Constraint Handling
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·1d
📐Geometric Hashing
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·20h·
Discuss: Hacker News
🔗Constraint Handling
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
PRISM: Robust VLM Alignment with Principled Reasoning for Integrated Safety in Multimodality
arxiv.org·11h
💻Local LLMs
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·23h
⬆️Lambda Lifting
A Review of Developmental Interpretability in Large Language Models
arxiv.org·2d
🤖Grammar Induction
Cetvel: A Unified Benchmark for Evaluating Language Understanding, Generation and Cultural Capacity of LLMs for Turkish
arxiv.org·2d
🔍Z3 Parsing
Capture Checking in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing