Implementing a Logical Inference System for Japanese Comparatives
arxiv.org·21h
🌳Context free grammars
Issue 490
haskellweekly.news·13h
🔗Functional Compilers
Cactus Language • Mechanics 1
inquiryintoinquiry.com·6h
📝Concrete Syntax
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·8h·
Discuss: Hacker News
🌀Brotli Internals
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·16h·
Discuss: DEV
🧮Constraint SMT
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·8h
💻Local LLMs
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·12h·
Discuss: Hacker News
🔗Functional Compilers
MCP Tools: Attack Vectors and Defense Recommendations for Autonomous Agents
elastic.co·1h
🧪Protocol Fuzzing
Rapid Prototyping of Chatbots with Streamlit and Chainlit
towardsdatascience.com·11h
🎙️Whisper
DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning
nature.com·1d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
💻Local LLMs
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·1d
🔍Z3 Parsing
Automated Semantic Drift Detection and Mitigation in Real-Time Multimodal Data Streams
dev.to·6h·
Discuss: DEV
🌊Stream Processing
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
Authorizing access to data with RAG implementations
aws.amazon.com·1h
🔐Capability Systems
haskell/mtl
github.com·23h
🔗Functional Compilers
What I learned building a programming language with LLM agents
eddmann.com·8h·
Discuss: Hacker News
🗣️Domain-Specific Languages
SteeringControl: Holistic Evaluation of Alignment Steering in LLMs
arxiv.org·21h
✨Effect Handlers
Show HN: Semlib – Semantic Data Processing
github.com·3d·
Discuss: Hacker News
🌳Incremental Parsing
Large Language Models Imitate Logical Reasoning, but at what Cost?
arxiv.org·1d
🧠Computational Logic
Teaching LLMs to Plan: Logical Chain-of-Thought Instruction Tuning for Symbolic Planning
arxiv.org·21h
🧠Computational Logic