λ Functional Programming - cliffroared · Scour

Functional Algorithms, Verified ⚙️Compilers

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

Reflection On Recursion • 2 ⚙️Compilers

inquiryintoinquiry.com·13h

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference ⚙️Compilers

arxiv.org·2d

Show HN: Agent Tuning, using recursion to achieve predictable agent output 🤖AI Engineering

github.com·5h·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) ⚙️Compilers

pvk.ca·9h·Hacker News

Simple System + Rick Feedback ⚙️Compilers

ericnormand.substack.com·2d·Substack

Idiomatic Lisp and the nbody benchmark ⚙️Compilers

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

Structured Software Architecture 💻Software Engineering

programmingsimplicity.substack.com·14h·Substack

Tim Bradshaw: Rules for Lisp programs ⚙️Compilers

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 🦀Rust

readytotouch.com·11h·Hacker News

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety ⚙️Compilers

embedded.com·1d

Slap: Functional Concatenative Language... with a Borrow Checker? 🦀Rust

lobste.rs·5d·Lobsters

Securing Hex, the Backbone of the Elixir Ecosystem 🎲Roguelikes

paraxial.io·14h·Hacker News

Adam Bien: Formal Methods, Functional Programming, and Securing the Java Ecosystem--airhacks.fm podcast ⚙️Compilers

adambien.blog·2d

Binary Lambda Calculus is Hard ⚙️Compilers

aartaka.me·4d·r/functionalprogramming

Site-selective valence isomerism as a unified electronic trigger for magnetism, chirality, and catalysis in Ni–carboxylate MOFs 📖E-Ink Displays

nature.com·18h

Sealed Classes and Exhaustive Pattern Matching: How They Change API Design, Not Just Syntax ⚙️Compilers

javacodegeeks.com·2d

Show HN: [PKG47] AI-Controlled Package Registry ❄️Nix

pkg47.com·18h·Hacker News

Giving LLMs a Formal Reasoning Engine for Code Analysis 🤖AI Engineering

yogthos.net·1d·Lobsters, Hacker News

Loading more...