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
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