🔬 Logic in Computer Science - matmat · Scour

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

⚔️Lean Theorem

Probabilistic Linear Logic Programming with an application to Bayesian Networks computations

arxiv.org·1d

📏Linear Logic

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🔲Cellular Automata

Conversation: LLMs and the what/how loop

martinfowler.com·15h

🧩WASM Components

Hint-Based SMT Proof Reconstruction

arxiv.org·49m

🧮SMT Solvers

Making a Language

thunderseethe.dev·7h

🛠Language Design

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·16h·

Discuss: DEV

🚀SIMD Parsing

Filtering as domain logic

blog.ploeh.dk·2d·

Discuss: r/programming

🗄️Database Internals

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·17h

📊Static Analysis

On the way to step functions: the two worlds

blog.julik.nl·2d

🐚Shell Calculus

Focus on ‘Don’ts’ to build systems that know when to say ‘No’

thenewstack.io·13h

🔗Constraint Handling

Deep learning as program synthesis

lesswrong.com·1d·

Discuss: Lobsters, Hacker News

🧠Machine Learning

Software as clay on the wheel

dri.es·1d

⚡Proof Automation

Show HN: Pikchr.pl – Make Pikchr diagrams using Prolog

github.com·1d·

Discuss: Hacker News

🧮Prolog Parsing

No Libraries No Shortcuts: Reasoning LLMs from Scratch with PyTorch — Part 2

pub.towardsai.net

·2d

Kolmogorov Complexity

en.wikipedia.org·17h·

Discuss: Hacker News

🧮Kolmogorov Complexity

Evolution of LLMs use by a programmer

asfaload.com·12h·

Discuss: Hacker News

🧩WASM Components

Rust vs C++: A Comparison

dev.to·22h·

Discuss: DEV

🦀Rust Borrowing

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·13h·

Discuss: Hacker News

🤝Unification Algorithms

Loading more...