egl2020

5 ms·

1.
by egl2020 12d ago
Maybe we need "de Moura complexity": the shortest Lean proof of a theorem.
2.
by egl2020 24d ago
Any idea how being persistent is trained? I've noticed that telling an LLM that it needs to think some more sometimes produces better results, but the claim here is that "they are very persistent" and "...kept going...&
3.
by egl2020 28d ago
Spike proteints: new production or residual fragments?
4.
by egl2020 2mo ago
Ferran Adrià published a recipe for an omelette using potato chips.
5.
by egl2020 2mo ago
I find most of my references while browsing, and capture from the browser is Zotero's winning feature for me: automatically save the pdf and extract the bibliographic data. And while reading a paper, I get a search engine to look up i
6.
by egl2020 3mo ago
Come back when your computer is in a room with a raised floor (for cabling), tremendous AC, and windows in walls so a passer-by can look in and see the tapes rotating. Geezer here.
7.
by egl2020 3mo ago
What about language was used in the masters program? Spanish? I'm guessing that German is your first language.
8.
by egl2020 3mo ago
Origins of the 1918 flu are unclear, but there is evidence that it started in Haskell County, Kansas, and spread to Camp Funston, Kansas. As a consequence, many of the trainees became non-functional.
9.
by egl2020 3mo ago
This also works in drawing and painting. One of my painting teachers used to admonish us: "copy, copy, copy".
10.
by egl2020 3mo ago
Article title should be "Efficient C++ Programming for Modern 64-bit CPUs...".
11.
by egl2020 3mo ago
Nothing new under the sun: Strobe Data did this decades years ago for things like PDP-11s ( http://www.strobedata.com/home/pioneer10.html ) and DG Novas.
12.
by egl2020 3mo ago
I'm a pretty conservative emacs user, partly because I don't want to spend time tinkering to get things to work consistently across Windows, ubuntu, and mac os -- all of which I use daily. My most "modern" adoption is p
13.
by egl2020 3mo ago
The port in 1977 of Unix to an Interdata architecture was one of the singular accomplishments of the Unix operating system.
14.
by egl2020 3mo ago
My first computing experience: Fortran on an 1130 in about 1967.
15.
by egl2020 3mo ago
Love this kind of fearless DIY. Keep at it.
16.
by egl2020 4mo ago
Similar thoughts here. That was when I realized the potential of the Internet: I didn't have to be a grad student at a tier 1 research university to learn about the frontier.
17.
by egl2020 4mo ago
I have a Kelty BB5 that I purchased in 1972, and I used it as recently as 2025. On family trips where you end up carrying odd loads like two sleeping bags or outsized tents, it beats the internal frame packs I use for fast and light trips.
18.
by egl2020 4mo ago
When I was a wee lad, a conference speaker announced that "portability" meant "runs on anything that supports OS/360".
19.
by egl2020 4mo ago
Huge privacy minefield.
20.
by egl2020 4mo ago
Libraries. I use both languages, and a survey of what libraries are available is part of picking an implementation language when starting a greenfield project.
21.
by egl2020 4mo ago
I went the other way: from a Pixelbook to a Macbook Air. I mostly do SW development in the CLI, so the Linux subsystem on the chromebook was fine, as is macports/homebrew/etc. on the mac. I would still be using the Pixelbook if
22.
by egl2020 5mo ago
When I did a small concrete project at home, I was advised not to over do the vibrator.
23.
by egl2020 6mo ago
The Greenland shark appears, if I remember correctly, in her book "Golden Mole", which is about many interesting creatures. This is published as Vanishing Treasures in some countries. Her "Super-Infinite: The Transformation
24.
by egl2020 6mo ago
Accounts receivable, revenue, and cash are related, but separate, accounting items.
25.
by egl2020 6mo ago
I enjoyed Werner Herzog's "Encounters at the End of the World" at many levels, not the least of which was how different it was from "Aguirre, the Wrath of God".
26.
by egl2020 6mo ago
I used to ask myself the same question, but then I realized that for these people it doesn't matter how much they spend. When you are worth billions of dollars, the difference between spending $10M or $50M on your home Does Not Matter
27.
by egl2020 6mo ago
"You can learn anything now. I mean anything." This was true before before LLMs. What's changed is how much work it is to get an "answer". If the LLM hands you that answer, you've foregone learning that you
28.
by egl2020 7mo ago
There's a mystique around Mathematica's math engine. Is this groundless, or will you eventually run into problems getting correct, identical answers -- especially for answers that Mathematic derives symbolically? The capabilitie
29.
by egl2020 7mo ago
The surge in laptops contributed, too. The opportunity or need for expansion cards, additional memory or storage upgrades, and peripherals disappeared or shrank. I used to think of the sales staff as the United Nations of Fry's. It w
30.
by egl2020 7mo ago
Why can't a parser be written? Is there a halting problem or a grammar conflict? Or is "can't" short-hand for "too much trouble"?

More ›