habitue

45 ms·

511.
by habitue 6y ago
This looked suspect to me at first as well, but on reflection it doesn't seem so bad. The important aspect here is that they have some large dataset that a model will converge on in less than one epoch. The benefit of generating it f
512.
by habitue 6y ago
Art + money laundering = regular fine art world[1] So really this is just adding crypto to the mix, because "everything's a little bit better when you sprinkle crypto on it" [1] https://www.cnn.com/2020/0
513.
by habitue 6y ago
Yeah, reading into the masculinity worries of truck drivers is telling. It's basically a trope that a huge truck means you're "compensating for something" and this article just kinda dresses that stereotype in fancier la
514.
by habitue 6y ago
The pro-sumer play sort of relies on them plausibly having a reputation for creating things for actual professionals. Over time, as that residual reputation burns off, seems like it may become less effective.
515.
by habitue 6y ago
Really good, and I love the wikipedia format for this. It's a great trope allowing the author to gesture at related topics in a format we're all familiar with. I think the expectation of a neutral tone from a wikipedia article mak
516.
by habitue 6y ago
I take the point you're making (in principle, there is some off-chain consensus at work here), but for these particular examples I believe society didn't decide these names as much as the people deciding to do the forks did.
517.
by habitue 6y ago
Just to clarify, if you have a problem with what eInk is doing here, then you basically have a problem with patents altogether. This is essentially the prototypical case for patents: * Invented a novel, physical device[1] * Granted monopoly
518.
by habitue 6y ago
To your point, the example of Idris is sound and decidable, but in practice the decidability doesn't matter: you add fuel[1] to limit recursion, but it can just be some arbitrarily large number (but not infinite) number of loops. [1]
519.
by habitue 6y ago
As others have said, it's an old sales tactic that benefits the seller. You'll see it mostly in places where: 1. There's not much competition for the product, so the seller has no reason to compete on price and make things ea
520.
by habitue 6y ago
yeah, I have the reMarkable 2 myself. It's an amazing device. The only downside is really the cost. It's premium quality like an Apple device (the unboxing is a trip) and it's hackable on day one.
521.
by habitue 6y ago
I have one, and the cloud service is actually completely replaceable if you want. Since the device is running linux you can compile to arm7 and just run a sync cron to whatever server you want if you don't like their cloud service. Edi
522.
by habitue 6y ago
So, the company failed. It might be profitable, it might have a war chest, but if the preferred shares are getting "some" money back and common stock is getting nothing, then basically what happened is that the company borrowed X
523.
by habitue 6y ago
Well, yeah exactly. This whole business is set up so you don't pay for support if you don't want to. And AWS is set up the same way, they just also let you pay for support.
524.
by habitue 6y ago
Just wanted to point out in case you didn't see it, that rusuto currently needs a fulltime maintainer! They're in maintenance mode currently, no one is spending much time on it since the primary maintainer stepped back.
525.
by habitue 6y ago
In terms of extracting the actual blog content from pages, there is a go library that implements the readability algorithm: https://github.com/mauidude/go-readability This is the kind of thing pocket/instapaper do
526.
by habitue 6y ago
Ah, good idea. Done
527.
The biggest myths about systemd (2013)(0pointer.de)
3 points by habitue 6y ago|3 comments
528.
by habitue 6y ago
Agreed. I think the hate against him stems from him just completely dismissing POSIX and the unix philosophy. Personally, I think this is a positive direction to move in. Let's stop worrying about the design principles that happened to
529.
by habitue 6y ago
> When did apple become [...] the good guys? The piece you're missing is that there are different groups of "fanboys". When a particular news story reinforces one group's ideas, you hear a lot from them in the comment
530.
by habitue 6y ago
Often called sum types, it's really convenient when your language supports both building these kinds of enums as well as destructuring them with pattern matching. If you don't have destructuring, they're less attractive. Ther
531.
by habitue 6y ago
The difference between "should be safe if your ocaml code is good" and "is safe" is the thing that allows you to use tooling to delete the code. Otherwise the best you can do is lint and rely on a human to use their be
532.
by habitue 6y ago
> “I was hoping to be able to say it was more to do with our world-class nickel projects.” Gotta give him credit for a solid plug
533.
by habitue 6y ago
I think "Commoditize your complement" comes into play here. Yeah, if your core offering is free, you're going to be fighting to make money. But you can get huge value if you open source otherwise proprietary parts of your sta
534.
by habitue 6y ago
Assuming it's not locking an issue, I really like stalebots for internal projects. There are lots of things that just become moot after a while because things change so rapidly. If you run into the problem again, it's always easy
535.
by habitue 6y ago
I think for this kind of high performance stuff, grpc is a reasonable choice. For ergonomics though, http + json is fine for many/most applications and there is a lot more widely available tooling for it than there is for grpc. It&#x27
536.
by habitue 6y ago
Is it standard to prune these kinds of large language models once they've been trained to speed them up?
537.
by habitue 6y ago
You're right, it's probably fair to say it's a stunningly bad tradeoff for most applications most of the time, given we have fast compression like snappy & brotli available now and cloud costs are heavily weighted towards
538.
by habitue 6y ago
It saddens me a little bit that a nascent protocol like arrow flight is using grpc + protobufs behind the scenes with some hacks on top to skip the cost of deserializing protobufs. It seems like a really common belief that protobufs have so
539.
by habitue 6y ago
Ah, so mypy supports fstrings, but not in types. So you can do Direction = Literal["left", "right"] But this won't work: eft = "eft" ight = "ight" Direction = Literal[f&quo
540.
by habitue 6y ago
Opinions: 1) mypy is the best type checker, you could look into pylance or pyre though 2) Django's ORM is kinda bad vs. sqlalchemy, but this isn't new. I'd consider any framework where you can use sqlalchemy (most everything)

More ›