Adapting classical deception theory to cyber counterintelligence: challenges and opportunities
tandfonline.com·15h
🇸🇪Swedish Cryptanalysis
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·5d
⏰Time Crystals
Intranasal Delivery of Ivermectin Nanosystems as an Antitumor Agent
pubs.acs.org·9h·
Discuss: Hacker News
🧬Copy Number Variants
Toy Binary Decision Diagrams
philipzucker.com·6d
🧮Algebraic Datatypes
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·3d
🔗Functional Compilers
Fundamental Interconnectedness of All Things on Talking Postgres Podcast
talkingpostgres.com·23h·
Discuss: Hacker News
🧬PostgreSQL Forensics
7 reasons to use Bayesian inference!
statmodeling.stat.columbia.edu·11h·
Discuss: Hacker News
🧮Kolmogorov Bounds
SAT problems are kind of cool
blog.karanjanthe.me·3d·
Discuss: Hacker News
🧮SMT Solvers
The Absolute Minimum Every Developer Must Know About Unicode and Character Sets
joelonsoftware.com·3d·
Discuss: Hacker News
🔤Character Encoding
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·5d·
Discuss: Hacker News
💻Local LLMs
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·1d·
Discuss: Hacker News
📊Quantization
Parallel-in-Time Solution of Allen-Cahn Equations by Integrating Operator Learning into the Parareal Method
arxiv.org·1d
🕸️Tensor Networks
Proofs of quantum memory
arxiv.org·4d
⚛️Quantum Tape
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·18h·
Discuss: DEV
🛡️Error Boundaries
Detecting and Mitigating Insertion Hallucination in Video-to-Audio Generation
arxiv.org·1d
👁️Perceptual Coding
Automated Spectral Analysis for Precision Dimension Stone Grading & Yield Optimization
dev.to·14h·
Discuss: DEV
🌈Spectroscopy
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔐Quantum Cryptography
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
A Proof of the Riemann Hypothesis
future.forem.com·2d·
Discuss: DEV
🎯Arithmetic Coding Theory