λ Functional Programming - nmarshall · Scour

Cinderella-Man/credence: Credence is a semantic linter for Elixir 🎭Gradual Typing

Artificial intelligence-based analysis of visual electrophysiological signals for clinical interpretation support 🏗️AI Infrastructure

frontiersin.org·4h

applications of (higher) category theory in nLab 🔗Dependent Types

ncatlab.org·4d

Scaling and democratising structure-based protein function prediction with metagenomic-deepFRI 🍄Mycelium Networks

biorxiv.org·8h

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔗Dependent Types

pocketcasts.com·2d·Hacker News

翰墨字典 📝NLP

hanmozidian.fly.dev·10h

Lambda Calculus Benchmark for AI 🏗️AI Infrastructure

victortaelin.github.io·5d·Hacker News

A Computational Approach to Early Breast Cancer Detection Using Wolfram 🎯Vector Databases

blog.wolfram.com·1d

How to Move from AI Experimentation to AI Transformation 🤖AI Coding Tools

·15h

Yukari Hafner: On Lisp, LLMs, and Community ∀Lean4

reader.tymoon.eu·1d

Tries for Polynomials ∀Lean4

doisinkidney.com·3d·Lobsters

Functional impact of genetic background on variable expressivity in neurodevelopmental disorders 🧬Genetics

v0.27 Update 🦋Tauri

anildemir.itch.io·9h

Six dimensional hextille boondoggle acl2 + mcclim common lisp 🔗Dependent Types

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

Assessment of taste profile dynamics during crabapple (Malus prunifolia (Willd.) Borkh.) ripening by metabolomics and electronic tongue analysis 🧪Food Science

frontiersin.org·22h

Anchor – Lisp→C compiler, no GC, hygienic macros, Chez Scheme at compile time 🦀Rust Macros

github.com·3d·Hacker News

Arboretum.hs: Symbolic manipulation for algebras of graphs 🔗Graph Algorithms

simplex-chat/simplex-chat v6.5.0-armv7a ☁️Serverless Rust

·18h

std::_Maybe_unary_or_binary_function (3) Linux Manual Page 🔵Unikernels

systutorials.com·1d

Profunctor Equipment 🔗Linkers

bartoszmilewski.com·6d·Hacker News

Log in to enable infinite scrolling