Implementing a Logical Inference System for Japanese Comparatives
arxiv.org·1d
🌳Context free grammars
Issue 490
haskellweekly.news·17h
🔗Functional Compilers
Cactus Language • Mechanics 1
inquiryintoinquiry.com·10h
📝Concrete Syntax
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·12h·
Discuss: Hacker News
🌀Brotli Internals
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·20h·
Discuss: DEV
🧮Constraint SMT
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·12h
💻Local LLMs
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·16h·
Discuss: Hacker News
🔗Functional Compilers
MCP Tools: Attack Vectors and Defense Recommendations for Autonomous Agents
elastic.co·5h
🧪Protocol Fuzzing
Rapid Prototyping of Chatbots with Streamlit and Chainlit
towardsdatascience.com·15h
🎙️Whisper
DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning
nature.com·1d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
💻Local LLMs
Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
arxiv.org·1h
🧩WASM Components
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·2d
🔍Z3 Parsing
Automated Semantic Drift Detection and Mitigation in Real-Time Multimodal Data Streams
dev.to·10h·
Discuss: DEV
🌊Stream Processing
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
What I learned building a programming language with LLM agents
eddmann.com·12h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Controlling Language Difficulty in Dialogues with Linguistic Features
arxiv.org·1h
🌳Context free grammars
SteeringControl: Holistic Evaluation of Alignment Steering in LLMs
arxiv.org·1d
✨Effect Handlers
Show HN: Semlib – Semantic Data Processing
github.com·3d·
Discuss: Hacker News
🌳Incremental Parsing
Large Language Model probabilities cannot distinguish between possible and impossible language
arxiv.org·1h
💻Programming languages
Large Language Models Imitate Logical Reasoning, but at what Cost?
arxiv.org·2d
🧠Computational Logic