🎾 Racket - beachlorn · Scour

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

jointhefreeworld.org·11h·Lobsters, Hacker News

Probabilistic Language Tries: A Unified Framework for Compression, Decision Policies, and Execution Reuse λLambda Calculus

arxiv.org·1d

udem-dlteam/ribbit: A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS Scheme REPL fits inside 6.5Kb ! 🔧Scheme

github.com·3d

When The Racket Is Optional 🤣 ✓Formal Verification

youtube.com·2d

The Many Faces of flet: cl-flet, cl-labels, and cl-letf 🔗Parser Combinators

emacsredux.com·4d

Little LaTeX Pearls 📄Typst

ionathan.ch·2d

Verifying Veritasium's Markov Chains λLambda Calculus

bruceediger.com·1d

Clojure on Fennel part one: Persistent Data Structures 🔧Scheme

andreyor.st·3d·Lobsters, Hacker News

Massively parallel in-sensor skinomorphic computing 💾Embedded Systems

nature.com·2d

Using cgn + . instead of macros for small repeated edits ✨Effect Handlers

youtu.be·6d·r/vim

Separator-Based Participation Commitments for Post-Quantum Attestation Aggregation 🔄CRDT

ethresear.ch·1d

Reformulating the SNOVA Signature Scheme λFunctional Programming

eprint.iacr.org·6d

Anamorphic Encryption with CCA Security: A Standard Model Construction λLambda Calculus

arxiv.org·17h

Opus's Schelling Steganography Has Amplifiable Secrecy Against Weaker Eavesdroppers 🔢Modular Arithmetic

lesswrong.com·3d

No-Code Tools Gave Everyone a Seat at the Table. Now What? 🎹Live Coding

karinelishaedtech.medium.com·5d

aelaguiz/doctrine: Python-like DSL and compiler for reusable AI agent instructions, workflows, and contracts that compile to AGENTS.md. 📚Forth

github.com·2d·Hacker News

Error Analysis of a Conforming FEM for Multidimensional Fragmentation Equations 🔬Closure Analysis

arxiv.org·17h

An Agentic Evaluation Architecture for Historical Bias Detection in Educational Textbooks 🧠Personal Knowledge Management

arxiv.org·17h

PRISM: Evaluating a Rule-Based, Scenario-Driven Social Media Privacy Education Program for Young Autistic Adults ✨Effect Handlers

arxiv.org·17h

A convergence rate for the entropic JKO scheme 🔍Refinement Types

arxiv.org·17h

Loading more...