lanstin

45 ms·

841.
by lanstin 3y ago
My email signature sometimes says "software done right is always solving novel problems." I wish people always had the time and mandate to find the simple generization of their sequence of one offs.
842.
by lanstin 3y ago
I used VBA and Tk. They were good. I always assumed front end web people have similar tools?
843.
by lanstin 3y ago
I wonder if we taught Emmy Noether’s theorem in tenth grade if people would love physics more.
844.
by lanstin 3y ago
LaTeX is one of those domains where GPT4 is amazing. Along with eMacs lisp, tho it is better at LaTeX than elisp, where I have had it cycle into non-convergent series of errors. Much better than it is at actually making sense of the mathema
845.
by lanstin 3y ago
Not minimum volume but volume with a minimal boundary area proportional to the size of the states your computation explores. The weird thing about these holographic mappings is that stuff you would expect to be limited by volume is limited
846.
by lanstin 3y ago
I took Lebesgue integration and some pretty high powered group theory classes in the 1989s and am retaking them now, and I have to say the presentation now is much better. I think having Terrence Tao blog about how stuff really works makes
847.
by lanstin 3y ago
I wouldn't necessarily discount the value of the older maths; I'm taking analysis and abstract algebra as my first classes in a maths masters program; most everything is from the 1800s or early 1900s but is still mind blowingly co
848.
by lanstin 3y ago
When I programmed in C a lot, I had methods of working so that by the time the code compiled, there was a good chance it worked. That, very nice, feature is a property of how you program as much as the language. I have the same method and s
849.
by lanstin 3y ago
There is just the Minkowski space and all flows from that.
850.
by lanstin 3y ago
When I am working mostly alone I never rebase or merge. I have code in various directories on my laptop or ephemeral ranches, or more likely stashes if I have more than one thing in flight. When working with others, I will pull a branch whi
851.
by lanstin 3y ago
Before I was able to get a job with computers, I had jobs as typists. I had one job typing (on paper with a typewriter) trust documents for banks. You had to produce the entire page without any errors, no whiteout or the ink-lifting corre
852.
by lanstin 3y ago
I wonder if they spend time trying to do support via GPT4 itself.
853.
by lanstin 3y ago
And On Lisp is a intellectual pleasure to read, regardless of how you regard the Silicon Valley economics.
854.
by lanstin 3y ago
SBCL lets you drop core images which if you setup your system properly can be made executable by usesing sbcl as the interpreter, like /bin/sh and shell scripts.
855.
by lanstin 3y ago
I read that same byte article, wrote a basic version that played the heuristic way, and was unable to beat it. Good times.
856.
by lanstin 3y ago
Which is neither difficult nor against the design of git.
857.
by lanstin 3y ago
Deploying via go static binaries is nice, and putting a little html into the binary at compile time is a built in feature. I use that to package the swagger ui without getting complicated. But for real config, I have that in a separate file
858.
by lanstin 3y ago
Can we run this somewhere?
859.
by lanstin 3y ago
If I haven’t posted this RFC to a new group I am working with, the collaboration is still new and we haven’t fully bonded. This RFC will be true and useful long after TCP is a historical relic.
860.
by lanstin 3y ago
https://en.wikipedia.org/wiki/Graph_theory It's interesting and deceptively simple at first.
861.
by lanstin 3y ago
Unlike the plastic substrate of modern technological society, plants have survived hundreds of millions of years of efforts by the rest of the biosphere to eat them.
862.
by lanstin 3y ago
Of course! I think it would be pretty funny.
863.
by lanstin 3y ago
I think the normal solution to this is all the prove you are the software you say you are calls is proxied to that software and all the normal services calls you want to log and duplicate or otherwise violate the contract are sent to the mo
864.
by lanstin 3y ago
GPT-4 said to study up on football, especially the Sooners, try the fried Okra, say please and thank you a lot, and get used to car dependence, vast empty spaces, extreme weather, confusing language styles of seeming friendly but not meanin
865.
by lanstin 3y ago
I would also love to read, “cultural considerations in visiting Norman, Oklahoma” written for the South Asian audience. Or “how to manage your US born workers” for upper class Asians. “Getting along in the US suburbs for the shy Indian tech
866.
by lanstin 3y ago
I cannot imagine some system that goes from a formal language to reality not having ambiguity. Even going from mathematical formalism to mathematical truth you can’t get all the truth. I imagine getting all the justice would be harder. And
867.
by lanstin 3y ago
What would the OP be for that? Apple default colors don’t allow my favorites?
868.
by lanstin 3y ago
Because I use it to read hacker news, can sprawl out across the couch, holding it in one hand, and peacefully enjoy my time till my son wakes up.
869.
by lanstin 3y ago
The mechanism of using a general purpose computer is so engaging that people stop to argue about the color of the bike shed instead of attending to the conceptual,world where the problem they are trying to solve lies. People spend their men
870.
by lanstin 3y ago
One’s beliefs and feelings won’t be rational but the overall functioning of your brain is mostly reasonable when you know enough about your self, your past, and your brain. The task of building a fulfilling life with the nervous system you

More ›