🧩 Constraint Logic - abnv · Scour

A Theory for Probabilistic Polynomial-Time Reasoning

arxiv.org·1d

🧮Combinator Calculus

Wahba’s Problem and SO(3) Optimization: Rotation Learning in Geometric ML

hackernoon.com·14h

🧩Constraint Solvers

process-compose

notes.billmill.org·3h

🔗Concatenative

The middle ground between canonical models and data mesh

frederickvanbrabant.com·1d·

Discuss: r/programming

🏛️Elm Architecture

The Evolution of a Lean Programmer

unnamed.website·3d·

Discuss: Hacker News

🎭Staged Interpreters

AI Code’s Logic Can Now Be Checked From Within, Bypassing External Tests

quantumzeitgeist.com·15h

🎭Program Synthesis

Reflections on Using Claude Code

ternarysearch.blogspot.com·1h·

Discuss: Hacker News

Verified developer portfolios using Code Complexity and AI

dev-proof-portfolio.vercel.app·7h·

Discuss: Hacker News

📚Self-Documenting Code

How To Manage Complexity In UX - Smart Interface Design Patterns

mailchi.mp·1d

🎮Language Ergonomics

A Note on Flat Abstract Syntax Trees

gist.github.com·2d·

Discuss: Hacker News

🌳Tree Walking

百度千帆推出 AI 编码订阅服务 Coding Plan

linux.do·4h

💬REPL Design

Deep C Dives: Undefined Behavior

i-programmer.info·16h

📚Stack Allocation

Architecture of SQLite

sqlite.org·17h·

Discuss: Hacker News

💾Minimal Databases

Domain Specific Languages

martinfowler.com·1d

🎨Domain-Specific Languages

What Functional Programmers Get Wrong About Systems

iankduncan.com·2d

🚂Error Propagation

Your schema already has the logic. Your inference provider just ignores it.

blog.dottxt.ai·1d

✅Configuration Validation

Python Morsels: Need switch-case in Python? It's not match-case!

pythonmorsels.com·1d

🎯Pattern Matching

Patterns of Application Development Using… [PDF/iPad/Kindle]

leanpub.com·4h

🎮Language Ergonomics

Automated Reasoning checks rewriting chatbot reference implementation

aws.amazon.com·2d

✅Type Checking

cs.tufts.edu·2d·

Discuss: Lobsters

🪄C Metaprogramming

Loading more...