Eugene Khutoryansky Updated 2025-07-16
Eugene's background: www.quora.com/Who-is-Eugene-Khutoryansky/answer/Ciro-Santilli
Galilean transformation Updated 2025-07-16
PBS Eons Updated 2025-07-16
Personal knowledge base Updated 2025-07-16
Physical Review Letters article Updated 2025-07-16
Playstation games Updated 2025-07-16
Romance of the Three Kingdoms event Updated 2025-07-16
Bezos Academy Updated 2025-07-16
Bezos Academy is building a network of tuition-free, Montessori-inspired preschools in underserved communities.
satoshin@gmx.com Updated 2025-07-16
One of Satoshi's email addresses, this one is given on the Bitcoin whitepaper.
Skills Grading scale stoles from a Goolge interview Updated 2025-07-16
Steganography Updated 2025-07-16
Ubuntu 24.04 "The application files has closed unexpectedly" Updated 2025-07-16
Happens at startup without doing anything, and then keeps happening randomly infinitely many times... on a almost clean 24.04 ISO install on Dell Inspiron 15 3520... God how can it be so bad.
Viewing the apport issue a bit further shows title:
nautilus crashed with sigabrt in g_assertion_message_expr
Possibly related:
- www.reddit.com/r/Ubuntu/comments/1ce1027/2404_is_a_terrible_release/
- bugs.launchpad.net/ubuntu/+source/nautilus/+bug/1795210
- bugs.launchpad.net/ubuntu/+source/nautilus/+bug/1823529
- askubuntu.com/questions/1406294/nautilus-keeps-crashing-in-22-04
- superuser.com/questions/42068/application-are-closed-down-unexpectedly-under-ubuntu
- ubuntuforums.org/showthread.php?t=2466502
- x.com/cirosantilli/status/1792792620323967227
UCSB Physics Lecture Demonstrations Updated 2025-07-16
UF2 Updated 2025-07-16
A Microsoft format for flashing microcontrollers by copying files to a magic filesystem mounted on host, e.g. as done on the Micro Bit and Raspberry Pi Pico.
UK Research and Innovation Updated 2025-07-16
Unable to lock screen on Ubuntu Updated 2025-07-16
However it did not happen on Lenovo ThinkPad P51 (2017) also on Ubuntu 23.10 which had been upgraded several times from God knows what starting point... At first one had X11 (forced by Nvidia drivers) and the other Wayland, but moving to p14s X11 changed nothing.
Both were running GNOME Display Manager.
Same happens with Super + L, but also CLI commands: askubuntu.com/questions/7776/how-do-i-lock-the-desktop-screen-via-command-line
Bibliography:
- askubuntu.com/questions/1242110/after-upgrading-to-ubuntu-20-04-lockscreen-not-working canon
- askubuntu.com/questions/1246622/ubuntu-20-04-unable-to-lock-screen
- askubuntu.com/questions/1245071/cant-lock-screen-with-shortcut-on-ubuntu-20-04-gnome
- askubuntu.com/questions/1248756/super-l-not-working-on-ubuntu-20-04
Coordinate chart Updated 2025-07-16
Lean (proof assistant) Updated 2025-07-16
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
Mr. SQUID Updated 2025-07-16
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.
Point groups in two dimensions Updated 2025-07-16
Unlisted articles are being shown, click here to show only listed articles.