📏 Linear Codes

Minimum Distance, Generator Matrices, Systematic Codes, Coding Bounds

Basketball trivia, editing distances, and derangement
leancrew.com·2d
🌳Trie Structures
Three ways formally verified code can go wrong in practice
buttondown.com·21h
📜Proof Carrying Code
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.com·19h·
Discuss: Hacker News, r/programming
🛡️Byzantine Fault Tolerance
Prompt Engineering Templates That Work: 7 Copy-Paste Recipes for LLMs
kdnuggets.com·2d
🎯Proof Tactics
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·7h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
LINQ and Learning to Be Declarative
nickstambaugh.dev·2d·
Discuss: Hacker News
🔗Concatenative Programming
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
Automated Graph Neural Network Calibration for Robust Decentralized Sensor Fusion
dev.to·7h·
Discuss: DEV
🤝Consensus Networks
SatFusion: A Unified Framework for Enhancing Satellite IoT Images via Multi-Temporal and Multi-Source Data Fusion
arxiv.org·1d
📡RSS Extensions
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·4h·
Discuss: DEV
⚛️Quantum Algorithms
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
🧮Vector Embeddings
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
Automated Spectral Fingerprint Deconvolution for Polymer Identification via Deep Oligomer Networks
dev.to·13h·
Discuss: DEV
🌈Spectroscopy
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·1d
🌀Differential Geometry
Deep Learning for Predictive Modeling of Rural Community Resilience Under Climate Change
dev.to·4h·
Discuss: DEV
📊Quantization
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Quantum Relative Entropy Decay Composition Yields Shallow, Unstructured k-Designs
arxiv.org·1d
⚛️Quantum Circuits
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·16h·
Discuss: Hacker News
⬌Bidirectional Typing
Make a procedurally generated planet
kayleegeorge.github.io·16h·
Discuss: Hacker News
📐Mathematical Art
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·2d
📊Graph Databases