How to hardcode subtitle into a video with FFmpeg? Updated 2025-07-16
To change font size: stackoverflow.com/questions/21363334/how-to-add-font-size-in-subtitles-in-ffmpeg-video-filterThe default appears to be 24, so just multiply that by whatever seems like a reasonable factor.
ffmpeg -i input.mp4 -vf "subtitles=subtitle.srt:force_style='Fontsize=64'" output.mp4Note howver that .ass subtitle files can contain style information, which ffmpeg respects. Aegisub can produce and preview such styles, making .ass one of the best options.
Subtitle file format Updated 2025-07-16
Steve Jobs quote on saving lives with a faster boot Updated 2025-07-16
This idea also comes up in other sources of course.
Margin Call (2011) bridge scene
. Source. Steve Jobs customers don't know what they want quote Updated 2025-07-16
TODO clear attribution source:
Some people say, "Give the customers what they want." But that's not my approach. Our job is to figure out what they're going to want before they do. I think Henry Ford once said, "If I'd asked customers what they wanted, they would have told me, 'A faster horse!'" People don't know what they want until you show it to them. That's why I never rely on market research. Our task is to read things that are not yet on the page.
Steve Wozniak Updated 2025-07-16
Jobs and Wozniak's blue box Updated 2025-07-16
Some have actually been preserved: en.wikipedia.org/wiki/File:Blue_Box_in_museum.jpg
Induced pluripotent stem cell Updated 2025-07-16
Calculus of variations Updated 2025-07-16
Calculus of variations is the field that searches for maxima and minima of Functionals, rather than the more elementary case of functions from to .
Linting Updated 2025-07-16
Star Trek: The Next Generation Updated 2025-07-16
Ciro Santilli likes this.
He doesn't have the patience to actually watch full episodes with rare exceptions, rather just watching selected scenes from: www.youtube.com/channel/UCdeIGY2DIjpGf0A2m9GSE3g, but still, it is interesting.
What appeals to Ciro in this series is how almost nothing is solved by violence, almost everything is decided in the bridge, at the "cerebral" level of the command structure. This reminds Ciro of a courtroom of law sometimes.
Maybe there's also a bit of 90's nostalgia involved too though, as this is something that would show on some random cable channels a bored young Ciro would have browsed during weekends, never really watching full episodes.
One crime of many episodes is being completely based on some stupid new scientific concept, which any character to back it up.
Another thing that hurt is that due to their obsession with the senior members of the crew, sometimes those senior members are sent in ridiculously risky operations, which is very unrealistic.
Episodes that Ciro watched fully and didn't regret:
- s02e09 Measure of a man en.wikipedia.org/wiki/The_Measure_of_a_Man_(Star_Trek:_The_Next_Generation) see also physics and the illusion of life
- s04e14 Clues en.wikipedia.org/wiki/Clues_(Star_Trek:_The_Next_Generation)
- s04e15 First contact en.wikipedia.org/wiki/First_Contact_(Star_Trek:_The_Next_Generation). Although the premise that the aliens look so much like humans, and worse, that Decker could speak their language to the point of passing as one of their race is preposterous, the idea of inversion of first contact is just too cute.
- s07e15 The Lower Decks en.wikipedia.org/wiki/Lower_Decks_(Star_Trek:_The_Next_Generation), sliding scale of idealism vs. cynicism near cynincism, yes please
Semi worth it:
- s03e11 The Hunted memory-alpha.fandom.com/wiki/The_Hunted_(episode) if it weren't for the ending, maybe this would have been decent
Not worth it:
- Cause and effect
TODO
- s06e11 Chain of command
Open source standard cell library Updated 2025-07-16
Open source ones:
- www.quora.com/Are-there-good-open-source-standard-cell-libraries-to-learn-IC-synthesis-with-EDA-tools/answer/Ciro-Santilli Are there good open source standard cell libraries to learn IC synthesis with EDA tools?
Mathieu group Updated 2025-07-16
Contains the first sporadic groups discovered by far: 11 and 12 in 1861, and 22, 23 and 24 in 1973. And therefore presumably the simplest! The next sporadic ones discovered were the Janko groups, only in 1965!
Each is a permutation group on elements. There isn't an obvious algorithmic relationship between and the actual group.
TODO initial motivation? Why did Mathieu care about k-transitive groups?
Their; k-transitive group properties seem to be the main characterization, according to Wikipedia:
Looking at the classification of k-transitive groups we see that the Mathieu groups are the only families of 4 and 5 transitive groups other than symmetric groups and alternating groups. 3-transitive is not as nice, so let's just say it is the stabilizer of and be done with it.
Janko group Updated 2025-07-16
Monster group Updated 2025-07-16
Group theory, abstraction, and the 196,883-dimensional monster by 3Blue1Brown (2020)
Source. Too basic, starts motivating groups themselves, therefore does not give anything new or rare. Human spinal cord Updated 2025-07-16
Continuous spectrum (functional analysis) Updated 2025-07-16
Unlike the simple case of a matrix, in infinite dimensional vector spaces, the spectrum may be continuous.
The quintessential example of that is the spectrum of the position operator in quantum mechanics, in which any real number is a possible eigenvalue, since the particle may be found in any position. The associated eigenvectors are the corresponding Dirac delta functions.
Einstein solid Updated 2025-07-16
One important quantum mechanics experiment, which using quantum effects explain the dependency of specific heat capacity on temperature, an effect which is not present in the Dulong-Petit law.
This is the solid-state analogue to the black-body radiation problem. It is also therefore a quantum mechanics-specific phenomenon.
Debye model Updated 2025-07-16
Wikipedia mentions that it is completely analogous to Planck's law.
Aberration (astronomy) Updated 2025-07-16
Fizeau experiment Updated 2025-07-16
There are unlisted articles, also show them or only show them.