🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·2d
🔐Cryptographic Archaeology
AWS, Cloudflare, Digital Ocean, and Google helped Feds investigate alleged Rapper Bot DDoS perp
theregister.com·3h
🔓Hacking
DEF CON 33: Field Notes on AI Security, AI Red Teaming, and the Road Ahead
hackerone.com·3d
⚔️Lean Tactics
The latest 10 hour podcast from Lex Summarized to 18 bullets
andrewarrow.dev·11h·
Discuss: Hacker News
📰RSS Archaeology
The Nickel Configuration Language
nickel-lang.org·1d·
Discuss: Hacker News
📋Format Specification
Knuth’s Twindragon
johndcook.com·1d
📐Mathematical Art
How I Approach Performance Investigations – By Rico Mariani
ricomariani.medium.com·7h·
Discuss: Hacker News
🎯Performance Forensics
Sentiment-Aware Mean-Variance Portfolio Optimization for Cryptocurrencies
arxiv.org·26m
🔍BitFunnel
Statistical Comparative Analysis of Semantic Similarities and Model Transferability Across Datasets for Short Answer Grading
arxiv.org·26m
🤖Grammar Induction
I Taught My JavaScript AI to Rewrite Its Own Code
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Optimized FPGA-Based Low-Noise Amplifier Pipeline for Millimeter-Wave ET PA Systems
dev.to·21h·
Discuss: DEV
⚡Circuit Verification
Diving Deep: Understanding the Mechanics
dev.to·4d·
Discuss: DEV
📏Range Queries
Simpler Category Theory
ryanbrewer.dev·4d·
Discuss: Hacker News
🔀Category Theory
A Guide to Gen AI / LLM Vibecoding for Expert Programmers
stochasticlifestyle.com·2d·
Discuss: Hacker News
⚔️Lean Tactics
SafeLLM: Unlearning Harmful Outputs from Large Language Models against Jailbreak Attacks
arxiv.org·3d
💻Local LLMs
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·3d·
Discuss: Hacker News
🔍Concolic Testing
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·3d
✅Formal Methods
A deep reinforcement learning agent trained for interval timing exhibits similarities to biological systems
arxiv.org·26m
🔲Cellular Automata
AI Browsers Are Rewriting This New Age of the Internet: Here's How
hackernoon.com·13h
🔗Hypermedia APIs
VR Fire safety training application
arxiv.org·26m
📟Terminal Physics