🔬 Logic in Computer Science - matmat · Scour

Proof-oriented Programming in F*

fstar-lang.org·11h·

Discuss: Lobsters

Bounded Modal Logic

arxiv.org·1d

📏Linear Logic

Formal Verification Fundamentals Remain Non-Negotiable In The New Verification Revolution

semiengineering.com·8h

🔧Hardware Verification

Part 1 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System

news.ycombinator.com·1d·

Discuss: Hacker News

🔮Proof Search

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs

arxiv.org·1d

🧠Program Logic

What Agentic AI "Vibe Coding" In The Hands Of Actual Programmers / Engineers

stochasticlifestyle.com·3h

✨Effect Handlers

Proving What's Possible

buttondown.com·21h

⚖️Hoare Logic

The Seven Qualification Tests for an AI Scientist

hackernoon.com·1d

⚡Proof Automation

maja0027/xi-lang: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical completeness.

github.com·2d·

Discuss: Hacker News

💻Programming languages

Implementing 3D Graphics Basics

hackaday.com·13h

📟Terminal Physics

Python to Clojure: A Gentle Guide for Pythonistas

dev.to·7h·

Discuss: DEV

🧠Lisp Dialects

The Univalence Principle

golem.ph.utexas.edu·1d

🔶Cubical Type Theory

How ‘effectively zero-knowledge’ proofs could transform cryptography

scientificamerican.com

·1d

🔐Quantum Security

Differential Logic • 4

inquiryintoinquiry.com·4d

⚔️Lean Theorem

[TUHS] bare m4 (was BTL summmer employees)

tuhs.org·1d·

Discuss: Lobsters

🧠Lisp Dialects

Dear Agent: Prove it.

rijnard.com·11h·

Discuss: Hacker News

⚔️Lean Tactics

Peiyang-Song/Awesome-LLM-Reasoning-Failures: Repo for "Large Language Model Reasoning Failures"

github.com·23h

🎯Dependent Parsing

intersection type in nLab

ncatlab.org·2d

🧮Algebraic Datatypes

Functional Optics for Modern Java

blog.scottlogic.com·16h

💧Liquid Types

How I learnt to stop worrying and love AI

tweag.io·16h

🌳Incremental Parsing

Loading more...