⚡ functional programming - abnv · Scour

Further Meditation on Taylor Series

alexkritchevsky.com·2d

🔗Concatenative Theory

One Size Does NOT Fit All: On the Importance of Physical Representations for Datalog Evaluation

arxiv.org·1d

📊Datalog Engines

Locas: Your Models are Principled Initializers of Locally-Supported Parametric Memories

arxiv.org·1d

🧠Memory Models

5 Ways LLMs Break JSON in Production (And How to Fix It)

dev.to·5h·

Discuss: DEV

📋JSON Parsers

Simulating Leader Election on top of FoundationDB

pierrezemb.fr·2d

📡Erlang BEAM

Building a Simple “Chat with Your Documents” GenAI App (End-to-End)

dev.to·7h·

Discuss: DEV

💬Interactive REPLs

Hardness of hinted ISIS from the space-time hardness of lattice problems

eprint.iacr.org·2d

🌸Bloom Indexing

lib.rs·2d

∫Mathematical DSLs

With OpenClaw you're giving AI its own machine, long-term memory, reminders, and persistent execution. The model is no longer confined to a prompt-response cycle, but able to check its own email… | David Heinemeier Hansson

linkedin.com·1d

🥾Bootstrapping Strategies

YS — YAML Done Wisely

yamlscript.org·8h

📝Rope Editors

=============================================================================================================================== **Abstract**

freederia.com·1d

🗺️Region Polymorphism

**Abstract:** This paper introduces Quantum-Inspired Algorithm for Axiomatic System Generation and Verification (QASAGV), a novel approach to automatically c...

freederia.com·21h

📜Proof Languages

Sukr: A minimal static site compiler in Rust with zero-JS output

lobste.rs·2d·

Discuss: Lobsters

🚂Cranelift IR

Calling Lean Functions As Python Functions

philipzucker.com·5d·

Discuss: Lobsters, Hacker News

⚡Partial Evaluation

Holding an OxCaml tutorial at ICFP/SPLASH 2025

anil.recoil.org·4d

The Worst Instructions You Can Give an AI Coding Agent

cline.ghost.io·1d

💬Interactive REPLs

Teaching Claude Code Your Standards

github.com·1d·

Discuss: DEV

📚Self-Documenting Code

Fitness Functions: Automating Your Architecture Decisions

lukasniessen.medium.com·3d·

Discuss: r/devops, r/node, r/programming, r/typescript

🎮Language Ergonomics

Building a C compiler with a team of parallel Claudes

anthropic.com·2d·

Discuss: Lobsters, Hacker News, r/ClaudeAI, r/embedded

🎭Staged Interpreters

Mechanistic Interpretability: Peeking Inside an LLM

towardsdatascience.com·1d

🪜Recursive Descent

Loading more...