🔗 Dependent Types - nmarshall · Scour

DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory λFunctional Programming

Getting Started With Provide/Inject In Vue.js 🎨Design Systems

certificates.dev·1d

What’s New To Streaming: April 30, 2026 🌊Event Streaming

crimereads.com·3h

Starmer on the Ropes Over Questions of Dishonesty ∀Lean4

novaramedia.com·2d

Lee Zii Jia Comes To The Rescue, Saves Malaysia In Thomas Cup Opener Against England 🧩Constraint Programming

weirdkaya.com·5d

China’s expanding global campaign to silence dissent across borders 🌍Geopolitics

weeklyblitz.net·1d

‘Masters of the Universe’: Nicholas Galitzine, Camila Mendes and Idris Elba Star in Save the Children PSA (EXCLUSIVE) 🧠AI

variety.com·3d

Scope Graphs – A Theory of Name Resolution 📝Parser Combinators

pl.ewi.tudelft.nl·1h·Hacker News

Introduction 📝Parser Combinators

tree-sitter.github.io·3h

Kersti Kaljulaid ousted as Estonian Olympic Committee president after bitter revolt 💪Fitness

estonianworld.com·4d

sum_ (3) Linux Manual Page 🦀Rust Macros

systutorials.com·23h

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence 🔢Homomorphic Encryption

Document type inference 🎭Gradual Typing

A nine-point checklist for shipping production-ready AI 🤖AI Coding Tools

thenewstack.io·23h

Veryl 0.20.0: logic synthesis and type inference are supported 📐TLA+

veryl-lang.org·15h·Hacker News

The Mutable Value Semantics (MVS): A Non-Superficial Study λFunctional Programming

federicobruzzone.github.io·19h·Hacker News

Issue 522 λFunctional Programming

haskellweekly.news·1d

Add typed language docs and help flag 🎭Gradual Typing

Functional Programmers need to take a look at Zig. ⚙️Zig

pure-systems.org·1d·Lobsters, Hacker News, Hacker News, r/functionalprogramming

Functional Programming in Lean - Functional Programming in Lean ∀Lean4

leanprover.github.io·3d·Hacker News

Log in to enable infinite scrolling