LLM-Powered Query Processing: From Natural Language to Tool Execution
dev.to·9h·
Discuss: DEV
⚡Proof Automation
LLM-Deflate: Extracting LLMs into Datasets
scalarlm.com·2h·
Discuss: Hacker News
💻Local LLMs
Isabelle rule musings
blueberrywren.dev·1d
🎯Proof Tactics
Cactus Language • Mechanics 1
inquiryintoinquiry.com·1d
📝Concrete Syntax
Authorizing access to data with RAG implementations
aws.amazon.com·1d
🔐Capability Systems
Implementing a Logical Inference System for Japanese Comparatives
arxiv.org·2d
🧮Prolog Parsing
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·2d·
Discuss: DEV
🧮Constraint SMT
Learning languages with the help of algorithms
johndcook.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Issue 490
haskellweekly.news·1d
🔗Functional Compilers
Latent trees
languagelog.ldc.upenn.edu·21h
🤖Grammar Induction
Underrated Postgres: Build Multi-Tenancy with Row-Level Security
simplyblock.io·2d·
Discuss: Hacker News
🔐CBOR
5 Factors for Predictable Autonomy With Agentic AI
thenewstack.io·19h
⚙️TLA+
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·1d
💻Local LLMs
System Instruction Fixed Point
funcall.blogspot.com·3d·
Discuss: www.blogger.com
⚡Proof Automation
MCP Tools: Attack Vectors and Defense Recommendations for Autonomous Agents
elastic.co·1d
🧪Protocol Fuzzing
Unlocking the Power of Vector Databases and AI Search: A Comprehensive Guide 🚀
dev.to·5h·
Discuss: DEV
🗂️Vector Search
Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
arxiv.org·1d
🧩WASM Components
HTML, the Programming Language
html-lang.org·16h·
Discuss: Hacker News
🔗Concatenative Programming
If you are good at code review, you will be good at using AI agents
seangoedecke.com·9h·
Discuss: Hacker News
⚡Proof Automation
Three Meanings of Effects
burakemir.ch·16h·
Discuss: Hacker News
✨Effect Handlers