📐 Lean - Handler4605 · Scour

A case study with Aeneas and jxl-rs 🧮SMT Solvers

jonathan.protzenko.fr·2d·Hacker News

A Shallow Embedding of Datalog in Lean 🔄Incremental Computation

How to for Startups CRM System: Expert Tips 🔗WCOJ

·22h·DEV

Overcoming reward signal challenges: Verifiable rewards-based reinforcement learning with GRPO on SageMaker AI ⚙️Adaptive Execution

aws.amazon.com·20h

Mizar: the first usable proof assistant for mathematics 🧮SMT Solvers

lawrencecpaulson.github.io·1d·Hacker News

Verifying Poseidon in Clean: Why the Last 'Sorry' Is About Primality 🧮SMT Solvers

blog.zksecurity.xyz·3d·Hacker News

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

types.pl·2d·Lobsters

Autonomous Exposure Validation: Automating Your CTI and Red Team Workflows 🔐MVCC

malware.news·4h

Toyota Versus BYD Represents A Classic Value Versus Growth Dilemma For Investors (NYSE:TM) ⚙️Mechanical Sympathy

seekingalpha.com

·13h

Ant Group's Ling 2.6 Came Out of Nowhere and It's Competing With GPT-5.4 on Agentic Tasks 🧮SMT Solvers

firethering.com·2d·Hacker News

Sandworm (Post-GM Worm 🗺️Procedural Generation

forums.spacebattles.com·8h

minipgp6: A very lean interpretation of modern OpenPGP 🌀Agda

codeberg.org·3d·Lobsters

Lean testing under pressure: How small teams deliver high-impact quality in highly constrained environments 📐TLA+

ministryoftesting.com·2d

The Rocks in the River 🌳LSM Trees

nemethgergely.com·4d

3 AI execs on why tiny teams work, and where they could fall apart 👑Leader Election

businessinsider.com

·2d

Gary Grimes decodes the angsty cultural references within Romain Gavras’ Yung Lean-starring epic, Storm 🎵Generative Music

itsnicethat.com·1d

Losing Skills 🎮gamedev

noahbogart.com·3d·Lobsters, Hacker News

Lean IT, future-ready: How to save time and simplify wireless management with AI 📡Low-Level Networking

blogs.cisco.com·1d

Piloting Agentic Engineering - What Software Engineers Can Learn From The Aviation Industry • Maximilian Walterskirchen 💻Software Engineering

mwalterskirchen.dev·6d·Hacker News, r/webdev

The Flaw That Drowned a City In a Day! | Massive Engineering Mistakes Season 1 Episode 2 🦆Bevy

youtube.com·2d

Log in to enable infinite scrolling