lanstin

32 ms·

541.
by lanstin 2y ago
Unless that training on exceptions isn't quite enough to convey the principles needed to reason about the domain. I am sure for some problems it will amaze and for some it will not.
542.
by lanstin 2y ago
I have that. One normal kidney on one side and two touching but distinct maybe 75% sized kidneys on the other.
543.
by lanstin 2y ago
You want mathlib, the lean library of established results: https://github.com/leanprover-community/mathlib4 They skip steps in writing because they can generally do them and it obscures the flow of the argument to have
544.
by lanstin 2y ago
Buffer cleaning is a time honored way to pause for deep thinking :)
545.
by lanstin 2y ago
I know a fair number of people and most of them do visibly struggle with what is right or wrong at times. Cooperation is very much a mainstay of human behavior. Or of course some people believe that what is good is also in their own interes
546.
by lanstin 2y ago
Coup not election and if they don't cooperate with an investigation of an attempt to subvert the election with violence, they might not.
547.
by lanstin 2y ago
I do from time to time open files of millions of small lines. To this day vim handles it better than emacs. These would be log files.
548.
by lanstin 2y ago
As someone who walks around San Jose quite a lot, on many roads it is safer to cross in the middle of the block than at the intersections. You only have one or two directions to check, and incoming cars have better visibility than at an int
549.
by lanstin 2y ago
Our freedom comes from sources other than technological privacy. It comes from our ability to be in charge of the law and to make the normal fun we want to be legal, legal. I would be mich more concerned with regulatory capture by the spyin
550.
by lanstin 2y ago
Assange was killed with polonium or thrown out of a window? I think you have made your moral condemnation variable of Boolean type, rather than the more realistic float. I think also it is worth distinguishing between corporate surveillanc
551.
by lanstin 2y ago
I have personally seen, on a California beach, a carcass of some marine animal, I can't remember but maybe an elephant seal, that had been choked by a plastic grocery bag. I have seen subsequently, and considered briefly running after,
552.
by lanstin 2y ago
It would be cool if it took off, SBCL is very nice, but then so too is Mach and yet HURD isn't really there yet after 20 years.
553.
by lanstin 2y ago
Yeah, it's better to use one emacs per project, and have less buffers open at a time. Not just the snappiness but a lot of the (out of the box, no special modes) keyboard buffer navigation stuff doesn't scale to hundreds of buffe
554.
by lanstin 2y ago
Yeah, it's positively snappy.
555.
by lanstin 2y ago
Yeah, that's true. Tho for large pastes, I generally only do that in a locally running GUI emacs. For remote, I'll assemble the file and then scp. Even without tmux, this can be an issue - a long time ago I was using the X window
556.
by lanstin 2y ago
Not just age but anything unexpected. Having people nearby that you can count on for casual help makes many worse case scenarios much better.
557.
by lanstin 2y ago
urgent care vs. emergency room.
558.
by lanstin 2y ago
I've lived in large cities, but I found the more ideal circumstance was a small but urbanized town - after I lived there 8 years or so, I not only had the good friends but an enormous group of casual acquaintances. So I literally ran i
559.
by lanstin 2y ago
I find this fascinating. It really does take a variety of people to make up a culture. My ideal living situation includes being able to see someone I know every time I walk out side my home, being able to walk to a bagel shop, a grocery sto
560.
by lanstin 2y ago
I use back-tick `. For nested, it becomes `` or ````. For twice nested and I'm writing a shell script with ` instead of $( .. ) It's ```````` (I'm an emacs user, I need all the control characters :)
561.
by lanstin 2y ago
I've used that pattern to write tools to e.g. re-encrypt all whatever millions of objects in an S3 bucket, and examine 400m files for jars that are or contain the log4j vulnerable code. I had a large machine near the bucket/NFS f
562.
by lanstin 2y ago
From one of the articles the article refers to: "[According to Harvard something] value of OSS to the economy is 4.15 Billion USD." That seems ludicrously low - Linux itself, if you value it at $1 per install is considerably mor
563.
by lanstin 2y ago
Because loosing something to theft is bad but being stalked is worse.
564.
by lanstin 2y ago
Whoops.
565.
by lanstin 2y ago
I wrote 10s of thousands of lines of C code in the 90s and early 00s (without buffer overflows that I learned about; I did also write a evil network layer for inducing buffer overflows in my and my dependencies code), and have been doing a
566.
by lanstin 2y ago
People switch digits in their SSN.
567.
by lanstin 2y ago
It's 2 cosets, one is arbitrarily left handed and the other arbitrarily right handed. If you are in an orientable space :) if not, then there's no global concept of left or right. a
568.
by lanstin 2y ago
They aren't really special except that adjoining the solutions to a radical to a field make the associated group of automorphisms simplify in a nice way. Also at the time tables of radical roots where common technology and Newton&#x27
569.
by lanstin 2y ago
The format (%ii) semantics aren't platform independent that seems like an obvious error. And code gen and protocol descriptions bring a certain useful discipline to modifying existing protocols. But it has that funky C style so I bet p
570.
by lanstin 2y ago
Parenting was where I learned how to live with the lack of an undo. One gets used to it, but I find cyberspace much easier: I can try 1000 things in a few days and come out with a solution that seemed maybe impossible up front. Although on

More ›