🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Win-DDoS Under the Microscope: Lab Insights into Potential Threat Behavior
corero.com·7h
🕵️Domain Enumeration
2025-08-26: Summer in the Midwest
ws-dl.blogspot.com·5h·
Discuss: ws-dl.blogspot.com
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
LibreOffice Stakes Claim as Strategic Sovereignty Tool For Governments
news.slashdot.org·5h
🔓Open Source Software
You Don’t Need an AI Policy — You Need Two (guest post)
dailynous.com·10h
🤖AI Curation
Multigres Architecture Overview
multigres.com·22h·
Discuss: Hacker News
🗄️Database Sharding
Not So Prompt: Prompt Optimization as Model Selection
gojiberries.io·2d·
Discuss: Hacker News
⚙️Compression Benchmarking
Morgan Stanley Open Sources CALM: The Architecture as Code Solution Transforming Enterprise DevOps
devops.com·23h
🔗Dependency Resolution
Best 10 AI Coding Sites in 2025: Which One Should You Trust?
medium.com·1d·
Discuss: Hacker News
🚀Indie Hacking
QueryBandits for Hallucination Mitigation: Exploiting Semantic Features for No-Regret Rewriting
arxiv.org·17h
🌀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·17h
🔲Cellular Automata
🚀 GitHub Copilot: A Persona-Based Approach to Real-World Development
dev.to·10h·
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·17h
💻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·17h
📊Feed Optimization
Simulation Results of Distributed Fair Assignment and Rebalancing in Mobility‑On‑Demand
hackernoon.com·23h
⚡Incremental Computation
Uncertainty Propagation Networks for Neural Ordinary Differential Equations
arxiv.org·17h
📊Quantization
ArgusCogito: Chain-of-Thought for Cross-Modal Synergy and Omnidirectional Reasoning in Camouflaged Object Segmentation
arxiv.org·17h
🤖Advanced OCR
On the Edge of Memorization in Diffusion Models
arxiv.org·17h
📊Learned Metrics