lanstin

28 ms·

511.
by lanstin 2y ago
Space-time equivalence is pretty key to the functioning of the Global Positioning System, and it comes from special relativity. It shows up well before black hole gravitational conditions.
512.
by lanstin 2y ago
For example, the Banach-Tarski paradox can't happen in two dimensions, it needs at least three. Terence Tao's 2nd book on analysis explains it, tho I can't yet understand the explanation. (It (the weird measure expanding rear
513.
by lanstin 2y ago
: ) Sure but many jokes are real. And the saccades are not really the problem with biking, but the attention and the tendency to pay more attention to internal thoughts more distant from sensory streams than the immediate content of the se
514.
by lanstin 2y ago
Yeah, I use this to support extremely old C++ project on x86_64 docker images and it's tolerable if not speedy.
515.
by lanstin 2y ago
It's a joke - the real world is generally continuous at the scales of our perceptions, but our perceptions can make errors like not seeing a car off to the side then suddenly becoming aware of it and swerving or screeching to a halt.
516.
by lanstin 2y ago
The article has the line: > (in particular if they are encouraged by a “cheaper, faster, better” organizational goal) This struck me, I have never remotely worked for a place that seriously believed "you get what you pay for."
517.
by lanstin 2y ago
As you learn in biking, the position and velocities of objects changes smoothly, but awareness of the position and velocities of objects can change very discontinuously.
518.
by lanstin 2y ago
New software demands a new vocabulary, and if those new concepts correspond exactly to implemented code, everything becomes very clear and possible to share with new people. As well, the division of a project into layers where each layer ha
519.
by lanstin 2y ago
This is one of my standard interview questions, how do you familiarize yourself with a multi-million line code base with partially correct partial documentation (in addition to generated documentation). Looking for interesting tooling, and
520.
by lanstin 2y ago
There is a balance there. You can have 1000 trivial commits making it hard to see the fact you just have 10 features, and ten mind-breaking commits making it hard to see what each feature entails. (Then there's the 50 commits "try
521.
by lanstin 2y ago
One of my undergrad tutors taught complex analysis with a book she had written, and she offered a reward for any one who found an error. She said the best students never claimed the reward, only the people that had to study each word carefu
522.
by lanstin 2y ago
Just reduce the time horizon you keep the logs until you can afford it. Also, as he mentioned, once a system is getting bugs infrequently, you can lower the log level. My standard is to have a log msg for each branch in the code. In C, I wo
523.
by lanstin 2y ago
If you have been in the SV area too long, it is easy to forget this but in most places most companies strive to obey the law. Because social compact and a predictable regime of how people behave and all that.
524.
by lanstin 2y ago
management can't tell who is valuable. I am senior IC but even with cloning people's repos it isn't particularly easy to tell how good someone is.you have people who speak very confidently but don't make good code, in th
525.
by lanstin 2y ago
I have an expectation of democratic rule outside of work. In work I expect to be told what to do top down. If tyranny is too strong a word, how about feudal or dictatorship or top down? Not only is this unpleasant it is information theoret
526.
by lanstin 2y ago
I keep asking people in my department about using lean but zero interest so far.
527.
by lanstin 2y ago
The point about using lean is you don't have to trust you can verify.
528.
by lanstin 2y ago
It seems great for like straightforward linear code, elisp functions, python data massage scripts, that sort of thing. I had it take a shot at some new module for a high volume Go server with concurrency/locking concerns and nil pointe
529.
by lanstin 2y ago
Yeah I have been using them to help with learning graduate maths as a grad student. Claude Sonnet 3.5 was unparalleled and the first quite useful one. GPT4o preview seems about equal (based on cutting and pasting the past six months of prom
530.
by lanstin 2y ago
"There are four lights"- GPT will not pass that test as is. I have done a bunch of homework with Claude's help and so far this preview model has much nicer formatting but much the same limits of understanding the maths.
531.
by lanstin 2y ago
Wow, it can do ODEs. Pretty awesome.
532.
by lanstin 2y ago
One of the most impressive early results on the path the the full classification (in terms of being able to understand the statement of the result, if not the 250 pages of the proof) is that all non-Abelian groups of odd order are not simpl
533.
by lanstin 2y ago
I've always suspected the powerful macro facilities in Lisp are why it's never been very common - the ability to do proper macros means all the very smart programmers create code that has to be read like a maths paper. It's
534.
by lanstin 2y ago
If only AFS had succeeded. What would a modern version of this look like?
535.
by lanstin 2y ago
Zipf's law, right - these rules are a formalization of our brain's functionality with language. Of course, with enough code, someone does everything.
536.
by lanstin 2y ago
Yeah I have very high limits for paren matching and syntax highlighting so probably those scanners.
537.
by lanstin 2y ago
This article seems to be an example of how some common security practices are kind of surface level. If you want to limit what a box can access on the network, do it in the network. Why is security looking for bad urls in the argv; if you k
538.
by lanstin 2y ago
There isn't that much stuff there. If you have any specific interest you can find it in about 30 seconds. They have several Bourbaki volumes which I haven't been able to get for free and legal before which I enjoyed reading.
539.
by lanstin 2y ago
Also one substance can be used in multiple feedback loops in different tissues. Tweaking one loop without touching others will take some finesse.
540.
by lanstin 2y ago
The genetic code is basically configuring a generic vertebrate body; the same sort of variation we see between vertebrate species we can also see as developmental variation in a species.

More ›