Not Bergamo, Turing, PHQ again
logicmatters.net·6h
🧮Theoretical Computer Science
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·11h·
λLambda Encodings
Flag this post
Disaggregated Routing with SONiC and VPP: Lab Demo and Performance Insights – Part Two
linux.com·7h
📡Network Protocol Design
Flag this post
ACM CCS 2025 Spotlight: How Bad Was The Falcon Bug of 2019?
esat.kuleuven.be·1d
🔐Cryptographic Archaeology
Flag this post
The sequel
quantumfrontiers.com·2d
⚛️Information Physics
Flag this post
Plasma Capacitor
fdscience.org·1h·
Discuss: Hacker News
⚙️DIY Electronics
Flag this post
The Dfinity "Blockchain Nervous System"
medium.com·2d·
Discuss: Hacker News
🤝Distributed Consensus
Flag this post
Ancient Pill Matches Modern Antidepressant in Depression Trial
scitechdaily.com·16h
🕸️Tensor Networks
Flag this post
Reasoning Visual Language Model for Chest X-Ray Analysis
arxiv.org·17h
🏺Computational Archaeology
Flag this post
Quantum Information Rules the Universe—And It Will Reveal the Ultimate Cosmic Mysteries, a Scientist Says
popularmechanics.com·1d
Time Crystals
Flag this post
From Memorization to Reasoning in the Spectrum of Loss Curvature
arxiv.org·17h
🧠Intelligence Compression
Flag this post
Google claims its latest quantum algorithm can outperform supercomputers on a real-world task
phys.org·5d
⚛️Quantum Tape
Flag this post
Far from the Shallow: Brain-Predictive Reasoning Embedding through Residual Disentanglement
arxiv.org·1d
🔲Cellular Automata
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·17h
🧮Kolmogorov Bounds
Flag this post
Parallel Sampling from Masked Diffusion Models via Conditional Independence Testing
arxiv.org·1d
🧠Machine Learning
Flag this post
Neural Networks for Chess
github.com·2d·
Discuss: Hacker News
Homebrew CPUs
Flag this post
A New Hybrid Precoding Approach for Multi-user Massive MIMO over Fading Channels
arxiv.org·17h
ℹ️Information Theory
Flag this post
BMGQ: A Bottom-up Method for Generating Complex Multi-hop Reasoning Questions from Semi-structured Data
arxiv.org·17h
🧠Computational Logic
Flag this post
Scanner-Agnostic MRI Harmonization via SSIM-Guided Disentanglement
arxiv.org·1d
🌀Riemannian Computing
Flag this post
Bridging Perception and Reasoning: Dual-Pipeline Neuro-Symbolic Landing for UAVs in Cluttered Environments
arxiv.org·1d
🔲Cellular Automata
Flag this post