🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Devious Tricks Pathogens Use Against Us (2024)
rachel.fast.ai·22h·
Discuss: Hacker News
🔲Cellular Automata
Understand the Temporary Allocator; Understand Arenas
zylinski.se·18m·
Discuss: Hacker News
🧠Memory Allocators
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·19h·
Discuss: Hacker News, r/programming
🔄Lens Laws
You can just open-source things
world.hey.com·56m·
Discuss: Hacker News
🌊Streaming Systems
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·23h
🛡️WASM Security
How Retrieval Algorithms Shape Better LLM Responses?
dev.to·8h·
Discuss: DEV
🔍Information Retrieval
AI Product Value Assessment Model: An Interdisciplinary Integration Based on Information Theory, Economics, and Psychology
arxiv.org·4h
🧠Intelligence Compression
Sentiment-Aware Mean-Variance Portfolio Optimization for Cryptocurrencies
arxiv.org·1d
🔍BitFunnel
Wavelet-Enhanced PaDiM for Industrial Anomaly Detection
arxiv.org·1d
🧠Machine Learning
Accelerating legacy code modernization: EPAM’s journey with Amazon Q Developer
aws.amazon.com·10h
🔄Reproducible Builds
12 AI-Related Projects You Can Build in Termux
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
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·4h
📊Learned Metrics
Securing the Cloud in an Age of Escalating Cyber Threats
darkreading.com·18h
🛡Cybersecurity
Thermodynamically Consistent Hybrid and Permutation-Invariant Neural Yield Functions for Anisotropic Plasticity
arxiv.org·1d
🌀Differential Geometry
Reinforcement Learning-based Control via Y-wise Affine Neural Networks (YANNs)
arxiv.org·1d
🔲Cellular Automata
From Conversation to Query: A Deep Dive into Translating Human Language into SQL with LLMs
dev.to·2d·
Discuss: DEV
🗄️Database Internals