🐫 OCaml - beachlorn · Scour

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing 🔍Type Inference

arxiv.org·4d

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

jointhefreeworld.org·12h·Lobsters, Hacker News

The Roc Programming Language 🎾Racket

roc-lang.org·2d·Hacker News

Soppo language: Go, with the features it's missing 🔧Scheme

soppolang.dev·11h·Hacker News

Beyond Static Analysis: Proving Automotive Cybersecurity and Functional Safety 📚Forth

embedded.com·2d

Post-Penultimate Conditional Syntax 🌊Koka

joel.place·5d·Hacker News

[ASAP] Machine Learning Potential-Enabled Platform for the In Silico Design of Functional Organic Molecular Crystals 🎯Constraint Solving

dx.doi.org·1d

A Proposal for Voluntary AI Disclosure in OCaml Code 🔷Agda

anil.recoil.org·6d·Lobsters

The Boxes Were Already Open 🌊Koka

srodingr.substack.com·1d

Show HN: Staccato – Generate multi-track MIDI from text prompts [video] 🎹Live Coding

youtube.com·2d·Hacker News

Slap: Functional Concatenative Language... with a Borrow Checker? 🔗Parser Combinators

lobste.rs·6d·Lobsters

Descent from a common ancestor restricts exploration of protein sequence space 🦥Haskell

pnas.org·2d

Functional Algorithms, Verified λFunctional Programming

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

[RFC]: vLLM IR: A Functional Intermediate Representation for vLLM · Issue #32358 ⚙️LLVM

github.com·3d·Hacker News

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation 🔍Type Inference

arxiv.org·17h

I built a comprehensive interview prep platform that focuses on implementation over pattern matching. 39 problems, 350+ knowledge questions with textbook citati... 🦥Haskell

whitebox.ac·4d·r/SideProject

No Pretraining, No Equivariant Architecture – Learning MLIPs without Explicit Equivariance ✨Effect Handlers

blopig.com·3d

Sealed Classes and Exhaustive Pattern Matching: How They Change API Design, Not Just Syntax 🔬Closure Analysis

javacodegeeks.com·3d

Functional Emotions in Large Language Models: What Anthropic Found Inside Claude 🔗Parser Combinators

medium.com

·5d

BLaDA: Bridging Language to Functional Dexterous Actions within 3DGS Fields ✨Effect Handlers

arxiv.org·17h

Loading more...