🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Devious Tricks Pathogens Use Against Us (2024)
rachel.fast.ai·1d·
Discuss: Hacker News
🔲Cellular Automata
Understand the Temporary Allocator; Understand Arenas
zylinski.se·3h·
Discuss: Lobsters, Hacker News
🧠Memory Allocators
Deception in Depth: PRC-Nexus Espionage Campaign Hijacks Web Traffic to Target Diplomats
cloud.google.com·22h·
Discuss: Hacker News
🎫Kerberos Exploitation
The Cost of Winning:How RL Training on Poker Leads to Evil LLMs
tobysimonds.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Teams Grow Organically
frederickvanbrabant.com·23h·
Discuss: Hacker News, r/programming
🔄Lens Laws
Trading Grids: A Technical Deep Dive
koolcodez.com·1d·
Discuss: Hacker News
🌊Stream Processing
Are we creating intelligence, or discovering it?
medium.com·1d·
Discuss: Hacker News, r/LLM
🧠Intelligence Compression
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·5d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Web hosting software cPanel: Updates close security gap
heise.de·1d
🛡️WASM Security
How Retrieval Algorithms Shape Better LLM Responses?
dev.to·11h·
Discuss: DEV
🔍Information Retrieval
Explainable AI (XAI) for Arrhythmia detection from electrocardiograms
arxiv.org·8h
🧠Machine Learning
Accelerating legacy code modernization: EPAM’s journey with Amazon Q Developer
aws.amazon.com·13h
🔄Reproducible Builds
Walter Writes AI Review
dev.to·8h·
Discuss: DEV
⚡Proof Automation
12 AI-Related Projects You Can Build in Termux
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
TRIM: Accelerating High-Dimensional Vector Similarity Search with Enhanced Triangle-Inequality-Based Pruning
arxiv.org·8h
🗂️Vector Databases
AI Product Value Assessment Model: An Interdisciplinary Integration Based on Information Theory, Economics, and Psychology
arxiv.org·8h
🧠Intelligence Compression
Wavelet-Enhanced PaDiM for Industrial Anomaly Detection
arxiv.org·1d
🧠Machine Learning
Sentiment-Aware Mean-Variance Portfolio Optimization for Cryptocurrencies
arxiv.org·1d
🔍BitFunnel
Political Ideology Shifts in Large Language Models
arxiv.org·1d
📝ABNF Extensions
Disentangling the Factors of Convergence between Brains and Computer Vision Models
arxiv.org·8h
📊Learned Metrics