On This Day in Math - June 26
pballew.blogspot.com·4h·
Discuss: www.blogger.com
🗃️Punched Cards
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Machines of Faithful Obedience
windowsontheory.org·1d
🔲Cellular Automata
Mirror Life
gov.uk·21h·
Discuss: Hacker News
🧬Copy Number Variants
Threaded Code
muforth.dev·22h·
Discuss: Hacker News
🦀Rust Macros
Show HN: Enigma Machine and Bombe Implemented in eBPF – Turing's 113th Birthday
github.com·2d·
Discuss: Hacker News
🛡️eBPF Security
Unveiling the Magic of Variational Autoencoders: Learning to Generate from Data
dev.to·2h·
Discuss: DEV
🧠Neural Compression
Understanding Backpropagation and Gradient Descent in Neural Networks
dev.to·2d·
Discuss: DEV
🧠Neural Codecs
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·18h·
Discuss: Substack
🦀Rust Macros
Fast ground penetrating radar dual-parameter full waveform inversion method accelerated by hybrid compilation of CUDA kernel function and PyTorch
arxiv.org·5h
⚙️Tape Engineering
Quantum spin currents in graphene without external magnetic fields pave way for ultra-thin spintronics
phys.org·1d
⚛️Quantum Channels
ReMAR-DS: Recalibrated Feature Learning for Metal Artifact Reduction and CT Domain Transformation
arxiv.org·1d
📊Learned Metrics
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·18h·
Discuss: DEV
✓Automated Theorem Proving
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
Design Patterns After the Singularity: Rethinking the Gang of Four for an AI-Driven Stack
dev.to·1d·
Discuss: DEV
⚙️TLA+
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Online Algorithms for Recovery of Low-Rank Parameter Matrix in Non-stationary Stochastic Systems
arxiv.org·1d
📐Linear Algebra
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.to·1d·
Discuss: DEV
⚡Modern Compression
Magically reducing errors in quantum computers: Researchers invent technique to decrease overhead
phys.org·5d
⚛️Quantum Tape
Tech Breakthroughs of June 2025
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals