📦 Module Systems - tiferrei · Scour

Predict-Rlm: The LLM Runtime That Lets Models Write Their Own Control Flow ⏳LTL

repo-explainer.com·2d·Hacker News

Towards foundation-style models for energy-frontier heterogeneous neutrino detectors via self-supervised pre-training 🧠Apple Neural Engine

arxiv.org·5d

Show HN: AI Content Attestation & Verification w/ Revocable Signatures 🔒Protocol Verification

lyfe.ninja·1d·Hacker News

Is Claude's genuine uncertainty performative? 📐Hoare Logic

lesswrong.com·6d

Critical flaw in wolfSSL library enables forged certificate use 🔒Protocol Verification

bleepingcomputer.com·1d·Hacker News

APL: Evaluator for a Subset of Scheme 🐫OCaml

dfns.dyalog.com·2d·Hacker News

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

google-research/dex-lang: Research language for array processing in the Haskell/ML family 🐫OCaml

github.com·1d·Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 📝Nix Language

jointhefreeworld.org·4d·Lobsters, Hacker News

Your LLM is a compiler, not a runtime ⚙️Compiler Design

getpocketbot.com·1d·Hacker News

The M×N problem of tool calling and open-source models 🔀OCaml Multicore

thetypicalset.com·5d·Hacker News

Cross-Paradigm Models of Restricted Syndrome Decoding with Application to CROSS 🧩Separation Logic

arxiv.org·1d

Structured Software Architecture 🔤DSLs

programmingsimplicity.substack.com·5d·Substack

But what about K? 🔀Brzozowski Derivatives

tony-zorman.com·5d·Lobsters, Hacker News

Globally Optimal Pose from Orthographic Silhouettes 📐Linear Algebra

arxiv.org·1d

Mapping generative AI use in the human brain: divergent neural, academic, and mental health profiles of functional versus socio emotional AI use 🧠Apple Neural Engine

arxiv.org·1d

mm0/mm0-rs/mmc.md at master 🎨GADTs

github.com·4d·Hacker News

The Geometry of Forgetting 🔲Cellular Automata

arxiv.org·5d

A Weak-Signal-Aware Framework for Subsurface Defect Detection: Mechanisms for Enhancing Low-SCR Hyperbolic Signatures 👁️Observability

arxiv.org·6d

A Ruby program that generates a Rust program that generates a Scala program... 🔨Compilers

github.com·4d·Hacker News

Loading more...