🔗 Dependent Types - nmarshall · Scour

Functional Programming in Lean - Functional Programming in Lean ∀Lean4

leanprover.github.io·3d·Hacker News

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

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

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

veryl-lang.org·11h·Hacker News

The Tiny Languages of Task Runners ⚙️LLVM

massicotte.org·3h·Hacker News

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

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

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

federicobruzzone.github.io·15h·Hacker News

A Letter from Dijkstra on APL ∀Lean4

jsoftware.com·1h·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

Untyped, on Purpose 🔄C to Rust Translation

intertwingly.net·2d·Hacker News

Dotcl: Common Lisp Implementation on .NET 📐TLA+

github.com·21h·Hacker News

Forging ZK proofs to mint arbitrary DUSK tokens ∀Lean4

osec.io·18h·Hacker News

Blessed Syntax and Ergonomics λFunctional Programming

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

Sum-Check as an Algebraic Tensor Reduction: Part 1 ∀Lean4

blog.zksecurity.xyz·4d·Hacker News

Haskell: Debugging 🦀Rust Macros

wiki.haskell.org·19h·Hacker News

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

web.archive.org·1d·Hacker News

Managing dependencies in non-manifest languages 🔨Build Systems

news.ycombinator.com·16h·Hacker News

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

ncatlab.org·5d

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

Highline: Ruby gem for a higher level command-line oriented interface 🐚Shell Scripting

github.com·20h·Hacker News

Changes, New Features, and Fixes 🔨Compilers

gcc.gnu.org·1d·Lobsters, Hacker News, r/cpp

Log in to enable infinite scrolling