🔗 Unification - abnv · Scour

Rebuilding the spellchecker

zverok.space·22h

⚡Tokenizer Benchmarks

Hello World: Algorithmic Trading & DeFi Logic

dev.to·2h·

Discuss: DEV

Introduction to Abject-Oriented Programming (2007)

typicalprogrammer.com·2h·

Discuss: Hacker News

📚Self-Documenting Code

What should I program?

jamesmcm.github.io·8h

🏗️Minimal Compilers

First Proof | Research-Level Math for AI Evaluation

1stproof.org·2d·

Discuss: Hacker News

🧩Constraint Solvers

Agentic Proof-Oriented Programming

risemsr.github.io·2d·

Discuss: Lobsters, Hacker News

Building a Dynamic Multilanguage System Without Rebuilds

kuldeepmodi.vercel.app·2h·

Discuss: DEV

🌉Cross-Language Tools

Chromosome-level genome assembly and annotation of the critically endangered Siberian crane ( Leucogeranus leucogeranus )

nature.com·1d

🌲Deforestation

Transport and Merge: Cross-Architecture Merging for Large Language Models

arxiv.org·2d

🔄Binary Translation

The Adventures of a Pythonista in Schemeland/29

artima.com·18h

🧼Lisp Hygiene

Tip of the Week #49: Argument-Dependent Lookup

abseil.io·18h

🔗Lexical Scoping

How I Built My Project in Haskell

dev.to·17h·

Discuss: DEV

🌱Minimal Languages

Fundamentals of Data Visualization

clauswilke.com·1h

🔥Flamegraphs

Grace Hopper's Revenge

thefuriousopposites.com·6h

🔍ML Language

Early History of a Perfect Join Algorithm

remy.wang·18h

📈Query Optimization

**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and Recursive HyperScore ...

freederia.com·2d

💓Live Variable Analysis

(50) Set-Roster vs Set-Builder notation

youtube.com·1d

en.wikipedia.org·2d·

Discuss: Hacker News

🎭Polymorphic Variants

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·13h·

Discuss: DEV

💬Smalltalk VMs

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction

arxiv.org·2d

📝PEG Parsing

Loading more...