cole-k

6 ms·

1.
by cole-k 4d ago
Did not expect to see Mudd mentioned in the comment section on HN for an IKEA Skyrim mod... Not really surprised the admin was like that given the name, but I hope things worked out well for y'all.
2.
by cole-k 2mo ago
While I appreciate you taking the time to reply, I'm interested in the particulars of what constitutes security in New Reddit. It seems we both agree, though, that Old Reddit is not long for this world. Which I find regrettable.
3.
by cole-k 2mo ago
While most of the rant was indeed about their posturing (which I personally would not call "politics" but we need not debate semantics here if I understood you well enough), even putting that aside I wasn't able to find stron
4.
by cole-k 2mo ago
It seems you're viewing this from the perspective of Reddit-the-company, and if your interests are to maximize profits then I don't really disagree with what you have to say. I miss Reddit-the-communities, personally, whose intere
5.
by cole-k 2mo ago
Then they should nuke Old Reddit rather than offer a wishy-washy "we're being scraped" explanation. My beef is that under all of the layers of PR this ultimately comes down to an engineering liability --- which is not my prob
6.
by cole-k 2mo ago
It's being rolled out only to some people, as noted elsewhere in this thread ( https://arstechnica.com/gadgets/2026/06/reddit-will-require- ...). Sorry, I neglected to mention/link to this news articl
7.
by cole-k 2mo ago
The 2s delay before response smells of rate-limiting to me! I don't remember it ever being so slow before, but then again I don't use Reddit anymore. Unless their servers are being hit so hard by scrapers they can't stand up
8.
by cole-k 2mo ago
> The business model where a company owns a public community and monetizes through ads and search traffic seems to have just been a failed model. A failure in what sense? That they can't pay the bills or that they can't see the
9.
by cole-k 2mo ago
> They also don't work on old.reddit much at all these days, so any effort they have to put in to handling bot traffic is kept to one route. I neglected to editorialize this part, but I suspect this is because *they don't have
10.
by cole-k 2mo ago
It's being rolled out only to some people, as noted elsewhere in this thread ( https://arstechnica.com/gadgets/2026/06/reddit-will-require-... ). I neglected to mention/link to this news article. I ho
11.
by cole-k 2mo ago
I know I'm not arguing with you personally here since it seems we both have a bone to pick with Reddit, but I don't understand why they can't use Anubis or whatever captcha thing I may or may not have seen on New Reddit. It i
12.
by cole-k 7mo ago
Are you making a counterpoint to the author's premise that smart glasses are an "intolerable intrusion?" I'm having trouble understanding the purpose of your comment since it seems like you're just saying the ray ba
13.
by cole-k 7mo ago
Not the original commenter, but I have faced similar friction from people who are not grandmas or quarterbacks. I don't particularly agree with its tone, but I agree with the original commenter's general message. I won't be
14.
by cole-k 8mo ago
Cool stuff! I'm not as lucky to be surrounded by (affordable) fresh, seasonal produce, but I'll keep your seasonality tip in mind. We do have farmers' markets where I am, although their prices are unfortunately at a bit of a
15.
by cole-k 8mo ago
> adopting instead, the diet of my great grandparents: Plants; local, seasonal and whole. I saw some mention of the same on the website for the farm. Care to share any recipes? Or even just names of dishes? I quite enjoy foods from the M
16.
by cole-k 11mo ago
Nothing of actual utility: https://github.com/cole-k/turksort
17.
by cole-k 11mo ago
Related: https://cs.wellesley.edu/~cs251/f16/assignments/antics/Stefi...
18.
by cole-k 1y ago
I don't really see there being much of a difference between the modeling surprises and last-minute surprises only uncovered when the program runs. If the gist of what you're saying is that an experienced proof engineer should have
19.
by cole-k 1y ago
> ... enough professional musicians use it as that I think I have to consider it that as well. While not a bad proxy, I would say it is a sufficient but not necessary condition. Especially since many pros have the money to blow on overpr
20.
by cole-k 1y ago
https://en.wikipedia.org/wiki/Trigger_(guitar) Not to defend Teenage Engineering, but I have seen a surprising number of OP-1s in music videos/live performances of bands I respect. Does that justify its price tag?
21.
by cole-k 1y ago
I heard Woz give a talk (or Q&A?) at a conference and it was very enjoyable, even for someone who doesn't know much about Apple's history. If we are to believe his word about not selling out, then I must assume that https:&#x
22.
by cole-k 1y ago
The constant use of metaphor and simile drove me crazy. I had suspected this might be AI due to the frequency as well as absurdity of some of the comparisons (Talmudic scholars? Renaissance cardinals??) but humans also write dumb things lik
23.
by cole-k 1y ago
> I have never said that. Then I misunderstood your comment. I read it as "not invested in their tools => not a good programmer." Reading the replies to my sibling comments, I don't think we really disagree but we proba
24.
by cole-k 1y ago
That's kind of a weird point to make. I don't see why it would be a universal truth that a good programmer is someone who invests in their tools. I could just as easily say that good programmers are the ones who don't have
25.
by cole-k 1y ago
I wouldn't be too surprised if PL proofs were simpler to start with. Part of what I hear people say is that they also are a lot more routine. Do structural induction, apply the IH to show an invariant holds, continue. I haven't do
26.
by cole-k 1y ago
This went over my head at first, but I really like it. So for those like me: it converts network traffic into audio output. YouTube explainer: https://youtu.be/vfgySTaM1TI
27.
by cole-k 1y ago
It's an admittedly smaller dataset, but Hook Theory has an analysis that allows you to search by chords (including relative) and look at trends: https://www.hooktheory.com/theorytab https://www.hooktheory.co
28.
by cole-k 2y ago
Yeah this is awesome. For keyboards really similar to OP's The keyboard they were inspired by (not for sale... yet?): https://old.reddit.com/r/ErgoMechKeyboards/comments/1cfg3vr/... Corneish (out of
29.
by cole-k 2y ago
Another happy doom user (and formerly unhappy vim configure-er). Although the objection I see is more like "Why bother learning to use emacs/vim when VSCode is free and does everything I care about and my friends use it?" Whi
30.
by cole-k 2y ago
Your comparison hits home for me. I have been playing guitar on-and-off for over a decade (OK, maybe more like trying to play guitar) and I still really enjoy Guitar Hero. It's instant gratification: I don't have as much fun pra

More ›