If a product of a big company has a catchy name it came from an acquisition Updated 2025-07-16
Open source video game asset Updated 2025-07-16
Strange Tales from a Chinese Studio Updated 2025-07-16
Strategy game Updated 2025-07-16
Algebra Updated 2025-07-16
Not to be confused with algebra over a field, which is a particular algebraic structure studied within algebra.
Control system Updated 2025-07-16
Game theory Updated 2025-07-16
As mentioned at Human Compatible by Stuart J. Russell (2019), game theory can be seen as the part of artificial intelligence that deas with scenarios where multiple intelligent agents are involved.
Mathematics bibliography Updated 2025-07-16
Power engineering Updated 2025-07-16
Applications of power, we have to remember it is there to notice how awesome it is!
- lightning
- motors
- sending nad receiving communication signals
- computers, which in turn can do computations and improved communication
Probability Updated 2025-07-16
The beauty of mathematics Updated 2025-07-16
Ciro Santilli intends to move his beauty list here little by little: github.com/cirosantilli/mathematics/blob/master/beauty.md
The most beautiful things in mathematics are results that are:
- simple to state but hard to prove:
- Fermat's Last Theorem
- number of unknown rationality, e.g. is rational?
- transcendental number conjectures, e.g. is transcendental?
- basically any conjecture involving prime numbers:
- many combinatorial game questions, e.g.:
- surprising results: we had intuitive reasons to believe something as possible or not, but a theorem shatters that conviction and brings us on our knees, sometimes via pathological counter-examples. General surprise themes include:Lists:
- classification of potentially infinite sets like: compact manifolds, etc.
- problems that are more complicated in low dimensions than high like:
- generalized Poincaré conjectures. It is also fun to see how in many cases complexity peaks out at 4 dimensions.
- classification of regular polytopes
- unpredictable magic constants:
- why is the lowest dimension for an exotic sphere 7?
- why is 4 the largest degree of an equation with explicit solution? Abel-Ruffini theorem
- undecidable problems, especially simple to state ones:
- mortal matrix problem
- sharp frontiers between solvable and unsolvable are also cool:
- attempts at determining specific values of the Busy beaver function for Turing machines with a given number of states and symbols
- related to Diophantine equations:
- applications: make life easier and/or modeling some phenomena well, e.g. in physics. See also: explain how to make money with the lesson
Good lists of such problems Lists of mathematical problems.
Whenever Ciro Santilli learns a bit of mathematics, he always wonders to himself:Unfortunately, due to how man books are written, it is not really possible to reach insight without first doing a bit of memorization. The better the book, the more insight is spread out, and less you have to learn before reaching each insight.
Am I achieving insight, or am I just memorizing definitions?
Voltage transformer Updated 2025-07-16
Waring-Goldbach problem Updated 2025-07-16
It is exactly what you'd expect from the name, Waring was watching Netflix with Goldbach, when they suddenly came up with this.
Water Updated 2025-07-16
"Water" is the name for both:
- the chemical compound with chemical formula H2O
- the liquid phase of the chemical substance composed of the above chemical compound
Simplified phase diagram of water
. Source. Note the triple point and critical point visible. Phase diagrams are so cool!
Phase diagram of water
. Source. Note all the obscure phases of ice.
Christianism 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
Area of mathematics Updated 2025-07-16
Instagram Updated 2025-07-16
Ciro Santilli is just too old to understand what the point of that website is compared to Twitter. There must be one, right?
Also, it is impossible to use it on the browser without a cell phone, similar critique as Section "Messaging software that force you to have a mobile phone" but a bit more aggravating, because, well, you would expect creators want people to see their stuff on a browser unlike private messages?
Peer authentication Updated 2025-07-16
Physics experiment without a decent modern video Updated 2025-07-16
There are unlisted articles, also show them or only show them.