🔗 Dependent Types - nmarshall · Scour

Functional Programming in Lean - Functional Programming in Lean ∀Lean4

leanprover.github.io·3d·Hacker News

Scope Graphs – A Theory of Name Resolution 📝Parser Combinators

pl.ewi.tudelft.nl·32m·Hacker News

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

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

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

veryl-lang.org·14h·Hacker News

Untyped, on Purpose 🔄C to Rust Translation

intertwingly.net·2d·Hacker News

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

federicobruzzone.github.io·18h·Hacker News

Groth16, Intuitively ∀Lean4

blog.zksecurity.xyz·1h·Lobsters, Hacker News, r/crypto

From Convergence to Confidence: Push-Button Verification for RDTs ∀Lean4

kcsrk.info·3d·Hacker News, Hacker News

Blessed Syntax and Ergonomics λFunctional Programming

gingerbill.org·2d·Lobsters, Hacker News, r/programming

Dotcl: Common Lisp Implementation on .NET 📐TLA+

github.com·23h·Hacker News

Forging ZK proofs to mint arbitrary DUSK tokens ∀Lean4

osec.io·21h·Hacker News

The Tiny Languages of Task Runners ⚙️LLVM

massicotte.org·5h·Hacker News

Vector, the Journal of the British APL Association 🔄Finite Automata

web.archive.org·1d·Hacker News

dmiller-fork/libkr: A library of the examples from the c programming language by Kernighan and Ritchie λFunctional Programming

github.com·3d·Hacker News

Haskell: Debugging 🦀Rust Macros

wiki.haskell.org·21h·Hacker News

A Letter from Dijkstra on APL ∀Lean4

jsoftware.com·4h·Hacker News

MappingEvolve: LLM-Driven Code Evolution for Technology Mapping ⚙️LLVM

Reinforced Agent: Inference-Time Feedback for Tool-Calling Agents 🤖Reinforcement Learning

machinelearning.apple.com·16h

OpenSenseNova/SenseNova-U1: SenseNova-U series: Native Unified Paradigm with NEO-Unify from the First Principles 🎨Generative Art

github.com·1h·Hacker News

applications of (higher) category theory in nLab λFunctional Programming

ncatlab.org·5d

Log in to enable infinite scrolling