matt_kantor

4 ms·

31.
by matt_kantor 5mo ago
Is this a joke I'm not getting or are your wires crossed? Bun is the topic of this subthread.
32.
by matt_kantor 5mo ago
Did you reply to the wrong comment? I don't see how this relates to what I wrote.
33.
by matt_kantor 5mo ago
> The alternative presented is intuitionist logic, which is practically what in the computing world? Where is it used? Or where could or should it be used? The Curry-Howard correspondence[1] tells us that every function is a proof (in th
34.
by matt_kantor 5mo ago
Well the rainforest is about 6 million km² so that's what I have to work with. Assuming I can finish my other project of turning the Grand Canyon into a giant iron mine to produce enough steel, I want to use as much of that space as I
35.
by matt_kantor 5mo ago
In case this part wasn't clear, I read "you guys have fun arguing" as "I'm ignoring the argument". I apologize if that wasn't what you meant.
36.
by matt_kantor 5mo ago
> I don't owe you further debate You most definitely don't have to reply. I wasn't really expecting you to. > I've already moved on Imagine there's a certain kind of candy that you enjoy. Now imagine you learn
37.
by matt_kantor 5mo ago
The argument that you're ignoring is about whether they're ethical or not. Your priors may land you on either side of that argument, but ideally you're willing to have your mind changed if the other side makes a strong enou
38.
by matt_kantor 5mo ago
Yeah, don't let pesky discussions about ethics get in the way of building cool stuff. I'm working on paving over the Amazon rainforest so I can build the world's largest roller coaster, but for some reason people keep trying
39.
by matt_kantor 5mo ago
Help me understand how your above comment[0] squares with your previous one[1]. Above, you said: > We still require a code review for any change And: > We don't really vibe though. At least I don't. I see it more as comment
40.
by matt_kantor 5mo ago
> The whole idea of trusting the cloud to manage credentials on your behalf seems like a mistake. Isn't this what the "trusted" in "trusted publishing" implies? Maybe you're saying that trusted publishing it
41.
by matt_kantor 5mo ago
I've been iterating on the type system of a somewhat-kooky programming language I'm developing: https://github.com/mkantor/please-lang-prototype
42.
by matt_kantor 5mo ago
> I don't think there's anything out there that a computer can do but humans can't do per se. The first thing that comes to mind is complex calculations that need to happen within a certain time budget to be useful. Like
43.
by matt_kantor 5mo ago
> The main point in my original reply was to question the point of software creation, if not to stand in for human capability, wholly or partially. I don't see people creating software explicitly to just let it gather dust for examp
44.
by matt_kantor 5mo ago
I've got no horse in this race, but the great thing about Wikipedia is that you can edit the article[0] to fix anything that you feel is incorrect and/or not adhering to the encyclopedia's policies. You could also bring up yo
45.
by matt_kantor 5mo ago
My reply in a sibling thread[0] is applicable here too. I'm not sure if you have the same things in mind as skeledrew, but at least this seems probably relevant: > If you broaden the criteria enough then you can interpret most anyth
46.
by matt_kantor 5mo ago
> I don't really see your point here. The parent comment said "to do something that a human does/did", so I tried to come up with a diverse list of software that performs functions humans hadn't/couldn'
47.
by matt_kantor 5mo ago
A few off the top of my head: - Video games - Medical device firmware - Synthesizers - Detailed universe-scale physics simulations - Mars rover control software - The Linux kernel
48.
by matt_kantor 5mo ago
You can read a summary on his Wikipedia article: https://en.wikipedia.org/wiki/Avi_Loeb#Claims_about_alien_li...
49.
by matt_kantor 5mo ago
> (just realized emacs bindings work in comments, nice, no ctrl-x tho) Are you using macOS? If so, those keybindings work everywhere. As far as I can tell, Hacker News doesn't impose any custom keybindings (the client-side scripting
50.
by matt_kantor 5mo ago
Here's a link: https://www.youtube.com/watch?v=eztgcwvfPjM
51.
by matt_kantor 5mo ago
Another reason I can think of is simple disagreement about facts (or, relatedly, disliking the lack of sources/evidence in the comment). Like it or not, downvoting for mere disagreement is allowed here[0]. I personally think that any s
52.
by matt_kantor 5mo ago
That was me. Algebra clicked for me so I found the pace of the class to be slow. Ended up creating a few programs to solve tedious things like the quadratic formula incrementally while displaying the intermediate steps so I could write them
53.
by matt_kantor 5mo ago
Why are you starting the clock at the time when you already have a "high level plan that you are extremely familiar with"? I think it's fairer to start from "I received a bug report/feature request" or similar.
54.
by matt_kantor 6mo ago
You may also enjoy https://www.youtube.com/@StuffMadeHere .
55.
by matt_kantor 6mo ago
Would you mind explaining why?
56.
by matt_kantor 6mo ago
> I tried dragging tiles onto squares to spell words, no tiles stuck anywhere, gave up. I think the first move is a forced swap, though from a gameplay design perspective I'm not sure why. It took me a while to figure this out; it s
57.
by matt_kantor 6mo ago
Why does it matter if a human or a machine is responsible for turning the prompt into code? If there's a black box which I can send C code into one side of and get faithful machine code out the other, I'd call that box a "com
58.
by matt_kantor 6mo ago
> How does manual reviewing affect whether or not it's vibe coding? I think the most commonly-accepted definition of "vibe coding" is when you "forget that the (generated) code even exists"[0]. So vibe-ness entir
59.
by matt_kantor 6mo ago
You can't in Haskell either! For example, any function could secretly call `unsafePerformIO` to cause a side effect (and that's not the only example). I believe `const` functions in Rust are actually be guaranteed to be pure, thou
60.
by matt_kantor 6mo ago
EDIT: previously the example in the parent comment was: type NewType<T> = T & { __brand__ : Symbol } --- This seems wrong; the type spelled `Symbol` refers to the boxed interface for symbols[0]. I suspect you meant to write

More ›