λ Functional Programming - tiferrei

🔁E-graphs Code

github.com··Hacker News

Open source building blocks for computational design. Est. 2006

🔤Language Design

thi.ng··Hacker News

The perils of UUID primary keys in SQLite

👁️System Observability

andersmurphy.com··Lobsters, Hacker News, r/programming

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

💻CS Academic

arxiv.org··Lobsters

jeffhuen/RustyCSV: High-performance CSV parsing for Elixir. Rust NIF with SIMD acceleration, parallel parsing, and bounded-memory streaming. Drop-in NimbleCSV replacement.

📡Network Protocol Design Code

github.com··Hacker News

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus

💻CS Academic

arxiv.org·

Pasteur, a zero-knowledge pastebin as an unikernel in OCaml

🔬Unikernels Code

github.com··Hacker News

When Types Intersect and Effects Get Handled

💻CS Academic

arxiv.org·

Jas: AI-Paired Engineering as a Revival of N-Version Programming

📦Module Systems Academic

arxiv.org·

bmillare/design_in_practice_ui: Visualize the Decision Matrix from a XML or YAML spec that's easy to generate from LLMs and edit by hand

🧮Lean4 Code

github.com··Hacker News

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies

💻CS Academic

arxiv.org·

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

💻CS Academic

arxiv.org·

Essential Unitarity for Higher-Order Quantum Computation

➡️Category Theory Academic

arxiv.org·

No more posts from tiferrei's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Shadcn-HTMX for HTML/Jinja2/Hono/Elixir/Go

PEZ/languages-visualizations: A Languages visualization experiment

Open source building blocks for computational design. Est. 2006

The perils of UUID primary keys in SQLite

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

jeffhuen/RustyCSV: High-performance CSV parsing for Elixir. Rust NIF with SIMD acceleration, parallel parsing, and bounded-memory streaming. Drop-in NimbleCSV replacement.

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus

Pasteur, a zero-knowledge pastebin as an unikernel in OCaml

When Types Intersect and Effects Get Handled

Jas: AI-Paired Engineering as a Revival of N-Version Programming

bmillare/design_in_practice_ui: Visualize the Decision Matrix from a XML or YAML spec that's easy to generate from LLMs and edit by hand

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

Essential Unitarity for Higher-Order Quantum Computation