🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Win-DDoS Under the Microscope: Lab Insights into Potential Threat Behavior
corero.com·10h
🕵️Domain Enumeration
2025-08-26: Summer in the Midwest
ws-dl.blogspot.com·8h·
Discuss: ws-dl.blogspot.com
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
You Don’t Need an AI Policy — You Need Two (guest post)
dailynous.com·13h
🤖AI Curation
Security Flaws in the WebMonetization Site
shkspr.mobi·13h·
Discuss: Hacker News, shkspr.mobi
📡Feed Security
You need a kitchen slide rule
entropicthoughts.com·9h·
Discuss: Hacker News
🧮Algorithmic Cooking
Multigres Architecture Overview
multigres.com·1d·
Discuss: Hacker News
🗄️Database Sharding
Morgan Stanley Open Sources CALM: The Architecture as Code Solution Transforming Enterprise DevOps
devops.com·1d
🔗Dependency Resolution
QueryBandits for Hallucination Mitigation: Exploiting Semantic Features for No-Regret Rewriting
arxiv.org·20h
🌀Brotli Internals
Robot-Agents: End-to-End Robotics with Gemini AI & Gradio
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Evolutionary Brain-Body Co-Optimization Consistently Fails to Select for Morphological Potential
arxiv.org·20h
🔲Cellular Automata
vLLM on x86: Because Not Everyone Can Afford a GPU Cluster
dev.to·13h·
Discuss: DEV
⚡Homebrew CPUs
🚀 GitHub Copilot: A Persona-Based Approach to Real-World Development
dev.to·13h·
Discuss: DEV
🔄Reproducible Builds
I built Kostudy - An AI-first, fully-featured, open source, universal education web app
dev.to·1d·
Discuss: DEV
🔗Hypermedia APIs
Proximal Supervised Fine-Tuning
arxiv.org·20h
💻Local LLMs
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·1d
💻CS
EyeMulator: Improving Code Language Models by Mimicking Human Visual Attention
arxiv.org·20h
📊Feed Optimization
Simulation Results of Distributed Fair Assignment and Rebalancing in Mobility‑On‑Demand
hackernoon.com·1d
⚡Incremental Computation
ArgusCogito: Chain-of-Thought for Cross-Modal Synergy and Omnidirectional Reasoning in Camouflaged Object Segmentation
arxiv.org·20h
🤖Advanced OCR
Uncertainty Propagation Networks for Neural Ordinary Differential Equations
arxiv.org·20h
📊Quantization
On the Edge of Memorization in Diffusion Models
arxiv.org·20h
📊Learned Metrics