λ Functional Programming - c13e · Scour

Functional Algorithms, Verified 📐Formal Methods

www21.in.tum.de·6d·Lobsters

Reflection On Recursion • 2 🔢Type Theory

inquiryintoinquiry.com·13h

A Gradual Probabilistic Lambda Calculus 🔣Category Theory

arxiv.org·2d

Show HN: Agent Tuning, using recursion to achieve predictable agent output 📡Erlang

github.com·5h·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) 📐Formal Methods

pvk.ca·9h·Hacker News

Sealed Classes and Exhaustive Pattern Matching: How They Change API Design, Not Just Syntax 🛡️Memory Safety

javacodegeeks.com·2d

Binary Lambda Calculus is Hard 🐫OCaml

aartaka.me·4d·r/functionalprogramming

Structured Software Architecture ⚙️Systems Programming

programmingsimplicity.substack.com·14h·Substack

Tim Bradshaw: Rules for Lisp programs 🔵Lisp

tfeb.org·1d

AI-designed proteins built from scratch can recognize specific compounds 🤖AI Engineering

phys.org·4h

Show HN: Job-focused lists of product companies using Go, Rust, Scala, Elixir 💧Elixir

readytotouch.com·11h·Hacker News

Simple System + Rick Feedback ⚙️Systems Programming

ericnormand.substack.com·2d·Substack

Slap: Functional Concatenative Language... with a Borrow Checker? 🔵Lisp

lobste.rs·5d·Lobsters

Site-selective valence isomerism as a unified electronic trigger for magnetism, chirality, and catalysis in Ni–carboxylate MOFs 💧Elixir

nature.com·18h

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 📐Formal Methods

embedded.com·1d

Idiomatic Lisp and the nbody benchmark 🔵Lisp

stylewarning.com·6d·Lobsters, Hacker News, r/programming

Overlooked non-coding genes cause diabetes in babies, study reveals 🧬Cognitive Neuroscience

medicalxpress.com·13h

Swish - Clojure-like Lisp for Swift Video Series 🔵Lisp

rodschmidt.com·1d

Securing Hex, the Backbone of the Elixir Ecosystem ⚗️BEAM Ecosystem

paraxial.io·14h·Hacker News

Giving LLMs a Formal Reasoning Engine for Code Analysis 🐫OCaml

yogthos.net·1d·Lobsters, Hacker News

Loading more...