🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·4d
💻Programming languages
Harvey Launches Deep Research for Legal
artificiallawyer.com·20h·
Discuss: Hacker News
⚡Proof Automation
Show HN: Shouldiuse.dev – software dependency health checker
shouldiuse.dev·17h·
Discuss: Hacker News
🔓Open Source Software
5 Ways to Automate Security and Compliance in a Cloud-First World
hackernoon.com·1d
🔓Hacking
Using Generative AI to Strengthen & Accelerate Learning • Barbara Oakley • GOTO 2024
youtube.com·1d
🔲Cellular Automata
1Password
corrode.dev·2d
🦀Rust Borrowing
Ranking generative AI companies from most to least evil
cwodtke.medium.com·18h·
Discuss: Hacker News
🔲Cellular Automata
From Detection to Response: The Power of SOC Solutions
infosecwriteups.com·3h
🚨Incident Response
Ormer: A Manipulation-resistant and Gas-efficient Blockchain Pricing Oracle for DeFi
arxiv.org·3d
🔗Hash Chains
Exploring High Efficiency Web Analysis Results（1750904353002600）
dev.to·2d·
Discuss: DEV
🌊Stream Processing
I just shipped my very first tool alongside my coursework and internship – meet HexAPI Generator
dev.to·7h·
Discuss: DEV
🇯🇵Japanese Computing
I just open-sourced a reasoning engine worth $1M+ — and only realized it *after* the release 😅
dev.to·5h·
Discuss: DEV
🚀Indie Hacking
Here is a creative heading for the blog post: "The Phantom Hackers: Unmasking the Invisible Foes of
dev.to·1d·
Discuss: DEV
🛡Cybersecurity
How We Built an AI-Powered Legal Timeline Generator
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Web Agents That Actually Understand Websites: How Notte's Perception Layer Solves the DOM Problem
dev.to·22h·
Discuss: DEV
🗣️Domain-Specific Languages
Programming Entry Level: how to interpreter
dev.to·3d·
Discuss: DEV
🔗Lisp
Memory Safety in Web Rust System Zero Cost Secure（1750931826373700）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751016812847900）
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Mastering Go Modules: Create, Publish, Conquer! 🚀
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Juris: The Framework That Scales From Beginner to Expert Developer
dev.to·1d·
Discuss: DEV
⚡Effectful Programming