Turing is king
blogger.com·3d
🔧Hardware Verification
Updates!
scottaaronson.blog·2d
🌳Context free grammars
Securing the Quantum Age
paloaltonetworks.com·1d
🔐Quantum Security
The Equality Delete Problem in Apache Iceberg
risingwave.com·1d·
Discuss: Hacker News
🗄️PostgreSQL WAL
Automated Verification of Model-Based Design Transformations via Formal Methods and Deep Learning
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Using sound to remember quantum information 30 times longer
phys.org·2d·
Discuss: Hacker News
⚛️Quantum Tape
Public vs. Private LLMs: Another One Rides the Bus
dev.to·57m·
Discuss: DEV
💻Local LLMs
Quantum Algorithm Benchmarking via Dynamically-Adjusted Error Mitigation on Superconducting Qubit Arrays
dev.to·19h·
Discuss: DEV
⚛️Quantum Error Correction
Building a Simple AI DAW
blog.jonaylor.com·1d·
Discuss: Hacker News
🎧Learned Audio
Nonlocal Monte Carlo via Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.org·2d
🔗Combinatory Logic
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
arxiv.org·2d
🌐Protocol Synthesis
Efficient Differentiable Hardware Rasterization for 3D Gaussian Splatting
arxiv.org·2d
🌊Streaming Algorithms
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Re-Architecting AI For Power
semiengineering.com·1d·
Discuss: Hacker News
🖥️Hardware Architecture
Transformer-Mediated Immune Cell Self/Non-Self Discrimination via Contextualized Peptide Motif Analysis
dev.to·1h·
Discuss: DEV
📈Mutual Information
Generative AI for Cybersecurity of Energy Management Systems: Methods, Challenges, and Future Directions
arxiv.org·1d
🔍Vector Forensics
Automated Flux Pinning Optimization in Wires via Digital Twin Simulation
dev.to·13h·
Discuss: DEV
⚙️Tape Engineering
50x Faster Code and Fewer Bugs? Ditch the Classes
hackernoon.com·20h
📏Code Metrics
Typechecker Zoo
sdiehl.github.io·8h·
Discuss: Lobsters
λLambda Formalization