🧠 Computational Logic - matmat · Scour

PART III - Assertions and their use

⚖️Constraint CHR

ciao-lang.org··Lobsters

Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection

🧮Constraint Solvers Academic

Introducing Soteria: A New Generation of Static Analysis for Rust

🔒Type Safety Blog

soteria-tools.com··Hacker News

Proof System Timelines

📐Proof Assistants Blog

Declarative DSLs for Janet

🧮Datalog Engines

codeberg.org··Hacker News

Nontrailing separators do not spark joy

🔗Constraint Handling News

Computer Things via buttondown.com··Lobsters

RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching

🔗Constraint Handling

System Definition Brings Software Engineering to AI Coding

🔗Constraint Handling

hackernoon.com·

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

🧬Functional Programming Code

Property-based testing | Liam DeVoe

🧪Property-Based Testing

tybug.dev··Hacker News

Open source building blocks for computational design. Est. 2006

🕸Linked data

thi.ng··Hacker News

Less-relevant results

The new Intel Arc G3-powered MSI Claw 8 EX AI+ makes my Steam Deck look like a Happy Meal toy by comparison — it’s time for an upgrade

🧮Constraint Solvers

·

A Study of Parallel Continuous Local Search

⚡Parallel Computing Academic

Win16 Memory Management | OS/2 Museum

⚡Performance Tools

os2museum.com··Lobsters, Hacker News

Event Calculus Meets Hybrid ASP

📏Linear Logic Academic

Geeoon/Fault-Injection-Finder: For Spring 2026 EE 470

🔍RISC-V Forensics Code

github.com··Hacker News

Policy Description Language for Authorization using Logic-Based Programming

⚖️Constraint Logic Academic

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling