📐 Theorem Proving - ghosh.debasish · Scour

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🦀Rust

github.com·6h·Hacker News

There’s a pizza price war going on, and Domino’s is feeling the pain 🎯RLHF

marketwatch.com·2d

Gen Z Longs For the 90s, Can Democrats Lean Into This? 🧠LLMs

realclearpolitics.com·3d

PlayStation Seems To Add DRM And Recent Policy Update Proves Why It Is Bad 🌐Distributed Systems

cinelinx.com·1d

UConn Welcomes Five Exceptional Leaders Into Business Hall of Fame 🕸️Graph Theory

today.uconn.edu·2d

Leaves of Grass (Allergy Edition) 🔁Category Theory

mcsweeneys.net·3d

Greenland's rare earths: 'What could not be seized by military force is being acquired via Wall Street' 🔗Linear Types

·1d

Andrew Holland: 'I'd Lean Towards 60-70% in Largecaps' 📊LLM Evaluation

Belarus, Russia’s Sakhalin Oblast to develop lean management cooperation roadmap 🕸️Graph Theory

eng.belta.by·6d

OptProver: Bridging Olympiad and Optimization through Continual Training in Formal Theorem Proving 🔧SMT Solvers

All Sides of North Dakota's Abortion Ban 📜Constitutional AI

allsides.com·3d

How marketing can help keep meat sales moving 🦀Rust

canadiangrocer.com·1d

Boom always used to have hard time raising money. Investors are terrified of funding anything that's not like existing hot startups. And now, after 10 years of ... 🦀Rust

twitter.macworks.dev

·6d

Broadway Music Director Mary-Mitchell Campbell to Receive Isabelle Stevenson Tony Award (Exclusive) 📦Succinct Data Structures

hollywoodreporter.com

·1d

There is no safe gamble with high LDL cholesterol 🧮Denotational Semantics

peterattiamd.com·5d

V Scooper: Universal would like Metroid movie to lean into horror 🗄️KV Cache

mynintendonews.com

·2d

Bias Alert — Are Unauthorized Immigrants Hurting the American Economy? 📜Constitutional AI

allsides.com·3d

The Ducks failed to finish off the Oilers, and now the pressure is on 🏃Online Algorithms

·1d

Is It Too Late To Consider Acushnet Holdings (GOLF) After Its Strong 1-Year Rally? - FOGOLF 🎯RLHF

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean 🔤PLT

Sign up or log in to see more results

Log in to enable infinite scrolling