λ Functional Programming - estaugaard · Scour

Functional Algorithms, Verified 🐫OCaml

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

Giving LLMs a Formal Reasoning Engine for Code Analysis 🐫OCaml

yogthos.net·1d·Lobsters, Hacker News

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

readytotouch.com·18h·Hacker News

Clojure on Fennel part one: Persistent Data Structures 🐫OCaml

andreyor.st·3d·Lobsters, Hacker News

anzellai/sky: Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output. 🐫OCaml

github.com·4d·Lobsters, Hacker News

But what about K? 🐫OCaml

tony-zorman.com·23h·Lobsters

A Proposal for Voluntary AI Disclosure in OCaml Code 🐫OCaml

anil.recoil.org·6d·Lobsters

The acyclic e-graph: Cranelift's mid-end optimizer 0️⃣Zero-Copy

cfallin.org·6h·Lobsters, r/rust

Writing Lisp Is AI Resistant and I'm Sad 🐫OCaml

blog.djhaskin.com·5d·Lobsters, Hacker News

All of the String types 🐫OCaml

lambdalemon.gay·2d·Lobsters, Hacker News

research!rsc: Yacc is Not Dead 🔍Parsers

research.swtch.com·14h·Lobsters

One async Rust codebase for STM32, Linux and the browser 🕸️WASM

aimdb.dev·2d·Hacker News

Program Analysis: A Pragmatic Approach 🪶suckless

homes.cs.washington.edu·1d·Lobsters

YouTube: HTTP Server in Rust (For JavaScript Developers) 🦀Rust

youtube.com·21h·Hacker News

What We Learned Building a Rust Runtime for TypeScript 🐱Kitty

encore.dev·2d·Hacker News, r/programming, r/rust

Let’s talk about LLMs 🪶suckless

b-list.org·23h·Lobsters, Hacker News

Wet Sidewalks and Odd Numbers 🐫OCaml

philcrissman.net·2d·Lobsters

I made the ultimate productivity device for less than 50 bucks 🪶suckless

thelibre.news·23h·Lobsters

C++: Freestanding Standard Library 🪶suckless

sandordargo.com·2d·Lobsters, Hacker News

Full Text Search with IndexedDB 🔍Query Optimization

blog.jmp.chat·1d·Lobsters, Hacker News

Loading more...