Viewing profile — jacobmischka

This is exactly what the previous poster was talking about, these definitions are so circular and hand-wavey. AI means "artificial intelligence", but since everyone started bastard…

I sincerely hope you work on some random SaaS and not any software that actually matters, because this is how you get subtle dangerous bugs.

So it's a coinflip whether it's giving you correct information or something completely made up? And now you're not digging through the obscure manuals to actually verify? Seems obj…

We're working on Interval to make doing exactly this easier. We focus on code first, well-typedness, and abstract away UIs for these tools so you can write the business logic using…

This is an extremely bad faith reduction. It is a series of programming puzzles, not invent-the-universe problems, or paraphrase-problems-to-AI problems.

I do something similar, though I use the "defaults" as the starting point and add overrides in local files which aren't checked in. Something like this: # .dotfiles/.bashrc # share…

Oh, I guess because of the recent comma.ai story. Seems a bit less blatant now that I realize that.

This is a bizarre and blatant attempt to yell over detractors with ancient PR. Why are people upvoting this?

That exists!

Seems like they're not the most immature one in this situation.

This honestly doesn't seem like a big deal to me. Maybe I'm naive, but email addresses aren't really private these days, it was limited to only fellow members of your workspace, an…

Agreed on the formatting of mine being ridiculous with huge margins and line spacing, it wasn't my choice.

Very neat! Unfortunately can't get the `curl` example to work no matter what I do (on Arch Linux). $ pledge.com -p 'stdio rpath wpath cpath dpath flock tty recvfd fattr inet unix d…

Ha well the mechanization was a nontrivial amount of work (for me at least) and was considered part of it too. If it's still short despite that, then welp I guess I got lucky someh…

Neat! This proposal caused me a lot of headaches, mechanizing its specification was the primary contribution of my Master's thesis a couple years ago[1]. I forgot until rereading i…

Those sell for $5 in some places.

Your analogy is true though?

In my experience, if you rely too much on GPS that tells you exactly where you are and where to go you'll have a much tougher time actually retaining that information. When I first…

It's a compiler optimization, not something an end user should really ever use. As an end user, it should just look like a function whose final statement is the call to another fun…

Based on the title and reference to smoking, I imagine he means the risk of lung cancer.

They really don't at all given their nutritional value. 25g of protein (which should suppress appetite a bit) for 120 calories is by no means massive.

Yeah, this article makes no sense. Caffeine is absolutely a cognitive performance enhancer and is undisputably in Diet Coke.

Essentially, palms inward instead of downward. It's the natural position your arms are rotated when at your sides.

Performance is not priority number 1. Number 1 is to ship the game on schedule so you can stop crunching for the first time in months, number 2 is to make an interesting game that …

Lmao, you're right indeed. My mistake!