Research Software Directory adopts Software Heritage IDs
softwareheritage.org·4h
🏛️OAIS Implementation
Flag this post
xb.sql and xbi.sql - Explain Oracle Execution Plans Better! (Part 3 - Cardinality Misestimates)
tanelpoder.com·1d
🧠Query Planners
Flag this post
On This Dayin Math - November 2
pballew.blogspot.com·2d·
Discuss: www.blogger.com
⚙️Proof Engineering
Flag this post
Thoughts by a non-economist on AI and economics
windowsontheory.org·2h
🔲Cellular Automata
Flag this post
Cyber experts warn of the 'catastrophic' threat quantum computing could pose
9news.com.au·8h·
Discuss: Hacker News
🔐Quantum Security
Flag this post
DDD and the Simplicity Gospel
oluatte.com·2d·
Discuss: Hacker News, r/programming
📏Code Metrics
Flag this post
Thin-film strontium titanate sets electro-optic performance record at cryogenic temperatures
phys.org·3h
⚛️Quantum Tape
Flag this post
Beyond Single-Tokenomics: How Farcaster's Pluralistic Incentives Reshape Social Networking
arxiv.org·14h
🔗Hash Chains
Flag this post
Complex QA and language models hybrid architectures, Survey
arxiv.org·14h
🧮Kolmogorov Complexity
Flag this post
Engineering a Trillion-Parameter Architecture on Consumer Hardware
hackernoon.com·1d
🏠Homelab Archaeology
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.to·14h·
Discuss: DEV
🌊Stream Processing
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·14h
🔗Functional Compilers
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·14h
📏Code Metrics
Flag this post
Deep Learning Approach to Anomaly Detection in Enterprise ETL Processes with Autoencoders
arxiv.org·14h
🧠Machine Learning
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·4d
🧮Algebraic Archives
Flag this post
Orchestrating Chaos: Unleashing the Power of Bio-Inspired AI for Autonomous System Design by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
T3: Test-Time Model Merging in VLMs for Zero-Shot Medical Imaging Analysis
arxiv.org·1d
🧠Machine Learning
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·14h
🦀Rust Verification
Flag this post
Deciphering Scientific Collaboration in Biomedical LLM Research: Dynamics, Institutional Participation, and Resource Disparities
arxiv.org·14h
📊Citation Graphs
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·14h
🔮Proof Search
Flag this post