🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Security Affairs newsletter Round 548 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·1d
🛡Cybersecurity
Flag this post
The “Most Hated” CSS Feature: tan()
css-tricks.com·34m
🖋Typography
Flag this post
Becoming the Internet: Weighing the Options
blog.bsprague.com·1d·
Discuss: Hacker News
🕸️Mesh Networks
Flag this post
Nostr is deceptively tricky to understand
njump.me·17h·
Discuss: Lobsters, Hacker News
🔐CBOR
Flag this post
A/B Testing Could Lead LLMs to Retain Users Instead of Helping Them
newsletter.danielpaleka.com·21h·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Making Every 5x5 Nonogram: Part 1
patreon.com·2d·
Discuss: Hacker News
🧮Z3 Solver
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·3d·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·1d·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
A Hybrid Deep Learning and Forensic Approach for Robust Deepfake Detection
arxiv.org·11h
🔍Vector Forensics
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·12h·
Discuss: DEV
λLambda Formalization
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·4h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News
📐Mathematical Art
Flag this post
Decoding Autonomy: When AI Learns to Speak for Itself by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
💻Local LLMs
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·11h
🗂️Vector Databases
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·2d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·2d·
Discuss: DEV
🔧Hardware Verification
Flag this post
AI Inference: The Silent Budget Killer (and How to Stop It)
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Flag this post