♾️ Codata Types - abnv · Scour

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)

arxiv.org·1d

🪜Recursive Descent

From Kepler to Newton: Inductive Biases Guide Learned World Models in Transformers

arxiv.org·1d

🔍Type Inference

The Zen of the Bronze Layer: Embracing Schema Chaos

dev.to·4d·

Discuss: DEV

I Built a Programming Language Where think Is a Keyword

dev.to·2d·

Discuss: DEV

Hamming Distance for Hybrid Search in SQLite

notnotp.com·5d·

Discuss: r/programming

💾Minimal Databases

Building an Obsidian RAG with DuckDB and MotherDuck

motherduck.com·5d

📖Literate Programming

EarlyBinder and instantiating parameters - Rust Compiler Development Guide

rustc-dev-guide.rust-lang.org·5d·

Discuss: Lobsters, Hacker News

🦀Rust Macros

## Hyper-Universal Quantification via Fibrational Logic and Knowledge Graph Embedding for Semantic Integrity Verification in Decentralized Autonomous Organizations (DAOs)

freederia.com·5d

🏛️Elm Architecture

**Abstract:** Accurate and efficient genomic variant prioritization is a critical bottleneck in precision medicine and drug discovery. Traditional methods re...

freederia.com·3d

✨Effect Inference

Trudging Through Nonsense

aphyr.com·5d·

Discuss: Hacker News

🚂Error Propagation

Neural Bitcoin Small Class Number Attack

leetarxiv.substack.com·5d·

Discuss: Substack

🔢Bit Manipulation

Second Order Cybernetics

notes.pinboard.in·5d

⚡Control Synthesis

Claude Code Part 12: How I Use Claude Code for Empirical Research

causalinf.substack.com·5d·

Discuss: Substack

📚Self-Documenting Code

How Lisp Became God's Own Programming Language

twobithistory.org·6d

🖥️Lisp Machines

Maiasa: A next-gen, fast, robust, ethical language model (that can only say "a")

maiasa.ai·6d·

Discuss: Hacker News

🌱Tiny Languages

p-values are good actually

lesswrong.com·5d

✨Effect Inference

pdf-association/arlington-pdf-model: A vendor- and implementation-independent specification-derived, machine-readable model of PDF.

github.com·5d

📇Symbol Tables

Trust & Safety, built for what’s next: Musubi x Tremau

musubilabs.ai·5d·

Discuss: Hacker News

🛡️Security Type Systems

CodeSOD: A Percise Parser

thedailywtf.com·6d

⚡Incremental Parsing

Taming the Flat AST: Ergonomics in the Age of Zero Allocations

modern-c.blogspot.com·6d·

Discuss: Lobsters, Hacker News, r/golang

🌳Tree Walking

Loading more...