📏 Linear Codes

Minimum Distance, Generator Matrices, Systematic Codes, Coding Bounds

Broadcom Tomahawk 6 – Davisson 102.4T Switch with Co-Packaged Optics Shipping
servethehome.com·4h
💿Proxmox HA
Tangara
crowdsupply.com·56m
🗂️Optical Jukebox
Rohan Paul on X: "New paper from @Google is a major memory breakthrough for AI agents. ReasoningBank helps an AI agent improve during use by learning from its w...
x.com·1d·
Discuss: X
🧮SMT Solvers
Musk’s xAI joins race to build ‘world models’ to power video games
ft.com·1d·
Discuss: Hacker News
🤖AI Curation
LINQ and Learning to Be Declarative
nickstambaugh.dev·3d·
Discuss: Hacker News
🔗Concatenative Programming
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Systems as Mirrors
iamstelios.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·2d·
Discuss: Hacker News
⬌Bidirectional Typing
Agents 2.0: From Shallow Loops to Deep Agents
philschmid.de·1d·
Discuss: Hacker News
📼Tape Combinators
Predictive Modeling of Neutron Capture Cross-Sections via Bayesian Kernel Regression
dev.to·4h·
Discuss: DEV
🧲Magnetic Resonance
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·3d·
Discuss: r/LLM
💻Local LLMs
Three ways formally verified code can go wrong in practice
buttondown.com·2d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
Quantum Agents: The Algorithmic Alchemists Reshaping Discovery
dev.to·1d·
Discuss: DEV
⚛️Quantum Algorithms
Real-Time Cortical Activity Decryption via Multi-Modal Graph Neural Network Fusion
dev.to·1d·
Discuss: DEV
📊Spectral Graphs
Tech With Tim: How to Build AI Agents in Python
dev.to·1d·
Discuss: DEV
🤖AI Curation
Enhanced Gamma Shielding Design via Dynamic Iterative Optimization of Boron Carbide Lattice Structures
dev.to·3d·
Discuss: DEV
⚛️Quantum Tape
Build a Private AI Chatbot for Your PDFs with Genkit and Gaia
dev.to·1d·
Discuss: DEV
📄Document Streaming
SALAD: Self-Adaptive Link Adaptation
arxiv.org·5d
⧗Information Bottleneck
Prompting Test-Time Scaling Is A Strong LLM Reasoning Data Augmentation
arxiv.org·2h
📏Linear Logic
Tech With Tim: How to Build AI Agents in Python
dev.to·2h·
Discuss: DEV
🧠Neural Compression