How healthcare facilities can prepare their data for AI-assisted contract management
businessinsider.com·4h
🔄Archival Workflows
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·6h
💻Local LLMs
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Is SPL more difficult or easier than SQL?
github.com·13h·
Discuss: Hacker News
⛏️SQL Archaeology
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·1d·
Discuss: Hacker News
🤖Archive Automation
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·4h·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·1d
🔗Monadic Parsing
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
👑Coq Tactics
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·1d
🔍Type Inference
RL for Reasoning by Adaptively Revealing Rationales
arxiv.org·1d
🤖Grammar Induction
Encouraging the use of LLMs made interviews easier (for us as interviewers)
danieltan.weblog.lol·13h·
Discuss: Hacker News
📐Proof Assistants
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·7h·
Discuss: Substack
🦀Rust Macros
LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning
arxiv.org·2d
✓Automated Theorem Proving
Explaining software and computational methods
blog.khinsen.net·22h·
Discuss: Hacker News
📝Concrete Syntax