Hiring

{c}
{title2=2010}
{wiki}

All competitors run on the same hardware which is cool. One of their challenges then would be how to balance <CPU> and <GPU>, given that as of 2025 <Stockfish> uses <CPU> and <Leela Chess Zero> uses <GPU>.


Top Chess Engine Championship

AI code generation company

Manifold by dimension

{c}

https://reflection.ai/
> Building Frontier Open Intelligence


Reflection AI

Lean library

Lean bibliography

{c}

* https://proofassistants.stackexchange.com/questions/153/what-are-the-main-differences-between-coq-and-lean
* https://news.ycombinator.com/item?id=22171305


Lean vs <Coq>

Lean vs Coq

elan

Knowledge olympiad by age limit

Internet culture

HackerRank contest

Binary star

{wiki}

Alternative to <set theory>, and some say it is better for <proof assistants>, and many of the most popular proof assistants of the 2020s use it e.g. <Lean> and <Coq>.

\Video[https://www.youtube.com/watch?v=QRrcwahx-3s]
{title=Why should you learn Type Theory? by Dapper Mink}
{description=Uses <Lean> syntax largely.}


Type theory

Voxel

Numerical simulation

{c}
{wiki}

\Video[https://www.youtube.com/watch?v=AI0bIxdNWf8]
{title=<Beavis and Butt-Head> watch It's So Cold in the D}


Beavis and Butt-Head

Adult cartoon

2025 https://www.amazon.co.uk/dp/B07CP632CL Ricokey OBD2 Bluetooth Scanner Code Reader. Managed to connect with the "Car Scanner" app.


Ciro Santilli @cirosantilli 37