🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

2025-08-26: Summer in the Midwest
ws-dl.blogspot.com·11h·
Discuss: ws-dl.blogspot.com
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Win-DDoS Under the Microscope: Lab Insights into Potential Threat Behavior
corero.com·13h
🕵️Domain Enumeration
Three Cheers for XProc 3 Running XSpec Tests
medium.com·4h
🔄Language Evolution
You Don’t Need an AI Policy — You Need Two (guest post)
dailynous.com·17h
🤖AI Curation
Researchers flag code that uses AI systems to carry out ransomware attacks
cyberscoop.com·7h
🚀Indie Hacking
Multigres Architecture Overview
multigres.com·1d·
Discuss: Hacker News
🗄️Database Sharding
Not So Prompt: Prompt Optimization as Model Selection
gojiberries.io·3d·
Discuss: Hacker News
⚙️Compression Benchmarking
The Struggle of Wrapping a JavaScript Game for Desktop
jslegenddev.substack.com·31m·
Discuss: Substack
🔓Open Source Software
Morgan Stanley Open Sources CALM: The Architecture as Code Solution Transforming Enterprise DevOps
devops.com·1d
🔗Dependency Resolution
Chaos or comfort: a reflection on the engineer's quest
carette.xyz·1d·
Discuss: Hacker News
🔐Capability Systems
Best 10 AI Coding Sites in 2025: Which One Should You Trust?
medium.com·1d·
Discuss: Hacker News
🚀Indie Hacking
🚀 GitHub Copilot: A Persona-Based Approach to Real-World Development
dev.to·16h·
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
QueryBandits for Hallucination Mitigation: Exploiting Semantic Features for No-Regret Rewriting
arxiv.org·1d
🌀Brotli Internals
Evolutionary Brain-Body Co-Optimization Consistently Fails to Select for Morphological Potential
arxiv.org·1d
🔲Cellular Automata
vLLM on x86: Because Not Everyone Can Afford a GPU Cluster
dev.to·17h·
Discuss: DEV
⚡Homebrew CPUs
Proximal Supervised Fine-Tuning
arxiv.org·1d
💻Local LLMs
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·2d
💻CS
EyeMulator: Improving Code Language Models by Mimicking Human Visual Attention
arxiv.org·1d
📊Feed Optimization
Simulation Results of Distributed Fair Assignment and Rebalancing in Mobility‑On‑Demand
hackernoon.com·1d
⚡Incremental Computation