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}


Vault 7

Intelligence leak

2023

2024

2025

{c}

https://www.youtube.com/@Qxir

The accent doesn't hurt.

\Video[https://www.youtube.com/watch?v=suVr_6rAsgc]
{title=Why is This C\#%! on YouTube!? by <Qxir>}
{description=
2018
* https://youtu.be/suVr_6rAsgc?t=383 he studied <computer science> in <college>, unsurprisingly
}

Bibliography: https://youtube.fandom.com/wiki/Qxir


Qxir

{c}

https://www.forbes.com/sites/ryanmac/2016/06/07/behind-peter-thiel-plan-to-destroy-gawker/


Ciro Santilli @cirosantilli 37