Viewing profile — ky3

> the Sierpinski triangle is a counterexample How so? It's bounded by the large initial triangle. The line containing any two of the vertices doesn't intersect any other point.

Find one that bridges only two points, no more. Unless ofc you're given a configuration that's obviously impossible: all of them in a line.

Maybe this'll help: Every bunch of points on a plane has a lonely bridge. A lonely bridge is a line connecting only two points, no more. Obvious caveat: The points can't all lie in…

You can ask the LLM to write a prompt for you. Example: "Explore prompts that would have circumvented all the previous misunderstanding."

LLM to the rescue. Feed in a problem and ask it to explain it to a layperson. Also feed in sentences that remain obscure and ask to unpack.

> If you are skipping a step in the procedure, aren't you also possibly going to skip writing a step down? Exactly, so when she reviewed the notebook, she caught the error. Even if…

Wouldn't attention to getenv() calls yield more benefit? Such calls are where input typically isn't parsed--because parsing is "hard"--becoming targets for exploit. The present fix…

EWD 1036: On the cruelty of really teaching computing science (1988) “My point today is that, if we wish to count lines of code, we should not regard them as ‘lines produced’ but a…

For even better measure here's a slice of HN reactions to EWD1094: https://news.ycombinator.com/item?id=46085897

> Good textbooks have gone through expert reviews and multiple iterations of improvement. That's an assumption increasingly false, unfortunately. The spirit of collegiality has bee…

The logical skills to evaluate the output of a LLM are the same skills brought to bear reading any book. What makes you trust this textbook then? Textbooks are not infallible.

re: Chapter 15.8 on the so-called pigeonhole principle Following Dijkstra’s EWD1094, here’s a way to solve the hairs-on-heads problem eschewing the language of pigeonholes and empl…

Such problems are a cakewalk for LLMs, you realize? Lots of didactic activities you could do with LLMs.

Which nation did Maduro invade again? Did you confuse Venezuela with Russia? > By that logic the US shouldn’t get involved in any other foreign entanglement or global police action…

Are you arguing two wrongs make a right? This most recent wrong would likely gestate an even worse authoritarian regime than the earlier wrong. Where is the right you're seeing?

A grid with 19 columns is enough. Every column at worst has all 3 colors, one of them used twice. Once we fix that one color, there are C(4,2)=6 ways of filling out the rest of the…

M&Ms much? There is no finite field with six elements.

I'm game. Email's in the profile. Aside from HN, do you have other plans on gathering up the numbers?

No, I actually mean what I wrote: Not everything that counts can be counted. Take the happiness produced by a piece of software. Can we put a number on it? Contrast Lord Kelvin: “W…

Worth filing under: Gaming the System, in this case: image compression benchmarks. Not everything that counts can be counted.

Spitballing here: more land in the US means lower cost to stock cars in dealerships. Also makes it easier to do an impulse purchase with all the easy financing available, compared …

> The fear of a legacy (or your ancestors or your lineage) being forgotten is very, very real. Temple Grandin, decorated autist and celibate, once yearned wistfully about how to pa…

To answer obliquely: I observe some men to rage for vengeance at being cuckolded. Subsequently, in an episode of repeat impotence, the bullets rebound on the shooters. Example: the…

Don't have a dog in this race, but doesn't that certain vegetarian-leaning religion also prohibit violence against human beings? How do the terrorists square such contradictions in…

Apparently, the research literature calls this feature Sheet-Defined Functions (SDF). Doesn't it use this result from Microsoft Research UK that was just recently published in ICFP…