One of Satoshi's email addresses, this one is given on the Bitcoin whitepaper.
Cool data embedded in the Bitcoin blockchain AtomSea & EMBII data format Updated 2025-05-21 +Created 1970-01-01
Best guess so far, all in ASCII hex of output scripts:
- remove the single output value different from first one from payload, that's the change, and it is randomly placed as far as I see
- 64 bytes: hex address of top level text
- 1 byte: some random punctuation
- decimal number of bytes of some payload
- 1 byte: some random punctuation
- 64 bytes: same as the first address
- CR LF
- ends in NUL
Source code:
- github.com/leanprover/lean4 why a separate repo per version... but it is what it is.
- github.com/leanprover/lean
They are huge fans of Unicode characters! Check this out from a formal proof of the prime number theorem: github.com/AlexKontorovich/PrimeNumberTheoremAnd/blob/fbdbb5310d036d33b9797b35f3b04b08f2447a6e/PrimeNumberTheoremAnd/ZetaBounds.lean
Their dependency graph thingy is just beautiful however: alexkontorovich.github.io/PrimeNumberTheoremAnd/web/dep_graph_document.html
This is the cutest product name ever.
Since 1992, Mr. SQUID has been the standard educational demonstration system for undergraduate physics lab courses.
YBCO device, runs on liquid nitrogen.
The opposite of a human-readable format.
Less evil are BLOBs that come from Reproducible builds.
By William Shockley in 1948 also at Bell Labs Murray Hill.
The BSD conjecture states that if your name is long enough, it will always count as two letters on a famous conjecture.
Maybe also insert a joke about BSD Operating Systems if you're into that kind of stuff.
The conjecture states that Equation 1. "BSD conjecture" holds for every elliptic curve over the rational numbers (which is defined by its constants and )
Equation 1.
BSD conjecture
. Where the following numbers are defined for the elliptic curve we are currently considering, defined by its constants and :- : number of elements of the elliptic curve over the finite field, where the finite field comes from the reduction of an elliptic curve from to . can be calculated algorithmically with Schoof's algorithm in polynomial time
- : rank of the elliptic curve over the rational numbers. We don't really have a good general way to calculate this besides this conjecture (?).
- : a constant
The conjecture, if true, provides a (possibly inefficient) way to calculate the rank of an elliptic curve over the rational numbers, since we can calculate the number of elements of an elliptic curve over a finite field by Schoof's algorithm in polynomial time. So it is just a matter of calculating like that up to some point at which we are quite certain about .
The Wikipedia page of the this conecture is the perfect example of why it is not possible to teach natural sciences on Wikipedia. A million dollar problem, and the page is thoroughly incomprehensible unless you already know everything!
Centerpiece of the CEA since the beginning of the French nuclear weapons program, headquarters since 2006.
One of the dudes from the AtomSea & EMBII Bitcoin-based file upload system.
- github.com/embiimob
- Real name: likely "Eric Bobby" according to:According to Figure "
Loraine.jpg
" however, his mother's name was "Loraine Elizabeth White", so there's some chance his real family name is Mr. White.However according to bitfossil.org/937f70bf641ccabaf623772367df64bd867ad44c53fd227d01f2662e74aeacbf/ his daughter is Maddy Bobby, so maybe he is actually Bobby. - twitter.com/EMBII4U
- twitter.com/TheAtomSea/status/990318090738196481 sample link
- x.com/EMBII4U/status/1901769408453718146 possibly retired in 2021 after working as a barista
Pokemania Comes to America by ABC News (1999)
Source. Ciro Santilli was a part of it! Especially during Ciro Santilli's 10 month stay in Coventry, United Kingdom, in the year 2000!One of the Holiest age old debugging techniques!
Git has some helpers to help you achieve bisection Nirvana: stackoverflow.com/questions/4713088/how-to-use-git-bisect/22592593#22592593
Obviously not restricted to software engineering alone, and used in all areas of engineering, e.g. Video "Air-tight vs. Vacuum-tight by AlphaPhoenix (2020)" uses it in vacuum engineering.
Unlisted articles are being shown, click here to show only listed articles.