🏗️ Calculus of Constructions - abnv · Scour

A Foundation for Differentiable Logics using Dependent Type Theory

arxiv.org·23h

🔍Type Inference

Completing the formal proof of higher-dimensional sphere packing

math.inc·9h·

Discuss: Hacker News

🧮Combinator Calculus

type++: Prohibiting Type Confusion with Inline Type Information

papers.cool·1d

🔮Type Inference Visualization

G\"odel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication

arxiv.org·23h

🔬Hindley-Milner

extended C*-algebra in nLab

ncatlab.org·8h

🔗Category Theory

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

📚Forth Compilers

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮Theorem Provers

SOLID in FP: Liskov Substitution, or The Principle That Was Never About Inheritance

cekrem.github.io·1d·

Discuss: Hacker News, r/programming

🚀Hindley-Milner+

data-structure-typed: A Modern Data Structures Library for TypeScript

dev.to·20h·

Discuss: DEV

🪢Rope Data Structures

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·6h·

Discuss: Hacker News

🤐Zipper Structures

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·11h

📈Monotonic Logic

`derive_parser` – Automatically derive a parser from your syntax tree

github.com·18h·

Discuss: r/rust

🦀Rust Macros

Maximally minimal specialization: always applicable impls

smallcultfollowing.com·15h

⚡Partial Evaluation

Tsonnet #31 - Taking back control of equality

dev.to·7h·

Discuss: DEV

🔗Lexical Scoping

Differential Logic • 15

inquiryintoinquiry.com·10h

🧩Constraint Logic

Structured Outputs for LLMs

ternarysearch.blogspot.com·21h·

Discuss: Hacker News, ternarysearch.blogspot.com

🪜Recursive Descent

Error Handling Strategies for Probabilistic Code Execution

sitepoint.com·8h

🚂Error Propagation

FGRPO: Fine-grained reasoning preference optimization with iterative stabilization for mathematical reasoning in large language model

sciencedirect.com·1d

🎯Constraint Solving

Programming in K

news.ycombinator.com·1d·

Discuss: Hacker News

🔢Algebraic Datatypes

What every computer science major should know

matt.might.net·4h·

Discuss: Hacker News

📖Literate Programming

Loading more...