🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Devious Tricks Pathogens Use Against Us (2024)
rachel.fast.ai·19h·
Discuss: Hacker News
🔲Cellular Automata
Catch Secrets in Real Time on GitHub with EnvScanner 2.0 and AI
hackernoon.com·1d
🔄Archival Workflows
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·16h·
Discuss: Hacker News, r/programming
🔄Lens Laws
Why Some Companies Scale Effortlessly While Others Hit Walls
adia.substack.com·5h·
Discuss: Substack
🔌Interface Evolution
Trading Grids: A Technical Deep Dive
koolcodez.com·20h·
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
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·5h·
Discuss: Hacker News
🦀Rusty Databases
A Laplace diffusion-based transformer model for heart rate forecasting within daily activity context
arxiv.org·1h
🎙️Whisper
Walter Writes AI Review
dev.to·2h·
Discuss: DEV
⚡Proof Automation
Effective Clustering for Large Multi-Relational Graphs
arxiv.org·1h
🌊Spectral Clustering
Being Kind Isn't Always Being Safe: Diagnosing Affective Hallucination in LLMs
arxiv.org·1h
⬌Bidirectional Typing
Explainable AI (XAI) for Arrhythmia detection from electrocardiograms
arxiv.org·1h
🧠Machine Learning
TRIM: Accelerating High-Dimensional Vector Similarity Search with Enhanced Triangle-Inequality-Based Pruning
arxiv.org·1h
🗂️Vector Databases
AI Product Value Assessment Model: An Interdisciplinary Integration Based on Information Theory, Economics, and Psychology
arxiv.org·1h
🧠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·7h
🔄Reproducible Builds
12 AI-Related Projects You Can Build in Termux
dev.to·3d·
Discuss: DEV
🌀Brotli Internals