📐 Type Theory - hello · Scour

Snippets With Regular Expressions

irreal.org·1d

🏷️Pointer Tagging

Ethereum Signature Schemes Explained: ECDSA, BLS, XMSS, and Post-Quantum leanSig with Rust Code Examples

blog.lambdaclass.com·2d

Building Smarter AI: 16 RAG Approaches for Accuracy, Memory, and Reasoning

mvineetsharma.medium.com·2d

Opus 4.6 Reasoning Distill 3k prompts

huggingface.co·1d·

Discuss: r/LocalLLaMA

📊Dynamic Programming

Coding Assistants

trendhunter.com·1d

🎭Program Synthesis

Unicode 18.0 Alpha review

blog.unicode.org·1d·

Discuss: Blogger

Package-Inferred Systems are Dangerous

aartaka.me·1d

User:Yayimhere/Cleverxia Collab

esolangs.org·2d

February Week 1

i-programmer.info·4d

The middle ground between canonical models and data mesh

frederickvanbrabant.com·1d·

Discuss: r/programming

🏗️Data Modeling

SAE Feature Matchmaking (Layer-to-Layer)

lesswrong.com·2d

🌳Instruction Selection

Dynamical sequences: closure properties and automatic identity proving

arxiv.org·2d

∘Category Theory

Software Testing at the Network Layer: Automated HTTP API Quality Assessment and Security Analysis of Production Web Applications

arxiv.org·2d

minikanren.org·3d·

Discuss: Lobsters

🏭Code Generation

rss.livelink.threads-in-node: Choosing the Right Model in GitHub Copilot: A Practical Guide for Developers

techcommunity.microsoft.com·1d

🏗️Cranelift

a free-to-use data modeler/generator for any database

synthforge.io·1d·

Discuss: Hacker News

Building a Virtual DOM from Scratch: What I Learned Reverse-Engineering React

dev.to·1h·

Discuss: DEV

What should I program?

jamesmcm.github.io·3d

State of HLSL: February 2026

abolishcrlf.org·1d·

Discuss: Hacker News

Humanity's last programming language

xeiaso.net·2d·

Discuss: Lobsters, Hacker News

🌳Tree-sitter

Loading more...