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·6h·
Discuss: X
🧮SMT Solvers
Show HN: We used LZMA to encode data into a URL
standardsapplied.com·18h·
Discuss: Hacker News
🌀Differential Geometry
7 reasons to use Bayesian inference!
statmodeling.stat.columbia.edu·22h·
Discuss: Hacker News
🧮Kolmogorov Bounds
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·1d·
Discuss: Hacker News
🔗Concatenative Programming
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·1d·
Discuss: Lobsters, Hacker News
🌐DNS Security
Dynamic Power Allocation for High-Bandwidth USB-C Alt Mode Displays using Reinforcement Learning
dev.to·17h·
Discuss: DEV
🎯Emulator Accuracy
Unlocking AI Efficiency: Harnessing Symmetry for Lightning-Fast Optimization
dev.to·14h·
Discuss: DEV
⚡Z3 Optimization
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·1d·
Discuss: DEV
🛡️Error Boundaries
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·21h·
Discuss: Hacker News
🧮Algebraic Datatypes
Integrated Localization, Mapping, and Communication through VCSEL-Based Light-emitting RIS (LeRIS)
arxiv.org·2d
🔬Optical Physics
How Calyx Is Solving The $100 Billion Problem That's Fragmenting DeFi Across 19 Blockchains
hackernoon.com·1d
🔗Hash Chains
Audio-Visual Separation with Hierarchical Fusion and Representation Alignment
arxiv.org·2d
💿FLAC Archaeology
Note
hsu.cy·1d
🔍Archive Semantics
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·2d
🧮Theorem Proving
Automated Post-Translational Modification Site Prediction via Multi-Scale Graph Convolutional Networks
dev.to·3h·
Discuss: DEV
🗂️Vector Databases
Automated Spectral Analysis for Precision Dimension Stone Grading & Yield Optimization
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·2d
🔄Burrows-Wheeler
The Case for Separating Thinking (GPU) and Compute (CPU)
gojiberries.io·7h·
Discuss: Hacker News
⚡Z3 Optimization
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·3d
📊Graph Databases
ChatGPT is becoming an everything app
theverge.com·9m
🏺ZIP Archaeology