λ Functional Programming - jinkai_lau · Scour

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔤Type Systems

pocketcasts.com·2d·Hacker News

"Parse, don't Validate" through the years with C++ 🔍Static Analysis

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

How the brain rapidly switches between internal and external processing 🕸️Distributed Systems

medicalxpress.com·58m

Hello, Jank 🗣️New Languages

clojurecivitas.org·15h

std::_Maybe_unary_or_binary_function (3) Linux Manual Page 🦀Rust

systutorials.com·1d

Profunctor Equipment ✅Formal Verification

bartoszmilewski.com·6d·Hacker News

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

blog.wolfram.com·22h

Versioned, portable LLM prompts as a spec ✍️Prompt Engineering

promptpack.org·1d·Hacker News

Improving Biological Sequence Prediction with AlphaFold2 Representation 🗄️Vector Databases

biorxiv.org·23h

How we built ten custom subagents to tame a 500K-line Clojure codebase ⚙️MLOps

metabase.com·2d·Hacker News, r/programming

Java sealed classes and exhaustive pattern matching 🔤Type Systems

neilmadden.blog·6d

Association-sensory spatiotemporal hierarchy and functional gradient-regularised recurrent neural network with implications for schizophrenia 🔎AI Interpretability

nature.com·10h

Six dimensional hextille boondoggle acl2 + mcclim common lisp 🔤Type Systems

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

std::ilogb,std::ilogbf,std::ilogbl (3) Linux Manual Page 🔍Static Analysis

systutorials.com·11h

Sequent Calculi for Public Announcement Logic and Action Model Logic ✅Formal Verification

philsci-archive.pitt.edu·6d

ML Safety Newsletter #20: AI Wellbeing, Classifier Jailbreaking and Honest Pushback Benchmarking 🔬AI Research

lesswrong.com·1d

Decarboxylative alkylation of alkenes ✅Formal Verification

nature.com·23h

Clojure community check-in self preview 🗣️New Languages

clojurecivitas.org·6d

Announcing Functional Indexes in Dolt 🐘PostgreSQL

dolthub.com·1d

Momentary predictors of dissociation in functional neurological disorder: an ecological momentary assessment-based pilot study 🔬eBPF

frontiersin.org·9h

Log in to enable infinite scrolling