turminal

22 ms·

241.
by turminal 5y ago
Is this Chris from https://aphyr.com/posts/342-typing-the-technical-interview trying to save himself and others from Haskell types?
242.
by turminal 5y ago
This list is completely useless to someone that doesn't know base64 reads files.
243.
by turminal 5y ago
I don't think the makers of this machine believe this is a viable solution for farmers right now, but they realize that "buy it cheap from China" is becoming more and more of a problem in the long run and something that needs
244.
by turminal 5y ago
... and developers are very clueless. And just about nothing works as advertised.
245.
by turminal 5y ago
Selling user data to third parties is no better than showering them with ads.
246.
by turminal 5y ago
And that just proves my point about confusion :) Thanks for the correction.
247.
by turminal 5y ago
It's the same thing really. It's just that Riesz first proved it for the special case and it was then generalized to Hilbert spaces. It's such a huge generalization that it causes a lot of confusion.
248.
by turminal 5y ago
There's https://git.sr.ht/~sircmpwn/shit , written in posix sh. It doesn't implement any of the porcelain though.
249.
by turminal 5y ago
> Oh really? Fences are fascist now? And deportations? I believe you lack some context here. There are a lot of migrants and refugees coming to Europe through the Balkans. Whether to let them in or leave them waiting in improvised camps
250.
by turminal 5y ago
The best non-conventional introduction: https://aphyr.com/posts/342-typing-the-technical-interview
251.
by turminal 5y ago
Because programmatically checked proofs don't work the way you think they do. And even programatically checked proofs are still programs. And programs still need code review.
252.
by turminal 5y ago
Am I the only one that's worried this means the last hardware platform that was reasonably standards adhering is about to be broken up?
253.
by turminal 5y ago
You're just annoyed because people are complaining. If you believe there's more to your point, please restate it in a less patronizing manner.
254.
by turminal 5y ago
I don't see how locking myself into a walled garden would improve the situation.
255.
by turminal 5y ago
No. Calling someone Amish of the internet because they refuse to be tracked, refuse to take part in voluntary remote code execution or just do their computing on a computer from 2010 on a poor internet connection is just sad. If you want to
256.
by turminal 5y ago
> On other side having on a good number of dependencies on your package.json is a good sign, because you have a strong structured ecosystem to relay onto. What's "strong structured ecosystem" supposed yo mean?
257.
by turminal 5y ago
THE Python interpreter is written in C. People usually refer to CPython when phrasing it like. That does not mean there are no python implementations in other languages, but they all have minuscule market share compared to CPython.
258.
by turminal 5y ago
On some ancient systems { and } don't exist. So an alternarive made of more common characters is provided. There is also a two-character combination for [ and ] and a three character combination for |, & and some other characters.
259.
by turminal 5y ago
> we as a community have finally gotten past the anger around requiring JS to use the site. We have not. It still sucks. As for the twitter responsiveness experience... You must be living in an alternate universe.
260.
by turminal 5y ago
This is more akin to leaving the door unlocked than to having a break in.
261.
by turminal 5y ago
I'm not any kind of expert in the field, but trading single chip speed for more chips surely has it's downsides, which aren't mentioned in the article at all.
262.
by turminal 5y ago
The problem here is the distance to the satellite, which is an order of magnitude bigger than what 4G technology is capable of.
263.
by turminal 5y ago
That's still at least an order of magnitude bigger than the space available for this thing inside an iPhone
264.
by turminal 5y ago
> there is no way to scientifically differentiate between an infinite quantity and a really huge quantity (same for infinitesimals), in finite time That depends on the model of computation you pick, doesn't it?
265.
by turminal 5y ago
They do have the same inode. Directories have inodes too, so that's not an obstacle. We don't have hardlinks to directories because that is a terrible idea functionality wise.
266.
by turminal 5y ago
That would create a whole lot of other problems and probably some performance penalty, because strings are much, much more difficult to work with in the context of a kernel filesystem driver.
267.
by turminal 5y ago
They are not analogous. IRC is a chat protocol with semantics suitable for a chat protocol. HTTP is at this point just a transport level thing for whatever you want to send. It doesn't have any significant semantic implications for sit
268.
by turminal 5y ago
Comparing protocols like that is comparing apples to oranges, but I think I see your point. When people say 'I miss IRC', they don't necessarily mean the technicalities of the protocol though.
269.
by turminal 5y ago
The same argument applies to M1 and people still (successfully) reverse engineer them.
270.
by turminal 5y ago
Other brands are equally bad in my experience sadly.

More ›