erk__

43 ms·

391.
by erk__ 5y ago
Its not like Microsoft does not work on that, they probably have a dozen different formally verified programming languages around at the moment. You already mentioned F*[0], but there is also Checked C[1], VCC[2], koka[3], dafny[4], Project
392.
by erk__ 5y ago
On top of the sister comment software patents are not a thing in general in Europe which I would imagine is the authors area of expertise.
393.
by erk__ 5y ago
Is it not because they are still building the cases? Also that guy tried to overturn the election in late December so could he as well not be a agent provocateur? Trying to rile up members of the republican party against the newly elected p
394.
by erk__ 5y ago
I think it is a Linux Foundation project now and Mozilla does not have any formal involvement
395.
by erk__ 5y ago
Has government surveillance not been an open secret for decades for example you can dig up EU reports on Echelon from the early 00's which talks about a 1997 study that said that ECHELON routinely intercepts all e-mail, telephone and
396.
by erk__ 5y ago
Here is a link to the youtube version: https://www.youtube.com/watch?v=lxdcBD4ppF0 And I will double up and say it is a great episode of a great podcast.
397.
by erk__ 5y ago
The big question that is missing to be answered is what it looks like generally on youtube, especially with highprofile youtube channels with a lot of people who dislike them, it is rather rare where more than half of all viewers dislike a
398.
Dota the International Is Moving Because Sweden Doesn't Think Esports Are Sports(kotaku.com)
3 points by erk__ 5y ago|1 comments
399.
by erk__ 5y ago
You can probably dig up a few stories, but for a long time it was classified, it first got declassified in 1990.
400.
by erk__ 5y ago
The US did a similar thing at Camp Century [1] on Greenland. They installed a PM-2A nuclear reactor there, as far as I know they relayed very sparse information to the Danish goverment during the time, especially about the secret Project Ic
401.
by erk__ 5y ago
This comment from yesterday is probably as close to it as it will ever come: https://news.ycombinator.com/item?id=27497019
402.
by erk__ 5y ago
Probably something like LMDB [0] or Tkrzw [1], though nosql is a bit more diverse in a way SQL is not so it is hard to give a clear answer. [0]: https://en.m.wikipedia.org/wiki/Lightning_Memory-Mapped_Data... [1]: htt
403.
by erk__ 5y ago
There is also ee/aee/xee which is by default installed on FreeBSD as a alternative to vi which does not have mode switching.
404.
by erk__ 5y ago
If you look at their previous release names it is really not surprising https://notepad-plus-plus.org/downloads/ Notepad++ is also pretty much the reason that GitHub added tools to deal with massive scale abuse iirc as
405.
by erk__ 5y ago
Pretty nice site the only issue I have is that the Crates.io part does not differentiate between development dependencies and normal dependencies.
406.
by erk__ 5y ago
This have come now https://stackoverflow.blog/2021/06/02/prosuss-acquires-stack...
407.
by erk__ 5y ago
The best tracker is probably https://netsplit.de/networks/top10.php
408.
by erk__ 5y ago
I would bet that the biggest irc network is twitch, although that is a very different kind of community than what is usually associated with irc.
409.
by erk__ 5y ago
This article should probably be marked as a parody somehow, it seems that most people in this thread does not know that it is a clear parody of one of Drew DeVault's articles in particular: https://drewdevault.com/2021&
410.
by erk__ 5y ago
as pointed out elsewhere this is a parody of https://drewdevault.com/2021/02/09/Rust-move-fast-and-break-...
411.
by erk__ 5y ago
PIA was sold to a Israli company some time back: https://www.hackread.com/private-internet-access-pia-vpn-sol...
412.
by erk__ 5y ago
It says in the article that it consumed 6.27 kg of hydrogen and the standard tank is 6.3 so I would say that it was not modified.
413.
by erk__ 5y ago
There is also https://apps.sentinel-hub.com/sentinel-playground/ which seems to be a bit higher resolution, I think they are imagin the whole earth every other day.
414.
by erk__ 5y ago
As there was talk about in a subthread yesterday [0] so does arm support big endian though it is not used as much anymore is it still there. POWER also still uses big endian though recently little endian POWER have gotten more popular [0]:
415.
by erk__ 5y ago
I have found a Gentoo distribution with big endian for the raspberry pi 3, so it is out there https://github.com/zeldin/linux-1/releases
416.
by erk__ 5y ago
IBM already have a chip with a gigabyte of L3 cache, so maybe that combats the latency in another way
417.
by erk__ 5y ago
Reminds me of the Lisperati: http://www.lisperaticomputers.com/
418.
by erk__ 5y ago
Maybe try and write out the complete path for the github repo when using straight, I am using the abo e packages (except vertico) and have not had any issues
419.
by erk__ 5y ago
I would be a bit more enthusiastic about it if the foundations wasn't the closed black box it seems to be at the moment. Either they are yet to have a board meeting or they have not published the minutes, both possibilities are not gre
420.
by erk__ 5y ago
Sounds a bit like the legend of King Skjöldr, who was a Danish King who came to the shore as a small child in a boat with no other on it on a shild (hence the name.) https://en.wikipedia.org/wiki/Skj%C3%B6ldr

More ›