Chart type Updated 2025-07-16
ELF Hello World Tutorial
DT_FLAGS_1 Updated 2025-07-16 Quantum electrodynamics bibliography Updated 2025-07-16
fafnir.phyast.pitt.edu/py3765/ Phys3765 Advanced Quantum Mechanics -- QFT-I Fall 2012 by E.S. Swanson mentions several milestone texts including:
SARS-CoV-2 protein Updated 2025-07-16
Year 3 of the mathematics course of the University of Oxford Updated 2025-07-16
Year On Updated 2025-07-16
Deep learning benchmark Updated 2025-07-16
Michael J. Saylor Updated 2025-07-16
- twitter.com/saylor 2.6 M followers as of 2022. Because of Bitcoin? Or was he famous before that?
- www.michael.com/ yes, he is Michael.com lol. When did he get the domain, and at what price? He's mildlly obsessed with domain names it seems: www.domainsherpa.com/saylor/. He also bought
frank.com,mike.com.emma.com. This was between 1994 and 2000. He mentions that his email issaylor@strategy.com.strategy.comredirects tomicrostrategy.comas of 2022, so seems still valid.We actually got a backlink from tvt.phishlabs.com to this page in August 2022, a phising security provider, presumably for showing his email here. This reminds Ciro of the All GitHub Commit Emails event!A quick google for that address also leads to www.washingtonpost.com/wp-srv/liveonline/00/business/saylor0621.htm, a year 2000 profile page by the Washington Post, followed by a Q&A. In the Q&A, Michael himself gives his email in relation to Saylor Academy:so it was already beyond leaked. Ciro did hit that email address seeking funding for OurBigBook.com, but no reply unfortunately. Maybe you gotta be part of the Rockefeller family to get a reply from these people? Well, at least this led to Ciro learning about the Rockefeller Foundation.Kensington, Maryland: What has happened to your vision of an internet university? I believe it is an important initiative and it doesn't require $100 million to get started. We at the Rockefeller Foundation would like to become involved. How can we do this?Michael Saylor: The internet university is alive and well. My goal is to initially roll out a cyber-libary of digital video that can be used by any for-profit or non-profit organization in order to accelerate the free education initiative. Eventually, people may just go direct to the web site.
Optical component Updated 2025-07-16
Variety Jones Updated 2025-07-16
2023 Silk Road's Second-in-Command Gets 20 Years in Prison www.wired.com/story/silk-road-variety-jones-sentencing/
2016 "Exclusive: Our Thai prison interview with the alleged top advisor to Silk Road" arstechnica.com/tech-policy/2016/09/exclusive-our-thai-prison-interview-with-an-alleged-top-advisor-to-silk-road/
2015 The Variety Show On the trail of the man believed to be Variety Jones, one of the architects of the defunct drug marketplace Silk Road. www.vice.com/en/article/wnx5qn/the-variety-show
www.justice.gov/usao-sdny/file/797251/download some kind of case file of his trial.
Bibliography:
The curious thing about VJ is that he actually has some culture and says cool things, e.g.:
Vector (mathematics) Updated 2025-07-16
City in the United Kingdom Updated 2025-07-16
Holonomic function Updated 2025-07-16
Regular expression Updated 2025-07-16
The truth will set you free Updated 2025-07-16
Zermelo-Fraenkel set theory Updated 2025-10-14
One of the first formal proof systems. This is actually understandable!
This is Ciro Santilli-2020 definition of the foundation of mathematics (and the only one he had any patience to study at all).
TODO what are its limitations? Why were other systems created?
Media rationale of Ciro Santilli's website Updated 2025-07-16
Verilator Updated 2025-07-16
One very good thing about this is that it makes it easy to create test cases directly in C++. You just supply inputs and clock the simulation directly in a C++ loop, then read outputs and assert them with
assert(). And you can inspect variables by printing them or with GDB. This is infinitely more convenient than doing these IO-type tasks in Verilog itself.Some simulation examples under verilog.
First install Verilator. On Ubuntu:Tested on Verilator 4.038, Ubuntu 22.04.
sudo apt install verilatorRun all examples, which have assertions in them:
cd verilator
make runFile structure is for example:
- verilog/counter.v: Verilog file
- verilog/counter.cpp: C++ loop which clocks the design and runs tests with assertions on the outputs
- verilog/counter.params: gcc compilation flags for this example
- verilog/counter_tb.v: Verilog version of the C++ test. Not used by Verilator. Verilator can't actually run out
_tbfiles, because they do in Verilog IO things that we do better from C++ in Verilator, so Verilator didn't bother implementing them. This is a good thing.
Example list:
- verilog/negator.v, verilog/negator.cpp: the simplest non-identity combinatorial circuit!
- verilog/counter.v, verilog/counter.cpp: sequential hello world. Synchronous active high reset with active high enable signal. Adapted from: www.asic-world.com/verilog/first1.html
- verilog/subleq.v, verilog/subleq.cpp: subleq one instruction set computer with separated instruction and data RAMs
Yeast artificial chromosome Updated 2025-07-16
Skew-symmetric form Updated 2025-07-16
There are unlisted articles, also show them or only show them.