🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Building Your Own PKI with Step-CA – From Root CA to Proxmox Integration with ACME
gyptazy.com·1d
🔐PKI Archaeology
Daily briefing: The oldest rocks on Earth
nature.com·18h
🔲Cellular Automata
Offensive Systems for Use in Deep-Space Combat
web.archive.org·1d·
Discuss: Hacker News
🔬Projection Optics
Ruthless prioritization while the dog pees on the floor
longform.asmartbear.com·1d·
Discuss: Hacker News
🧠Query Planners
Why Training on Time Series Beats Fine-Tuning LLMs for Time Series Tasks
hackernoon.com·10h
📈Time Series
AI Personal Finance Manager - Automated Wealth Building & Budget Optimization
dev.to·2d·
Discuss: DEV
🎛️Feed Filtering
How (Not) To Write a Software Engineering Abstract
arxiv.org·1d
📊Static Analysis
Built My First AI Agent Without Code Using SmythOS (Weaver is wild)
dev.to·2d·
Discuss: DEV
📐Proof Assistants
Can humans speak the language of machines?
medium.com·15h·
Discuss: Hacker News
🚀SIMD Text Processing
CycleVAR: Repurposing Autoregressive Model for Unsupervised One-Step Image Translation
arxiv.org·45m
🌀Fractal Compression
Android Made Accessible: Kotlin Code Generation from Natural Language
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Self-Healing APIs with MCP: No more SDKs
dev.to·13h·
Discuss: DEV
🔌Interface Evolution
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751179017158100）
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Security news weekly round-up - 27th June 2025
dev.to·3d·
Discuss: DEV
🔓Hacking
Large Language Models as symbolic DNA of cultural dynamics
arxiv.org·1d
🔲Cellular Automata
HarmonyOS development: wrapBuilder passing parameters
dev.to·1d·
Discuss: DEV
📰SGML
A Clinically-Grounded Two-Stage Framework for Renal CT Report Generation
arxiv.org·45m
⧗Information Bottleneck
How to create an AI ChatBot and flex in front of your dumb friends
dev.to·9h·
Discuss: DEV
🎙️Whisper
Programming Entry Level: cheat sheet github
dev.to·2d·
Discuss: DEV
🌿git
Mental Models and Potemkin Understanding in LLMs
alangrow.com·2d
🔲Cellular Automata