curius graph

all pages

showing 103901-103950 of 203865 pages (sorted by popularity)
Eliminating Memory Safety Vulnerabilities Once and For All
Evolutionary Scale · ESM Cambrian: Revealing the mysteries of proteins with unsupervised learning
Securing the Black Box: OpenAI, Anthropic, and GDM Discuss | Andreessen Horowitz
How to Think About Foundation Models for Cybersecurity | Andreessen Horowitz
Byron Cook - Amazon Science
Automated reasoning's scientific frontiers - Amazon Science
AWS Security Profile: Byron Cook, Director of the AWS Automated Reasoning Group | AWS Security Blog
Introducing CatColab – Topos Institute
Common misconceptions about OpenAI — LessWrong
VeriLib
SV-COMP - International Competition on Software Verification
[2405.01787] Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Prosecco – Programming securely with cryptography
Electroweak interaction
F*: A Proof-Oriented Programming Language
Stephen Kotkin on Stalin, Power, and the Art of Biography (Ep. 228) | Conversations with Tyler
War, Deficits, and the Russian Economy: An Uphill Battle to Nowhere
Gradient Routing: Masking Gradients to Localize Computation in Neural Networks — AI Alignment Forum
Taking Anglofuturism seriously – Soft Machines
AI-Driven Strategic Transformation: Preparing to Pivot
WH-1000XM5: A Guide For Maximizing Audio Quality : r/SonyHeadphones
numericalEFT/FeynmanDiagram.jl: Computational graph representation of multiloop Feynman diagrams
El Salvador to scale back bitcoin dreams to seal $1.3bn IMF deal
The Case Against Google’s Claims of “Quantum Supremacy”: A Very Short Introduction. | Combinatorics and more
Timothy Chow’s Amazing Fifteen Boxes Puzzle (TYI 56) | Combinatorics and more
Cato Institute Report to the Department of Government Efficiency (DOGE) | Cato Institute
Health insurance companies are not the main villain - Marginal REVOLUTION
Ezra Klein & Derek Thompson - Long Now
Hyperscale
Knowledge is Freedom — LessWrong
A Rational Argument — LessWrong
San Francisco - Book - Skiplagged
Hacker Fab Documentation | Hacker Fab
hashcat - advanced password recovery
HOWTO: Get tenure
Is GPT-N bounded by human capabilities? No. — LessWrong
Thiel on Progress and Stagnation - Google Docs
Acausal normalcy — LessWrong
Debate: Sparks versus embers - YouTube
A dataset of questions on decision-theoretic reasoning in Newcomb-like problems — AI Alignment Forum
Links in Progress: All the single people - by Boom
[2409.11321] SOAP: Improving and Stabilizing Shampoo using Adam
Learning from Dynamics - YouTube
Geometric Exploration, Arithmetic Exploitation — LessWrong
mathematical theory of Bayesian statistics [book review] | Xi'an's Og
The Elon Swing Voter | the singularity is nearer
Introducing the Anthropic Fellows Program
Reading Recommendations | Annoying Precision
Threat-Resistant Bargaining Megapost: Introducing the ROSE Value — LessWrong
Translating All C to Rust