Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·1d
🎯Performance Proofs
BusyBeaver(5) is now known to be 47,176,870
scottaaronson.blog·10h
📐Interval Arithmetic
Chromatin-associated condensates as an inspiration for future DNA computers
nyaspubs.onlinelibrary.wiley.com·3h·
Discuss: Hacker News
🧬Palindrome Codes
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·1d·
Discuss: Hacker News
👑Coq Tactics
Scaling Speculative Decoding with Lookahead Reasoning
hao-ai-lab.github.io·1d
🔧Reed-Solomon Decoders
Rice-like complexity lower bounds for Boolean and uniform automata networks
arxiv.org·25m
🎯Performance Proofs
Membership Card and RCA 1802 Microcomputer Kits – The Sunrise EV2 Project
sunrise-ev.com·12h·
Discuss: Hacker News
🎮Gameboy Emulation
ashvardanian/StringZilla
github.com·2h
🔄Burrows-Wheeler
The Point Is Addressing
cacm.acm.org·10h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Mathematical Evidence for Confident Delusion States in Recursive Systems
github.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Supersimulators
arxiv.org·1d
🎯Performance Proofs
A New Brain-on-a-Chip May Usher in the Beginning of the Singularity
popularmechanics.com·10h
⚡Homebrew CPUs
DNA-Encoded Data Retrieval via Microfluidic Chip-Based Sequencing Optimization
dev.to·22h·
Discuss: DEV
🧬Copy Number Variants
Theory Meets Practice for Bit Vectors Supporting Rank and Select
arxiv.org·1d
🔢Bitwise Algorithms
Imec's superconducting chips to shrink power usage 100x (2024)
spectrum.ieee.org·11h·
Discuss: Hacker News
⚛️Quantum Tape
Huxe: A Personal Intelligence System
huxe.com·10h·
Discuss: Hacker News
🧲Magnetic Domains
RGDBEK: Randomized Greedy Double Block Extended Kaczmarz Algorithm with Hybrid Parallel Implementation and Applications
arxiv.org·25m
⚡SIMD Vectorization
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·1d
📞Session Types
Creating a database of motivated proofs
gowers.wordpress.com·1d·
Discuss: Hacker News
🎯Performance Proofs
Selective Population Protocols
arxiv.org·1d
🔲Cellular Automata