🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Some National Guard units in Washington, DC, now carry firearms, as Trump threatens more democratic cities
lemonde.fr·1d
🛡Cybersecurity
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Do Nothing Preemption
papers.ssrn.com·3h·
Discuss: Hacker News
⚖️Hoare Logic
Perplexity's AI Browser Comet Vulnerable To Prompt Injection Attacks That Hijack User Accounts
it.slashdot.org·9h
🔓Hacking
[P] AI Learns to play Sonic 2 Emerald Hill (Deep Reinforcement...
youtube.com·1d
🎮Gameboy Emulation
Episode 100
reloadin.net·7h·
Discuss: Hacker News
📡Network Protocol Design
PlaneShift
en.wikipedia.org·10h·
Discuss: Hacker News
🏺Gaming Archaeology
Statistical mechanics method helps machines better understand complex systems
phys.org·8h
🔲Cellular Automata
It's okay to solve a problem twice
til.andrew-quinn.me·2d·
Discuss: Hacker News
⚡Proof Automation
Tell HN: Where are we going? An inversion of the interaction paradigm
news.ycombinator.com·1d·
Discuss: Hacker News
🔲Cellular Automata
How Retrieval Algorithms Shape Better LLM Responses?
dev.to·2h·
Discuss: DEV
🔍Information Retrieval
[D] Views on LLM Research: Incremental or Not?
reddit.com·1d·
Discuss: r/MachineLearning
💻Programming languages
12 AI-Related Projects You Can Build in Termux
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Accelerating legacy code modernization: EPAM’s journey with Amazon Q Developer
aws.amazon.com·4h
🔄Reproducible Builds
Quantifying Stochastic Discount Rates via Bayesian Inference & Adaptive Portfolio Optimization
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Political Ideology Shifts in Large Language Models
arxiv.org·22h
📝ABNF Extensions
Made a one piece knowledge benchmark
reddit.com·1d·
Discuss: r/artificial
🧮Z3 Solver
Securing the Cloud in an Age of Escalating Cyber Threats
darkreading.com·12h
🛡Cybersecurity
Day 76: When Your Brain Runs on 2% Battery But You Keep Coding
dev.to·7h·
Discuss: DEV
🔩Systems Programming
**High-Performance Packet Processing: Combining eBPF, XDP, and Go for Million-Packet-Per-Second Throughput**
dev.to·7h·
Discuss: DEV
🛡️eBPF Programs