🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Win-DDoS Under the Microscope: Lab Insights into Potential Threat Behavior
corero.com·3h
🕵️Domain Enumeration
2025-08-26: Summer in the Midwest
ws-dl.blogspot.com·2h·
Discuss: ws-dl.blogspot.com
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
LibreOffice Stakes Claim as Strategic Sovereignty Tool For Governments
news.slashdot.org·2h
🔓Open Source Software
You Don’t Need an AI Policy — You Need Two (guest post)
dailynous.com·7h
🤖AI Curation
AI Lead Generation
dealmayker.com·17m·
Discuss: Hacker News
🤖Grammar Induction
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·1d·
Discuss: Hacker News
📐Linear Algebra
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·20h
🔗Dependency Resolution
Chaos or comfort: a reflection on the engineer's quest
carette.xyz·1d·
Discuss: Hacker News
🔐Capability Systems
What it took to make a multi-agent trading simulation durable and observable
union.ai·5d·
Discuss: Hacker News
⚡Proof Automation
Beyond the ban: A better way to secure generative AI applications
blog.cloudflare.com·1d
🔒Language-based security
AI-First Platform Engineering: 3 Signals From PlatformCon
thenewstack.io·1d
🏠Homelab Orchestration
🚀 GitHub Copilot: A Persona-Based Approach to Real-World Development
dev.to·6h·
Discuss: DEV
🔄Reproducible Builds
QueryBandits for Hallucination Mitigation: Exploiting Semantic Features for No-Regret Rewriting
arxiv.org·14h
🌀Brotli Internals
Evolutionary Brain-Body Co-Optimization Consistently Fails to Select for Morphological Potential
arxiv.org·14h
🔲Cellular Automata
Proximal Supervised Fine-Tuning
arxiv.org·14h
💻Local LLMs
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·1d
💻CS
How Hackers Trick AI: The Hidden World of Prompt Injections and Jailbreaks
dev.to·2d·
Discuss: DEV
🔓Hacking
EyeMulator: Improving Code Language Models by Mimicking Human Visual Attention
arxiv.org·14h
📊Feed Optimization
Simulation Results of Distributed Fair Assignment and Rebalancing in Mobility‑On‑Demand
hackernoon.com·20h
⚡Incremental Computation