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's hardware <span class="meta">/</span> Car

SGR 1806-20

List of magnetars

{c}
{wiki}

\Video[https://www.youtube.com/watch?v=jRPjgKs-aw4]
{title=<Magnetars>: <Neutron stars> but Scarier! by Learning Curve}


Magnetar

{c}
{tag=French company}
{wiki}

https://www.cryptonext-security.com/en/


CryptoNext

{disambiguate=CIA}
{c}

A public analysis by the Chinese: https://www.cverc.org.cn/head/zhaiyao/HIVE.pdf


Hive

Hive (CIA)

{tag=CIA}
{title2=2017}

\Video[https://www.youtube.com/watch?v=c1Brqr_hCgg]
{title=When a CIA Hacker Goes Rogue by TyFrom99}


Ciro Santilli @cirosantilli 37