prmph

Even with prions, there evidence that the body (and probably more so with some people than others) has some level of ability to resist, slow, or sometimes prevent a prion infection.

See these:

- The influence of PRNP polymorphisms on human prion disease susceptibility: an update [1]

- A naturally occurring variant of the human prion protein completely prevents prion disease | Nature [2]

[1] https://pubmed.ncbi.nlm.nih.gov/26022925/

[2] https://www.nature.com/articles/nature14510?utm_source=chatg...

Aren't ALL type system proof systems?

This kind of matches my experience. Not sure if I have Aphantasia, but my mental visual imagery is pretty sparse and not that well formed.

And yet, I can somehow imagine the look of a specific person or thing. I can't really see it as a vivid image, like actually seeing something in real life, but I have a sense of imagining it as visually distinct from any other image.

My audio imagination is top-notch though, I can replay songs and sounds in my head perfectly and vividly.

Interesting project.

One small suggestion though: try to always make the first sentence show fully in the card. Several times I was a bit miffed I had to actually click to find out what a card was about, when it would have been better for me to get the gist in advance to know if it was something I wanted to read about.

I really do not see any proper argument you are making here.

> their (almost certainly wrong) intuition

So because some people can't use some information well, we should deny that information to all?

> I also don't really see how checking world maps would be applicable outside the news in question being consumed as entertainment,

Is this even an argument? I do not consume news purely for entertainment, neither do those in my circle

> What are the practical uses of a world scale map beyond sailing?

Wow, is this even a genuine question?

I can use a world scale map to illustrate or explain some geographic point I make in a presentation. I can use it as a quick reminder of the geography related to some current news, etc.

If the mariners want to continue using Mercator, who's stopping them?

Well, I'm sure people wish Africa wasn't so smack dab in the center, haha. But, you can't ignore it without making Europe also peripheral, not unless you exchange longitude for latitude and vice versa.

And fun fact, Ghana is the country closest to point where the prime meridian intersects the equator.

No, the Mercator map has been the world map you'd see everywhere by default, and it is not that useful except for sailing, which most of us are not doing

This is a correction to that.

Your fault for not using a statically strongly typed language, haha. It thinks a type annotation means nothing in Python, and maybe it is not wrong.

Has Lean itself been proved?

See this comment: https://news.ycombinator.com/item?id=49596956

If you don't need something much larger than 43 inches, and you are cool with wide monitors, there are a couple ones that seem good:

- Samsung 40 inch Odyssey G7 (G75F) Series WUHD Curved Gaming Monitor (https://www.amazon.com/Samsung-Odyssey-Curved-Gaming-Monitor...) -- $699.99

- Acer Nitro 49 inch DQHD 5120x1440 Curved 120Hz Office Monitor (https://www.amazon.com/Acer-Nitro-Gaming-Monitor-UltraWide/d...) -- $549.99

- Acer DM431K A 43 inch Class 4K UHD LED Monitor - 16:9 (https://www.amazon.com/acer-DM431K-Class-UHD-Monitor/dp/B0F3...)-- $334.20

- LG 37G800A-B 37 inch Ultragear 4K UHD (3840 x 2160) Curved Gaming Monitor, 165Hz, 1ms (https://www.amazon.com/gp/product/B0FS3LV3WG) -- $598

- INNOCN 40C1R Ultrawide Monitor 40 inch WQHD 3440 x 1440p 144Hz (https://www.amazon.com/INNOCN-Ultrawide-Monitor-FreeSync-Pre...) -- $479.99

Just don't buy a smart TV. Buy a good "dumb" TV (or just get a good large monitor), then hook it up to a set top box (with TV capabilities as needed).

The sad thing was produced by the machine, as its idea of something sad. It is not s result of this particular episode of sadness.

Put another way, “draw me something sad” is too vague; a million people can issue the same prompt, and what comes out does not correlate to any specifics of their own experience of sadness.

Does it matter whether things are true, even if their impact is not readily apparent?

Now, as to impact, one could argue distorting the relative sizes of landmasses causes geopolitical ignorance. For example: do people understand how relatively small western Europe is, the ramifications of that for their political unity, transport system, and impact on the world?

Showing the true size of Africa helps to put into context its challenges with regional transport, political unification, flow of ideas, etc. It also shows that Africa is actually has a relatively low population density. It also makes it easier to understand why lumping everything there under an "Africa" moniker is weird.

As a side effect, the sizes of other regions like South America are also shown more accurately.

> The Mercator projection was used because it made it easy to navigate using straight lines:

But, why should a map made for sea navigation continue to be the map used for everything else? The vast majority of us are not using a map for navigating at sea.

I am even of the view that there should not be one map that everyone defaults to. Use the map that is appropriate to your use case. But if there should be one general, default map, the Marcator projection ranks low in modern relevance for that.

The question of whether machines or humans are stronger is moot, isn't it?

In any intellectual contest between human and machine, all the machine winning implies is that the endeavor is algorithmic.

The machine can be given practically unlimited memory and compute; we consider it cheating if the human would use memory aids. The machine could be implemented as many agents cooperating; we'd think it's not right if thousands of humans collaborated to face the machine, etc.

So statements like "not a sign that humans are now stronger than AIs at Go" are pretty meaningless, IMO

Uber in Ghana has fares that are not much higher than the others. In fact, many times Uber is cheaper. Not sure about Nigeria or Uganda though.

And they even have a motorcycle ride option that is even cheaper.

And, although Uber Ghana was noticeably more professional when they started, they have relaxed their standards so much in recent years. They are still a tad better than the others, but many drives flit between them and other ride-share companies. A driver does not suddenly become better because they happen to be driving for Uber, although I concede they might u their game based on what is expected of them.

Where are the AI-will-render-software-engineers-obsolete and/or vibe-coding apologists? They can make all kinds of nice-sounding arguments, but if AI is contributing to a degradation in product quality, their arguments cannot stand up to the reality we see with our own eyes. The proof of the pudding is in the eating, and all that.

It is the same with Claude Code. Pretty much each change Anthropic makes to it now lowers its quality. Just yesterday they auto-updated it, and now backspace in the CLI does not work reliably. It also insert the enter key command when there is a line break in text that you are pasting, causing fragments of the prompt to be sent prematurely. What the heck! And pretty much all the regressions I have experienced this year have also not been fixed.

This is why I do not fear the ALI/LLMs will take over everything about Software Engineering anytime soon, if ever.

The amount of tacit knowledge I am applying to the architecture of my projects is probably too deep for LLMs to even approach, IMO. It takes very little to have Opus or even Fable make a mess that is obviously bad to anyone who understand even the first thing about effective software architecture.

So if I search for A, and I get results for B instead (where B has only the slightest connection to A), it is not a bug?

What about if B has no connection to A whatsoever? Still not a bug? If it is not, then we may have discovered a software domain (the first for me I should say) where bugs are not possible. Should a be a nice market to launch products for, then.

At what point does search quality degrade to the point where is becomes a bug?

A bug is when actual behavior does not match stated or intended behavior. If the search bears little connection to what was searched for, then it is a bug, as far as the user is concerned.

Or maybe you mean to say we should reserve the word bug for deviations that are unintentional?

Yeah, Claude's writing is weird nowadays, and it uses words that are weird and non-standard in context, and its sentence structure is sometimes weird as well.

Working with it on my code, it's now frequently making weird word choices such as:

- "name(s)" as a verb (instead of "specify/specifies", etc), e.g., "...the function names the argument"

- "carries" instead of "contains"

- "verdict" instead of "result"

- "judge", instead of "validate"

Very weird. Also, in writing comments and docs, it is terse in ways that make the writing difficult to parse, like omitting mentioning what a noun refers to, e.g. abc does not accept..." instead of "The abc function does not accept..."

I've resorted to banning from using certain words, and keep asking it to rewrite its text more clearly.

Hmm, let's see:

I tried to install stuff with Homebrew; it kept warning me that they don't support such an old macOS. Almost everything I wanted to install with it, it tried to do a source build, because the binaries did not exist for it. At one point it was building LLVM to install a dependency, which ran for almost one whole day, I kid you not, and still failed

Also, the latest version of Podman (both CLI and desktop) does not run properly on Monterey. Even if you manage to install those, you cannot create a Podman VM, because it relies on some newer Apple virtualization tech instead of QEmu, and that is not supported on Monterey.

MS Office, Adobe Lightroom, Photoshop, etc... The latest versions of these do not run on Monterey.

These are just a few of the examples.

On Big Sur, things were even worse. The latest versions of VSCode, VSCodium, Brave browser, and many things you might want install with Homebrew, etc. do not run on it. You will have to hunt for specifc old versions to install.

This one was incredibly nasty, and smelly (mostly from piss, I should say). In Brooklyn, if I remember correctly, with the Manhattan skyline in view. It was a public restroom, and I was part of walking tour group.

Proper macOS virtualization, for example.

Also, I do not want to have to upgrade my machine and OS every few years just to keep up with apps that stop working or installing, not because the hardware is no longer capable, but due to ridiculous obsolescence policies. Heck, I can not run the latest version of a lot of software (including basic developer tools) on one of my MacBooks, simply because it is running Monterey.

A proper package manager CLI is also sorely needed. Delegating that to Homebrew and MacPorts doesn't cut it.

Yes, the death of Windows phone was a tragedy for the mobile phone market; it had a fresh take on things, and could have stirred up healthy competition with the duopoly of iPhones and Android phones.

I never could understand why MS would not put heavy muscle behind it. Maybe they deep down knew hardware execution was not their strong suit. People think the software was the problem, but I think if MS really believed in the product, the software side was eminently solvable.

Yep, vote with your wallets. It’s about time Apple learned that excellent hardware alone would not make up for what macOS lacks and where it fails for development.

Well the worst one I ever saw was in New York City, of all places.

Yes, but these robots can presumably go where wheels can't