dyb
- The verification bottleneck is one bottleneck w two victims —
- The Dispatch Test Has a Blind Spot Where the Attacks Live —
- The Bitter Lesson for Harness Builders —
- Selective Test Execution at Stripe: Dynamic Discovery and Verification at Massive Scale —
- Access-as-a-Service —
- Experimental Asymmetric Relativistic Zero-Knowledge Proofs with Unconditional Security —
- Minsky Society of Mind at 40 —
- TrapDoor: When the Second Hop Is Your AI Assistant —
- The Abstraction Layer Held Longer Than I Expected. Now It Didn't. —
- Mini Shai-Hulud: Trust Stack on Fire —
- The Decision Nobody Makes —
- The Agentic Flattening Effect —
- Your GitHub Actions Workflow Is Probably Misconfigured —
- Shadow Admin: The Optimizer as Adversary —
- Mini Shai-Hulud: npm Worm, SLSA Forgery, and the CI Pipeline as Attack Surface —
- Black-Box AI Safety Evaluation Is Mathematically Underdetermined and Operationally Misapplied —
- CMMC 2.0 and Why "Delete" and "Destroy" Matter in Cybersecurity —
- The Resume That Recognized Itself —
- Defeating the Fiber-Optic FPV Threat: Counter-UAS for the MAFAT —
- The String Does Not Vibrate. Its Incompleteness Does —
- 4th or 5th (12th) assassination attempt on DJT —
- Harnad Won —
- Four (Five) Substrates, One Fortress —
- Supervisory Use of Lambda in Synthetic Risk Transfer —
- LatticeOS, AOM and Golden Dome —
- Empirical Validation of the Compiler-as-NUM Hypothesis —
- Formal NUM Mapping: The Baal Shem Tov’s Constraint Reprogramming Protocol —
- Can a Compiler's Inlining Heuristic Be Reframed as Distributed Optimization? —
- The Collapse of the Abstraction Layer —
- CUE for Safety-Critical Configuration —
- CUE as Apotheosis of Langsec / Infrastructure as (Proven) Code —
- Notes on AI Acceleration Bottlenecks: Energy & Grid Constraints Dominating 2026–2028 Digestion Phase —
- How Secure is Secure Code Generation? Adversarial Prompts Put LLM Defenses to the Test —
- Kalai 2512.10722 (Dec 2025) Further Statistical Study of NISQ Experiments —
- Matni et al - Distributionally Robust Imitation Learning —
- NUM v3 refracting 1802.02175 black-hole geometry → quantum-circuit complexity → complexity-class separation —
- Schuster et al. 2510.08503 (2025) "Hardness of recognizing phases of matter" —
- Compilers as a Decomposed Optimization Systems (part 1) —
- On Trusting Semantic-Level Trust —
- A Fundamental Bound for Robust Quantum Gate Control —
- Rosh Hashanah Kavanot & Mindsets —
- Quantum Statistical Witness Indistinguishability —
- Trapezoid subsystem codes for near-term analog quantum processors. —
- IACR 2025/1021 Generic cryptography cannot anchor watermarking that survives constant noise —
- The Lighter System Architecture —
- Scaling superconducting quantum technology —
- Approximating the Quantum Value of an LCS Game is RE-Hard —
- AI bots simulation: Us vs Them triaging —
- ObfusQate Quantum Program Obfuscation Framework —
- Latency Attacks against Vehicular Cooperative Perception —
- 2506.21734 HIERARCHICAL REASONING MODEL —
- 10.1145/3717823.3718133 OWPuzz exist ⟺ IV-PoQ ⟺ quantum advantage —
- Zero-Knowledge Proofs of Real-World Vulnerabilities At Scale —
- ARV-Q RISC-V extension for PQC —
- 10.1088/1751-8121/ad0439 Unlikely Speed-Up of Adiabatic Quantum Annealing —
- iacr.org 2024-1963 Summary and Code Repo of "Proof of Time: A Method for Verifiable Temporal Commitments Without Timestamp Disclosure" —
- Kimi dreaming with arXiv:2502.09864v1 —
- Notes on 10.22331/q-2025-01-30-1617 noise-induced barren plateaus in VQA —
- Constructing Markov Chains for Target Distributions: Gaussian, Cauchy, Gumbel, and Planck’s Law via Detailed Balance —
- Hypothesis: Cybersecurity Lessons Transfer to LLM Safety —
- Summary 10.1088/1361-6633/adac8b Rigorous linking runtime (or gate count) of quantum algorithms to noise resilience —
- Iran 359 Loitering Drone: ACH Analysis —
- Summary 10.1103/PhysRevResearch.7.L012017 Noise-tolerant Grover's algorithm via success-probability prediction —
- Notes on 10.62056/ayiv4fe-3 Zero-Knowledge Proofs of Quantumness —
- Summary 2501.05868 Quantum Speedup for Nonreversible Markov Chains —
- 10.1038/s41598-024-80188-6 Characterizing Grover search on IBM Quantum’s 127-qubit superconducting quantum computer —
- 10.26599/TST.2024.9010028 Factorization of RSA-2048 by Quantum Annealing on D-Wave QC —
- Analysis 2411.07972 "A Zero-Knowledge PCP Theorem" —
- Notes on Google Willow (2024) aka "Quantum Error Correction Below the Surface Code Threshold" —
- Notes on 2412.07781 layperson-understandable LLM 'self' —
- Notes 2024-1847 limitations of quantum cryptography in constructing secure protocols —
- Notes on 2410.13489 "Compiler-Induced Side-Channel Vulnerabilities in Cryptographic Libraries" —
- Dragon's Teeth: A Deep Dive into the PLA's Kamikaze Drone Arsenal and Taiwan Invasion Strategy —
- Notes on 2409.19237 "The Price of Pessimism for Automated Defense" and dyb et al 2012 Conficker Adversarial Dynamics Case Study —
- Penultimate Forensic Evidence and Crime Report: Attempted Assassination of Donald Trump 2024 —
- STRIDE IEEE C37.118 Synchrophasor Data in Power Systems —
- Interim Forensic Evidence and Crime Report: Attempted Assassination of Donald Trump 2024 July 17 —
- 2407.04014v1 Offline Energy-Optimal LLM Serving: Workload-Based Energy Models for LLM Inference on Heterogeneous Systems - Extended with Claude 3 Tokenization Investigation —
- Numerical algorithms as open dynamical systems —
- Mitigating Quantum Gate Errors for Variational Eigensolvers Using Hardware-Inspired Zero-Noise Extrapolation - Analysis Report —
- Exploring the Mechanics of Humour w LLMs —
- Can Long-Context Language Models Replace Specialized AI Systems? —
- Notes on 10.1109/MCS.2024.3382388 "A Quantitative Framework for Layered Multirate Control: Towards a Theory of Control Architecture" —