🐓 Coq - Handler4605 · Scour

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice 📐TLA+

We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase 🌀Agda

types.pl·2d·Lobsters

Mizar: the first usable proof assistant for mathematics 📐Lean

lawrencecpaulson.github.io·1d·Hacker News

MyceliaCognition/chaos-prover: Autonomous Neuro-Symbolic formal verification engine for Lean 4. 📐Lean

github.com·5d·Hacker News

MicroConf Tactics: Give Me 36 Minutes and I'll Teach You How to Find $1M SaaS Ideas 🧠Query Planners

microconfpodcast.com·2d

Verifying Poseidon in Clean: Why the Last 'Sorry' Is About Primality 📐Lean

blog.zksecurity.xyz·3d·Hacker News

Show HN: I'm 18 and built TacticMax, a free offline chess tactics app 🎲Tabletop Design

tacticmax.netlify.app·2d·Hacker News

How CISOs Reduce Cyber Risk with MITRE ATT&CK 🔄Differential Dataflow

malware.news·2d

PressureGuard – Detect Fake Urgency & Shop Smarter 🗜️Compression Algorithms

chromewebstore.google.com·6d·r/chrome_extensions

Iranian cyber espionage disguised as a Chaos Ransomware attack 🤝Paxos Consensus

securityaffairs.com·1d

The Procrastination Equation: A 4-Step Fix for Task Delay 🎵Generative Music

asianefficiency.com·2d

UK Defence Tech Jobs for the week of 2026-05-04 👔Engineering Management

defencetechjobs.substack.com·4d·Substack

"This disaster was an ideological choice. If states are the laboratories of democracy, cities had become its meth labs." ⚖️Ethics of Technology

althouse.blogspot.com·1d

Watch Out For Those Fees 🔗WCOJ

defector.com·6d

Microsoft Teams will add new protections as attackers target external calls with brand impersonation tactics 📝Database WAL

windowscentral.com

·1d

Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification 📐TLA+

ChatGPT Gave Me Chilling Advice—as I Simulated Planning a Mass Shooting 📖Narrative Design

motherjones.com·2d

Codesign for Legibility (to AI and Everyone Else) 🔄Incremental Computation

lesswrong.com·3d

Cash Chaser Ports Review: Big Bad Wolf Tactics online slot Chase Large Victories & Jackpots 🎲Tabletop Design

zeekraai.org·1d

Chip Industry Technical Paper Roundup: May 5 ⚙️Mechanical Sympathy

semiengineering.com·3d

Log in to enable infinite scrolling