🎯 Dependent Types - matmat · Scour

A Foundation for Differentiable Logics using Dependent Type Theory

arxiv.org·1d

🔠Type-Level Programming

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

semiengineering.com·21h

🔧Hardware Verification

martianoff/gala: GALA (Go Alternative LAnguage) -- a modern functional programming language that transpiles to Go. Sealed types, pattern matching, immutability by default, monads (Option, Either, Try, Future), and full Go interop. Built with Go, ANTLR4, Bazel and Claude.

github.com·1d·

Discuss: Hacker News

🔗Concatenative Languages

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

philipzucker.com·1d

⚔️Lean Tactics

Refining Almost-Safe Value Functions on the Fly

arxiv.org·1d

🔒Type Safety

Large induced matchings and minimal blocking sets using parabolas

anuragbishnoi.wordpress.com·17h

🕸️Graph Algorithms

An AI Odyssey, Part 1: Correctness Conundrum

johndcook.com·11h

🔧Hardware Verification

Beyond Pandas: Architecting High-Performance Python Pipelines

hackernoon.com·18h

🌊Stream Processing

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

coding-mischief.com·16h·

Discuss: Hacker News

🧬Functional Programming

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

github.com·1d

🔗Functional Compilers

extended C*-algebra in nLab

ncatlab.org·18h

🧮Algebraic Archives

PEP 827 – Type Manipulation

peps.python.org·4d·

Discuss: Lobsters, Hacker News

🎯Gradual Typing

The 185-Microsecond Type Hint

blog.sturdystatistics.com·16h·

Discuss: Lobsters, Hacker News, r/programming

💧Liquid Types

A dialogue on trivial-abi and trivially relocatable

quuxplusone.github.io·1d

🦀Rust Verification

Generic methods arrive in Golang, but they weren't the top dev demand

theregister.com·21h

⬆️Lambda Lifting

Monuses and Heaps

doisinkidney.com·14h

🧮Algebraic Datatypes

Differential Logic • 15

inquiryintoinquiry.com·20h

⚔️Lean Theorem

TurboSparse: Elite Inference Speed via dReLU Sparsity

hackernoon.com·11h

🌀Brotli Dictionary

Scalar Interpolation: A Better Balance between Vector and Scalar Execution for SuperScalar Architectures

danglingpointers.substack.com·1h·

Discuss: Substack

⚡SIMD Vectorization

Lean and AI caught a bug in my 2-year-old TLA+ spec

medium.com·1d·

Discuss: Hacker News

Loading more...