🔗 Constraint Handling - matmat · Scour

Tutorial on Reasoning for IR & IR for Reasoning

arxiv.org·11h

🧠Computational Logic

Logic for Programmers New Release and Next Steps

buttondown.com·2h

⚙️Proof Engineering

QT4 grammar explorer

so.nwalsh.com·3h

📝Parsing Grammars

Pascal-J/type-system-j: adds an optional type system to J language

github.com·19h·

Discuss: Lobsters

🎯Gradual Typing

Using Agents to Scale Harvey’s Knowledge Sources

harvey.ai·1d·

Discuss: Hacker News

⚡Proof Automation

Differential Logic • Overview

inquiryintoinquiry.com·1d

📏Linear Logic

A State-Transition Framework for Efficient LLM Reasoning

arxiv.org·1d

🧮Prolog Parsing

Plan–Code–Execute: Designing Agents That Create Their Own Tools

towardsdatascience.com·4h

⚡Proof Automation

The Thinking Machines: How AI Learned to Reason Step-by-Step

dev.to·1d·

Discuss: DEV

🧠Computational Logic

7 Advanced Feature Engineering Tricks Using LLM Embeddings

machinelearningmastery.com·1d

🧮Vector Embeddings

How I Program with LLMs

blog.wesleyabbey.io·2h·

Discuss: Hacker News

⚔️Lean Tactics

Words are minimum-viable coordination tools

invertedpassion.com·11h

💻Programming languages

CodeSOD: A Percise Parser

thedailywtf.com·1d

🌳Incremental Parsing

Mental Math: Advanced Multiplication, Part 2

denisegaskins.com·2h

⚔️Lean Tactics

Stop Torturing Your Data: How to Automate Rigor With AI

hackernoon.com·18h

⚡Proof Automation

Data Integration

databricks.com·21h

🚚Data Migration

The Engineer's Guide to Elastic Detections as Code

elastic.co·16h

✅Archive Validation

Show HN: 32KB deductive engine that catches LLM hallucinations

news.ycombinator.com·6h·

Discuss: Hacker News

Simple vanilla restaurant booking system

vanillife.substack.com·7h·

Discuss: Substack

🧬PostgreSQL Forensics

Sampling the Oxford CS Library

blog.computationalcomplexity.org·5h·

Discuss: blog.computationalcomplexity.org

⛏️Proof Mining

Loading more...