euiq (u/euiq) - Readit News

euiq commented on Cloudlflare builds OAuth with Claude and publishes all the prompts github.com/cloudflare/wor... · Posted by u/gregorywegory

kentonv · 3 months ago

That's weird! It must be due to a history rewrite I did later on to clean up the repo, removing some files that weren't really part of the project. I didn't realize when I first started the experiment that we'd actually end up releasing the code so I had to go back and clean it up later. I am surprised though that this messed up the timestamps -- usually rebases retain timestamps. I think I used `git filter-branch`, though. Maybe that doesn't retain timestamps.

euiq · 3 months ago

I know that `git rebase` changes the committer date while keeping the author date the same, so I'm assuming something similar happened here. For example, many of the early commits have this committer date with varying author dates:

    $ git show --format=fuller 3dafc8f5de6ffe46fb223a75a46a6bd848b6daf8
    commit 3dafc8f5de6ffe46fb223a75a46a6bd848b6daf8
    Author:     Kenton Varda <kenton@cloudflare.com>
    AuthorDate: Thu Feb 27 17:15:37 2025 -0600
    Commit:     Kenton Varda <kenton@cloudflare.com>
    CommitDate: Tue Mar 4 14:48:59 2025 -0600
    
        Add storage schema by Claude.

GitHub uses the committer date for its history, which is annoying if you rebase frequently; I like to run a non-interactive `git rebase` with `--commmiter-date-is-author-date` in such cases.

euiq commented on Grothendieck’s use of equality arxiv.org/abs/2405.10387... · Posted by u/golol

lupire · a year ago

"Canonical" refers largely to the names we give to things, so that we maximize the extent to which an isomorphism maps the object named A in X to the object named A in Y. And also to choosing an isomorphism that embeds in a different isomorphism (of superstructures) that isn't strictly the topic of the current question.

I don't think anyone thinks canonical isomorphisms are mathematically controversial (except some people having fun with studying scenarios where more than one isomorphism is equally canonical, and other meta studies), they are a convenient communication shorthand for avoiding boring details.

https://en.m.wikipedia.org/wiki/Isomorphism_theorems

euiq · a year ago

let me guess: you haven't read the article, have you?

euiq commented on Meta Llama 3 llama.meta.com/llama3/... · Posted by u/bratao

acchow · a year ago

I've never heard of this person, but many of the questions he asks Zuck show a total lack of any insight in this field. How did this interview even happen?

euiq · a year ago

He’s built up an impressive amount of clout over a short period of time, mostly by interviewing interesting guests on his podcast while not boring listeners to death (unlike a certain other interviewer with high-caliber guests that shall remain nameless).

euiq commented on Fedora 41 will unify bin and sbin fedoraproject.org/wiki/Ch... · Posted by u/rwmj

synergy20 · a year ago

"The /usr/sbin directory becomes a symlink to bin, which means paths like /usr/bin/foo and /usr/sbin/foo point to the same place. /bin and /sbin are already symlinks to usr/bin and usr/sbin, so effectively /bin/foo and /sbin/foo also point to the same place. /usr/sbin will be removed from the default $PATH. The same change is also done to make /usr/local/sbin point to bin, effectively making /usr/local/bin/foo and /usr/local/sbin/foo point to the same place. The definition of %_sbindir will be changed to %_bindir, so packages will start using the new directory after a rebuild without any further action. Maintainers may stop using %_sbindir, but don't need to."

the summary is very unclear for new users, was it saying _everything_ is now symlinking to /usr/bin? and /usr/bin is the only real directory the rest is all symlinks? The way of saying "symlink to bin" is just plain wrong or at least ambiguous.

euiq · a year ago

I agree that “/usr/sbin directory becomes a symlink to bin” can be confusing for new users, but I don’t think it’s wrong: I interpret this statement as saying that /usr/sbin is going to be a relative symlink with target bin, which would indeed make it resolve to /usr/bin.

euiq commented on Tacit programming en.wikipedia.org/wiki/Tac... · Posted by u/tosh

anonzzzies · 2 years ago

I like reading and writing point-free code, I just really hate debugging it. The debuggers/IDEs are (usually? are there exceptions) not really geared up for it and so the debugging experience is basically one of just having 1 call. This goes for more lambda style calling mechanisms of course. I end up pulling it apart, but that's only because of bad debug/ide support in my case. I can read/write it fine; in most cases it just works and then I like it better than the (verbose) alternatives.

euiq · 2 years ago

Recent versions of F# can stop on individual function applications in an expression like

    x
    |> f a
    |> g b
    …

(search for "pipeline debugging" on < https://devblogs.microsoft.com/dotnet/whats-new-in-fsharp-6/>).

In my experience, these are more common than strict point-free style anyway.

euiq commented on Tacit programming en.wikipedia.org/wiki/Tac... · Posted by u/tosh

yau8edq12i · 2 years ago

Apart from "just because we can" or "it's fun", why on earth would someone prefer the second style?

euiq · 2 years ago

It's a joke.

euiq commented on Tacit programming en.wikipedia.org/wiki/Tac... · Posted by u/tosh

technojamin · 2 years ago

Pipes in both of the languages you specified do function application, not composition, so they’re very much point-ful (you see the arguments you pass/get passed).

euiq · 2 years ago

I assume they're talking about code like

    x
    |> f a
    |> g b
    …

… where everything after the first |> is essentially in point-free style.

euiq commented on ChatGPT for Teams openai.com/chatgpt/team... · Posted by u/szermer

benreesman · 2 years ago

The GP did a great job summarizing the original post and defining a lot of cryptic jargon that I didn't anticipate would generate so much conversation, and I'd wager did it without a blind LLM shot (though these days even that is possible). I endorse that summary without reservation.

And the above is substantially what I said, and undoubtedly would find a better reception with a larger audience.

I'm troubled though, because I already sanitize what I write and say by passing it through a GPT-style "alignment" filter in almost every interaction precisely because I know my authentic self is brash/abrasive/neuro-atypical/etc. and it's more advantageous to talk like ChatGPT than to talk like Ben. Hacker News is one of a few places real or digital where I just talk like Ben.

Maybe I'm an outlier in how different I am and it'll just be me that is sad to start talking like GPT, and maybe the net change in society will just be a little drift towards brighter and more diplomatic.

But either way it's kind of a drag: either passing me and people like me through a filter is net positive, which would suck but I guess I'd get on board, or it actually edits out contrarian originality in toto, in which case the world goes all Huxley really fast.

Door #3 where we net people out on accomplishment and optics with a strong tilt towards accomplishment doesn't seem to be on the menu.

euiq · 2 years ago

Your posts are my favorite thing about Hacker News, both because of the things you're saying and the way you're saying them; please don't let anyone tell you otherwise.

euiq commented on For processing strings, streams in C++ can be slow lemire.me/blog/2023/10/19... · Posted by u/greghn

pitaj · 2 years ago

I'm surprised that the reviewer was so ignorant of amortized constant time insertion.

euiq · 2 years ago

This feels like a conversation where it would have been useful for the participants to be very explicit about the points they were trying to convey: the reviewer could have said "Isn't this a quadratic algorithm, because each call to `+=` reallocates `escaped_file_path`?" (or whatever their specific concern was; I may have misunderstood), and the author's initial response could have been "No, because the capacity of the string is doubled when necessary."

euiq commented on Progress on No-GIL CPython lwn.net/Articles/947138/... · Posted by u/belter

qeternity · 2 years ago

I find the current focus on GIL-less Python really strange. The Faster cPython team set an ambitious goal of increasing cPython performance 50% with each release. 3.11 contained some real improvements, but nowhere near 50%. And for much of our testing, 3.12 is either flat or slower. True multi-threading would be great, but I would much rather have improved single threaded performance first.

I of course respect that our needs may not represent everyone else's, and we are grateful for all the work that has gone into making Python a great language. But what am I missing?

euiq · 2 years ago

I think you're missing that your needs are different from those of the people quoted in PEP 703: <https://peps.python.org/pep-0703/#motivation>