nRF51 series by Ciro Santilli 35 Updated +Created
Picometer by Ciro Santilli 35 Updated +Created
k-transitive group by Ciro Santilli 35 Updated +Created
TODO why do we care about this?
Note that if a group is k-transitive, then it is also k-1-transitive.
Path integral formulation by Ciro Santilli 35 Updated +Created
This one might actually be understandable! It is what Richard Feynman starts to explain at: Richard Feynman Quantum Electrodynamics Lecture at University of Auckland (1979).
The difficulty is then proving that the total probability remains at 1, and maybe causality is hard too.
The path integral formulation can be seen as a generalization of the double-slit experiment to infinitely many slits.
Feynman first stared working it out for non-relativistic quantum mechanics, with the relativistic goal in mind, and only later on he attained the relativistic goal.
TODO why intuitively did he take that approach? Likely is makes it easier to add special relativity.
This approach more directly suggests the idea that quantum particles take all possible paths.
Lysozyme structure resolution (1965) by Ciro Santilli 35 Updated +Created
With X-ray crystallography by David Chilton Phillips. The second protein to be resolved fter after myoglobin, and the first enzyme.
Phillips also published a lower resolution (6angstrom) of the enzyme-inhibitor complexes at about the same time: Structure of Some Crystalline Lysozyme-Inhibitor Complexes Determined by X-Ray Analysis At 6 Å Resolution (1965). The point of doing this is that it points out the active site of the enzyme.
Existence of the matrix logarithm by Ciro Santilli 35 Updated +Created
en.wikipedia.org/wiki/Logarithm_of_a_matrix#Existence mentions it always exists for all invertible complex matrices. But the real condition is more complicated. Notable counter example: -1 cannot be reached by any real .
The Lie algebra exponential covering problem can be seen as a generalized version of this problem, because
  • Lie algebra of is just the entire
  • we can immediately exclude non-invertible matrices from being the result of the exponential, because has inverse , so we already know that non-invertible matrices are not reachable
Sandy Maguire by Ciro Santilli 35 Updated +Created
Lots of similar ideologies to Ciro Santilli, love it:
  • I might best be described somewhere between independent researcher and voluntarily-unemployed bum. At the ripe old age of 27 I decided to quit my highly-lucrative engineering job and decide to focus more on living than on grinding for the man. It's what you might call a work in progress.
  • sandymaguire.me/blog/reaching-climbing/: don't be a pussy
    Last Friday was my final day at work. According to my facebook profile, I am now "happily retired." As of today, I don't plan to do another day of "traditional work" in my life. That's not to say that I'll be sitting idle playing tiddly winks. I want to build things, to dedicate my life to independent study, and to get really, really good with building communities. I don't have time for any of this "work" stuff that somehow pervades our entire culture, choking our inspiration and sapping our energy away from the things we'd rather be doing.
    One is also reminded of Gwern Branwen. Sandy is also into self-improvement stuff, so even more like Gwern. This is a point Ciro diverges on. Ciro works actively on self-worsening.
  • he thinks university is useless:
  • he likes jazz: sandymaguire.me/blog/too-smart/
Other interesting points:
He's a Haskell person.
Heroin by Ciro Santilli 35 Updated +Created
Bitmessage by Ciro Santilli 35 Updated +Created
TODO evaluate. No pip install???
Signal (software) by Ciro Santilli 35 Updated +Created
Other cool stuff:
TODO what's the fucking official discussion/feature request forum?
Gmail by Ciro Santilli 35 Updated +Created
University of Bristol by Ciro Santilli 35 Updated +Created
University of Oxford by Ciro Santilli 35 Updated +Created
Linux distribution by Ciro Santilli 35 Updated +Created
Electron by Ciro Santilli 35 Updated +Created
Behavior fully described by quantum electrodynamics.
KaTeX by Ciro Santilli 35 Updated +Created
Default mathematics typesetting used in OurBigBook Markup.
Key issues:
The Gateless Barrier by Ciro Santilli 35 Updated +Created
Node.js by Ciro Santilli 35 Updated +Created
WellSync, if you are gonna useSync this wonky language thing inSync one place, you might as well useSync it everywhereSync and make it more decent. See also: how to convert async to sync in JavaScript.

Unlisted articles are being shown, click here to show only listed articles.