🔗 Dependent Types - nmarshall · Scour

Soppo language: Go, with the features it's missing 🎮Godot

soppolang.dev·21h·Hacker News

These French Pantry Staples Make Classic Meals Easy to Pull Off 📅Meal Planning

seriouseats.com·4d

mm0/mm0-rs/mmc.md at master λFunctional Programming

github.com·1d·Hacker News

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·23h·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) ∀Lean4

pvk.ca·1d·Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp λFunctional Programming

jointhefreeworld.org·22h·Lobsters, Hacker News

A Gradual Probabilistic Lambda Calculus 🎯Hindley-Milner

arxiv.org·3d

Giving LLMs a Formal Reasoning Engine for Code Analysis ∀Lean4

yogthos.net·2d·Lobsters, Hacker News

A language where you describe the system and the compiler verifies it 📐TLA+

spine-lang.org·20h·Hacker News

But what about K? 🎭Gradual Typing

tony-zorman.com·1d·Lobsters, Hacker News

I Accidentally Reinvented Kernel (Programming Language) 🦀Rust Macros

fayash.me·5d·Hacker News

Climbing the infinite ladder of abstraction (2016) λFunctional Programming

lexi-lambda.github.io·11h·Hacker News

Master C and C++ with our new Testing Handbook chapter 🔍Static Analysis

blog.trailofbits.com·1d

🥩 Red Meat Friday: Rules For Lisp Programs λFunctional Programming

irreal.org·17h

andonimichael/pydantic-plus-plus: A suite of utilities to improve upon the core Pydantic library ⚙️DataFusion

github.com·6d·Hacker News

Choosing a Programming Language (2016) 🔨Compilers

thesquareplanet.com·11h·Hacker News

C++23 Support in MSVC Build Tools 14.51 ⚙️LLVM

devblogs.microsoft.com·1d·Hacker News, r/cpp

Déjà Code: How LLMs Quietly Cheat on Repos They've Already Seen 🔍Static Analysis

blogs.latentforce.ai·17h·Hacker News

Lectures in Advanced Data Structures (6.851) 🧠Memory Models

courses.csail.mit.edu·1d

The Rocq Prover 9.2 documentation ∀Lean4

rocq-prover.org·3d·Hacker News

Loading more...