🧮 Lean4 - tiferrei · Scour

brettkoonce/lean4-mlir: Use Lean4 to build and train image recognition networks in MLIR. 🧠Apple Neural Engine

github.com·3d·Hacker News

Lean proved this program was correct; then I found a bug 🔬Static Analysis

jmason.ie·9h

CORA: Conformal Risk-Controlled Agents for Safeguarded Mobile GUI Automation 🔲Cellular Automata

arxiv.org·1d

Aleph AI Solves 99.4% of PutnamBench, Topping Leaderboard 🧮SMT Solvers

logicalintelligence.com·18h

Lattice-Based Cryptography and Formal Verification 🛡️seL4

mayckongiovani.substack.com·1d·Substack

MoonBit 0.9: Introducing First-Class Formal Verification 🛡️seL4

moonbitlang.com·6d·Lobsters

Rules for Radicals ⬜Minimalism

en.wikipedia.org·20h

Enabling reflection-free Jackson serializers by default 📝Nix Language

quarkus.io·1d

Is the US trying to pressure China with Hormuz blockade? 🚩CTF

scmp.com

·54m·r/SCMPauto

How Paris Saint-Germain turned the long throw into a very different kind of attacking weapon 🎨GADTs

nytimes.com

·18h

icme-preflight-mcp – Check that your AI is being logical. Free tool that mathematically catches contradictions in agent reasoning. No account needed. Also offer... 🔒Protocol Verification

glama.ai·3d·r/mcp

AI buttons: Smart UX play, risky GEO tactic, or both? 🧠Apple Neural Engine

searchengineland.com·1d

Google will start penalizing “back button hijacking” with new spam policy in June 2026 🛡️Privacy Engineering

alternativeto.net·9h

Arkansas State Police press on with controlled-crash ‘PIT maneuvers’ despite injuries, deaths 🩹Self-Healing Systems

arktimes.com·1d

The SEO Tactic Founders Ignore That Works in AI Search 🧠Apple Neural Engine

inc.com·5d

FIU Investigates Students Over Anti-ICE Protest 🔐iBoot

miaminewtimes.com·6h·r/50501

How a U.S. blockade near the Strait of Hormuz could work and the impact ahead for the global economy 🚩CTF

ctvnews.ca·1d

The world has stopped fearing Trump’s bullying: report 🧠Apple Neural Engine

alternet.org·7h

99Managers Futsal 🚩CTF

flathub.org·5d

A Biologist Explains How Archerfish Shoot Down Prey. Hint: Their Aim Rivals Human Throwing 🔲Cellular Automata

yahoo.com·2d

Loading more...