📏 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·1d
📜Proof Carrying Code
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·12h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
LINQ and Learning to Be Declarative
nickstambaugh.dev·2d·
Discuss: Hacker News
🔗Concatenative Programming
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·1d
🌀Differential Geometry
Automated Spectral Fingerprint Deconvolution for Polymer Identification via Deep Oligomer Networks
dev.to·18h·
Discuss: DEV
🌈Spectroscopy
Deep Learning for Predictive Modeling of Rural Community Resilience Under Climate Change
dev.to·9h·
Discuss: DEV
📊Quantization
Quantum Relative Entropy Decay Composition Yields Shallow, Unstructured k-Designs
arxiv.org·1d
⚛️Quantum Circuits
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·20h·
Discuss: Hacker News
⬌Bidirectional Typing
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·2d
📊Graph Databases
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Tech With Tim: How to Build AI Agents in Python
dev.to·11h·
Discuss: DEV
🤖AI Curation
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·15h·
Discuss: DEV
🔗Supply Chain
Relational Transformer: Toward Zero-Shot Foundation Models for Relational Data
arxiv.org·2d
🧠Learned Indexes
Joint Communication Scheduling and Velocity Control for Multi-UAV-Assisted Post-Disaster Monitoring: An Attention-Based In-Context Learning Approach
arxiv.org·3d
🧠Machine Learning
On knot detection via picture recognition
arxiv.org·2d
🕸️Algebraic Topology