arh68

FYI Don't miss out on the <!-- HTML comments --> .

Wow. AMA, you say? When do you prefer loops, or lines? Additional lines, or carriages? How much do you tear down at once? if you don't mind me asking

I'm like median on Metro, ~60 hours over years (though perhaps just the one hour, 60x, &c). Never too late to learn some strategy, I guess. Never played Motorways.

They ought to get source code, too !

Crazy to think we'd pay for software, ask for source to run a Fortify scan & whatnot, and get told to kick rocks. "Proprietary ... trade secrets ... &c&c". Just mark it green

Well, now I'm confused.

> Fira Code uses uniform length for +, =, and -. - and _ share similar length. The /\ characters join together and render smaller compared to the other fonts.

This "joining" is a ligatures thing, I'm almost certain, at least for `<>`. I can't for the life of me get anything on macOS to render `/\` as joined, though. Stumped. I've no preference either way, it's just weird to see a familiar font rendered so strangely. Maybe it's a Windows font rendering thing ?

A very fair comparison, though I'd argue legibility isn't always worthwhile; the MICR (?) fonts on checks are quite legible (perhaps machine-legible) but too weird to use.

also, TIL IntelliJ bundles Fira Code for quite some time now

Maybe he "just" got it wrong. Maybe they're typos, and the manuscript was correct. Or...

Maybe Pemulis gave Hal an obviously wrong derivative, and when uncorrected, drove Pemulis to abruptly end the tutoring. Maybe Pemulis said it right but Hal heard it wrong. Or...

Maybe it's "just" another sign they're in an alternate universe where even the math is different. That's pretty much how I feel about it

Exactly. By GP's logic, time zones are absolutist, and every town could & should observe solar noon independently.

I think folks are averse to "world time" (for reasons, largely inertial), so maybe the baby step is try 1 timezone per country (like China's done for .. 75 years ?).

I'd even argue Local Time has only ~4 useful times: dawn, daytime, dusk, & nighttime. Where I grew up, the parks closed at dusk every day. Nobody complained

If I take a walk at 7:05:35 PM every day, it seems very precise but doesn't indicate whether I need sunglasses or a flashlight. It's meaningless precision, like 0.6235 slices of pizza. If I'm coordinating a walk with you, I might as well use UTC: it still won't tell light from dark, but at least nobody'll be waiting for an hour due to DST. It'd make more sense to schedule our walk at `1 hour before dusk`, or "just" settle for UTC, IMO.

True, true. All Q4_K_M unless I'm mistaken. Thanks

Wow, a 5060Ti. 16gb + I'm guessing >=32gb ram. And here I am spinning Ye Olde RX 570 4gb + 32gb.

I'd like to know how many tokens you can get out of the larger models especially (using Ollama + Open WebUI on Docker Desktop, or LM Studio whatever). I'm probably not upgrading GPU this year, but I'd appreciate an anecdotal benchmark.

  - gemma3:12b
  - phi4:latest (14b)
  - qwen2.5:14b [I get ~3 t/s on all these small models, acceptably slow]

  - qwen2.5:32b [this is about my machine's limit; verrry slow, ~1 t/s]
  - qwen2.5:72b [beyond my machine's limit, but maybe not yours]

Great article. Informative, qualified. I had not realized how splintered the [E]BNF syntax is, like in the way I already knew timestamps are (3339 vs 8601 vs mm/dd/yyyy &c &c).

Q: what's your ideal way to write Unicode characters clearly? In the W3C/XML spec they'll have stuff like [#x200C-#x200D] but I have no idea what those are, without like a dictionary on hand. Points for specificity, but it doesn't scream "readable".

Your point about standards-not-publicly-available is unfortunately similar to, well, laws. In some areas, "the laws" themselves are not public (!) though perhaps it's a digression better to not get into

pedantically, s/unabiguously/unambiguously/g

I feel like the prices have gone up for years & years. I thought my Spyderco was a cheaper alternative to Benchmade, but now they're basically all $100+. $65 is now $130 or so.

My guess is collectors that'll buy at almost any price. Some knives from the '80s that used to cost $25 are simply eye-watering today (well past 10x).