🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Week 26, 2025
brajeshwar.com·2d
🎬WebCodecs API
Gene Drive: an alternative approach to malaria control?
nature.com·12h·
Discuss: Hacker News
🌸Bloom Variants
This Terminal Multiplexer Is So Much Better for Beginners Than Tmux
howtogeek.com·1d·
Discuss: Hacker News
📟Terminals
How I Transformed My Flat into a Smart Home with Home Assistant
jonathas.com·11h·
Discuss: Hacker News, r/selfhosted
🏠Home Automation
First NetHack ascension, and insights into the AI capabilities it requires
mikaelhenaff.substack.com·3d·
Discuss: Substack
🔲Cellular Automata
Penn Engineers Turn Toxic Fungus into Anti-Cancer Compound
blog.seas.upenn.edu·6h·
Discuss: Hacker News
🧬Copy Number Variants
Blazing matrix products
panadestein.github.io·3d·
Discuss: Lobsters, Hacker News
⚡SIMD Optimization
My Rust Day 0
dev.to·10h·
Discuss: DEV
🦀Rust Macros
Inside Java’s Language Renaissance
thenewstack.io·3d·
Discuss: Hacker News
🔄Language Evolution
Everything You Should Know about Accounts on Near
dev.to·11h·
Discuss: DEV
🔄Sync Engine
Navigating Complex Decisions: Criteria & Evaluation Table
dev.to·1d·
Discuss: DEV
📇Indexing Strategies
OptGM: An Optimized Gate Merging Method to Mitigate NBTI in Digital Circuits
arxiv.org·3d
⚙️Logic Synthesis
Probing AI Safety with Source Code
arxiv.org·4d
✨Effect Handlers
Define-ML: An Approach to Ideate Machine Learning-Enabled Systems
arxiv.org·4d
🧠Machine Learning
HarmonyOS development: code generation in DevEcoStudio
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Building a Super Mario-Style Platformer Game with Amazon Q Developer
dev.to·2d·
Discuss: DEV
🖥️Modern Terminals
Implementing Multi-tenancy with Keycloak and NestJS
dev.to·2d·
Discuss: DEV
🏺Kerberos Archaeology
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·6d
👑Coq Tactics
Week 1 of Hustle2Grand: Building, Pivoting, and Figuring Stuff Out
dev.to·12h·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Becoming a 10x Engineer in the Era of AI Agents
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration