λ Functional Programming - Arash · Scour

More hexagon acl2 first-order-logic/embeddable common lisp+McCLIM graphics 🎹Modular Synthesis

lispy-gopher-show.itch.io·4d

std::_Maybe_unary_or_binary_function (3) Linux Manual Page 📚Self-Documenting Code

systutorials.com·1d

applications of (higher) category theory in nLab 🧬Peptides

ncatlab.org·5d

Tries for Polynomials 🔐Cryptography

doisinkidney.com·3d·Lobsters

Lambda Calculus Benchmark for AI 🎼Algorithmic Composition

victortaelin.github.io·5d·Hacker News

In which Lisp generates music 🎼Algorithmic Composition

abhirag.com·3d·Hacker News, r/programming

"Parse, don't Validate" through the years with C++ 📚Self-Documenting Code

derekrodriguez.dev·4d·Hacker News, r/programming

rcarmo/go-joker: A personal twist on the original Clojure interpreter and linter, slightly mad, Go-ing places 📚Self-Documenting Code

github.com·1d·Hacker News

REBENCH: A Procedural, Fair-by-Construction Benchmark for LLMs on Stripped-Binary Types and Names (Extended Version) ⚙️Systems Programming

Clojure on Fennel part three: parsing 🦬Emacs

andreyor.st·3d·Hacker News

vercel-composition-patterns by vercel-labs/agent-skills 🎹Modular Synthesis

shortTermVolatility (3) Linux Manual Page 📚Self-Documenting Code

systutorials.com·3d

Six dimensional hextille boondoggle acl2 + mcclim common lisp 🎹Modular Synthesis

lispy-gopher-show.itch.io·3d

Graphify: Automated Synthesis of Type-Safe Graph Backends via $O(S)$ GraphQL-to-Gremlin Transpilation 📊Logseq

Cinderella-Man/credence: Credence is a semantic linter for Elixir 📚Self-Documenting Code

Understanding Bugs in Template Engine-Based Applications: Symptoms, Root Causes, and Fix Patterns 📚Self-Documenting Code

Toward a Functional Geometric Algebra for Natural Language Semantics 🧬Peptides

Arboretum.hs: Symbolic manipulation for algebras of graphs 🌱Digital Gardens

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda 🃏Poker

Haskell Data Pipelines ⚙️Systems Programming

github.com·6d·Lobsters, Hacker News

Log in to enable infinite scrolling