skysight-inc/HackerNews huggingface dataset:
Is there no judicial process?

How can someone not take the gov. to court, show the judge the numbers, and the judge put a hold on Midas?

And how is such massive fraud only highlighted on some random blog?

This is also quite a good example of illustrating how cable news is so rigorously narrative-driven: their websites right now may have 10 links relating to their 'favorite local story they chose to make a national story' which plays into some kind of politics, instead of having references to more nuanced things like this. But without some 'politician they don't like to blame' it's hard to make into clickbait.

I believe these more 'operational' realities of governance are far more impactful on our civilization than the more ideological things we argue about all day. A highly functional and efficient bureaucracy makes political arguments effete.
this sounds really interesting and i'd imagine a bunch of us are very curious for a quick rundown on it despite not having an immediate need for it ourselves. care to elaborate?
Hi! Please can you send the email to: 52bdec35-22f4-4488-bac5-d055a9fff4b8@helldritch.anonaddy.com?

Thanks a lot for this, it sounds useful, I wonder if we could time the launch so that the satellite could receive telemetry (as a back up to the integrated avionics failing due to rapid pressure or temperature changes, or shock)
Short just means they have a negative amount of that, in this case a negative amount of options.
Yeah, if we could get rid of all those all stories about pages being deleted, tweets being annotated or apps being taken down that would be nice.
Potato yeast starter for baking bread
> you'll probably end up near Forth in the design space anyway

Good point. Related to this, FORTH can be treated as a target platform for compilers, although I don't think there are many mature compilers that do this.

I wonder if CollapseOS will ever seriously target heavyweight platforms like x64 (and not just through emulation with libz80). I suppose that's out scope, but it would open the door to JIT.

> you may as well just use Forth

Presumably it could be a little more compact if a less human-readable variation were used, no? FORTH uses DROP and THEN, which could be shortened at the cost of readability.
This would be catastrophic. The fear of death has at least curtailed fighting.
Yet with their three year they still said “sorry it happens all the time, nothing we can do” when we got burglarized.
Plenty of languages allow to write modular code, all the way back to early 80's.

The developers that aren't able to write modular code, are just going to write spaghetti network code, with the added complexity of distributed computing.
Have used Logitch mice, and still have one, with no problem. I don't understand how an off-centre sensor makes any difference. If someone could explain, I'd be interested - or perhaps the post was intended as humour.
They announced it is their intention to have all their services and SaaS running on top of Graviton instances. i.e They are eating their own dog food. They said this will be a long time, multi year method. ( And whenever Amazon is saying this that means they are doing as fast as possible to optimise for cost )
I don't see the problem. I use a G9 Laser and it works just like any other mouse - side or centre sensor.
I think Rust gives the symbols unique hashes for each crate version to avoid this. See this answer on Stack Overflow for more information: https://stackoverflow.com/a/51722134 - not sure if there is a better reference document though.

You sometimes get weird errors like expected `A` but found `A` in the unusual event that you actually run into this, but this is probably something that could be fixed.
Why There Is a Surge of Foreign Universities Providing Data Science Education
> Because if it breaks, you can't fix it. If it reports on you, you won't know. If it decides to not allow SSHing into a server that it has blacklisted, you can't change it.

Are these the only reasons you have problem with it being closed source?

I'll happily use the closed source version when MS is developing who can handle 4 digit number of issues and likely to fix issues you care about and more.

If someone black lists your SSH server publicly, you seem to have a bigger problem than an extension being closed source.
This is amazing. I'm writing this down for when I have kids!!
What happens if you are building a library that is published to Hackage?
Seems like subset of dependent types to me
Sure, but almost all software is not produced by a giant corporation with a well-established track record of pushing user-hostile changes via updates, including overriding or reverting the user's explicitly chosen privacy settings, and including taking such actions in the recent past.

Microsoft is not on your side when it comes to privacy and data security. It has made this abundantly clear both by its actions and by the statements of its senior leadership. However much anyone here might like VS Code, it is still a Microsoft product, while the alternative under discussion is not.

I'm genuinely surprised so many people seem to be leaping to the defence of VS Code here. Why? It's the same application, just made worse by Microsoft's telemetry (and the accompanying infamously opaque privacy policies). Unless you need one of the extensions that is tied specifically to the official Microsoft version, why wouldn't you go with the safer option?
You can't earn passive income on Youtube because of how the algorithm works and how old videos have to compete with new videos. If you are an active content creator there is still lots of space left for you.
I saw such a thing recently, I think on Hackaday. But I can't find it now. It was pretty much what you say. A sort of pass through connector for USB cabled which would light up a LED when the wire made continuity.
A single 100kg bomb, well placed, will do the airstrip, making it unusable from hours, to days.

As I understood, they are mostly targeting planes on the ground, and equipment
Sounds as if the US has a problem with unfettered access to firearms, which has flow on effects that justify questionable police behaviour alongside making policing itself much more life threatening than it would otherwise be.

I wonder if that will get looked into.
I understand what you’re saying and I’m suggesting it’s a bad model.

You can’t have culture without a society and culture is heavily impacted by civilization as well.

“Culture -> society -> civilization” is too rudimentary to be useful and it’s just plain wrong in many cases. Changes in technology (e.g. smartphones) or massive events (e.g. pandemics) flow backwards through the chain eventually forcing the culture to change to adapt (social distancing, etiquette for texting at the table, etc).
Top sites to land you good paying freelance job
I love logitech products. Although I typically use trackballs. Wish they would make a trackball for left hand that used the thumb. They have a ball on top, not bad, but prefer thumb.
The whole point of this thread is about doing something personally fulfilling. I think throwing money at some cause is not the way to get there.
https://pouchdb.com/ is a JavaScript port of CouchDB, running in the browser and capable of replicating with normal CouchDB.
you missed the word "obsessed"
No, short means your position is predicated on the idea that the future price of something will be lower than the current price.

Owning a positive number of put options makes you short the underlying stock, which is presumably why the comment upthread described put options as "short put options". Selling put options gives you a long position, not a short position.

I wanted to analyze this in terms of the original comment, in which "short put options" have limited upside and unlimited downside, but put options do not have unlimited downside for either the buyer or the seller. The buyer can't lose more than the price of the option, and the seller can't lose more than the strike price. Put options are a case of "limited upside, limited downside" from any perspective.

Call options are the ones with unlimited upside (for the buyer) and unlimited downside (for the seller).
Unveiling Covid-19 research scandal
Show HN: ItGoesApp – Offline goal tracker made with Flutter
Just during lockdown I was thinking about how mainstream sourdough cultivation has become, while on virtually no one cares for "normal" yeast and trying with a quick websearch I couldn't find any guide how to grow yeast in non-industrial amounts
Since when does the telemetry even send out any contents of any files?

That's called stealing not telemetry.
The problem seems less about software failing (which is expected) but the fact that certain people lied about it not being able to fail most likely to protect their own asses and that caused a miscarriage of justice. These people should rot in jail.
Interesting! Take a look at https://trustlines.app/#/ built ontop of https://trustlines.network/
Very similar economic theory, somewhat different terminoloy.
Due to the obvious interest of Mormons, this isn't exactly an underresearched field. This single quote is obviously just that, a single quote of a single researcher, but to my knowledge it sums up the state of research pretty well.
AFAIK the macOS activity manager doesn’t show task usage as you’d expect. It displays resource usage based on total current usage rather than maximum capacity.
> If you were using PyPI you would have encountered source archives or Wheels.

Before 2010? That's what I believed to remember. But it looks like wheels did not exist before 2012, so that can't be true.
I can only speak from my experience; and it seems perfectly reasonable for me to do so.

I think the motivation "to be a better researcher" is quite narcissistic (in a mild sense) in the first place. It's what produces such contention in similar software engineering groups.

There is no conflict between this motivation and my description of the psychology of people that tend to persue PhDs.
Ask HN: What languages/ecosystems use NPM other than JavaScript/node?
It seems to me there is no reason why you couldn't publish source code in any language to npm!

Out of curiosity, are there any new languages or platforms that officially use npm as a package manager?

For example [esy](https://esy.sh/en/) is a package manager for reasonml and ocaml that uses npm.

Thanks!
Evidence of parallel construction that direction doesn’t seem to exist much. Even if that were the case, that’s still preferable to the Canadian government because it’s at their request. If China is doing it, it’s just a black box of blackmail collection and IP theft.
A water drinking competition seems inherently dangerous and unwise for exactly that reason. Most people who are not medical professionals will not realise that water is harmful in large amounts.

The analogy to this is that encouraging people to go out into the wilderness in search of treasure is going to encourage people to exceed what their comfort zone would be if there's no reward.
I'm surprised by the number of non-dev people that can create and edit YAML files on Github/Gitlab once you guide them around the interface.

Sometimes, they mess up the indentation, or insert a quote in a non quoted value, but the PR turns red and someone more expert can correct the issue in a few seconds.

They can even be impressed by some functionalities (whoa, reviews ! whoa, I can make a draft PR !)

Github is the cheapest headless CMS, try it first.
On the assumption performance equals this particular workload, then Graviton ( Or specifically Graviton 2 ) should, with an extremely high degree of certainty have an upper hand.

To answer your question in its general form, you have to take into account what types of "performance" you are interested in, and what Node these CPU are manufacturers in, Not to mention there are different form of Graviton and Intel ( x86 )
Definitely read (at least the first chapters of) the Z80 cpu manual: http://z80.info/zip/z80cpu_um.pdf

It gets a bit dry when it gets to the bit that documents the individual instructions, but the overview before that point is well worth reading.

Once you've done that and you're trying to write code, this page is a good reference for the instructions: http://clrhome.org/table/

To build a scavenged machine, you'll need a Z80 CPU, a clock source (I think an RC oscillator would be the simplest working setup?), probably some sort of ROM, an SRAM, some sort of IO device (probably a Z80 SIO/2 for serial), and a 5V power supply. I think that should be all that is required. Then you need to load your code into the ROM at address 0.

Then you can connect the SIO to a USB serial cable (e.g. FTDI) and communicate with your Z80 using a modern PC.

I can't remember if the SIO/2 needs external address decoding logic, maybe you could cope without it if you are happy for it to use up every address?

But building an RC2014 would be easier and more likely to result in a working machine, and would give you almost all the knowledge required to build a scavenged one later if you still want to.
Pioneers of web cryptography on the future of authentication
In my opinion Qwant.com is just as good if not better and isn't located in the US. Why anyone would pick a US-based service for more privacy when other services exists that are just as good and makes the whole NSA/FISA problem go away is beyond me but feel free to educate me.
People who've been around for a while have been arguing for years that Chrome is doing exactly what Microsoft did with IE back in the day and a browser market dominated by Chrome and Chrome-a-likes is not healthy.

Sadly, too many people haven't been around for long enough to have seen it all before, and they fall for the new shiny every time. Then we get a few years of bad results where one product dominates and that part of the industry only evolves in the directions that suit the business controlling that one product, until eventually sufficient opposition has built up that a viable competitor is produced and we start to move forward again.
I'd certainly pay for timely quality (I had at one time 4 packed bookshelves lining the walls of my office).

The problem is that "timely" bit.

A good book take 3-6 months to write, edit, review, and publish.

In that time we could have as many releases with the info in the book radically out of date.

Only solution is to go online, but that doesn't help the traditional write/edit/review cycle much.

Things change so fast, I don't see much option to Stack Overflow... Not really.
Used-car sales surge in bargain-conscious coronavirus economy
I've heard it best as: both Ocaml and Haskell are pure functional languages. Haskell is Extra Virgin.

That said, the notion of purity is a bit BS. At some point in your program you are definitely going to invoke the world-at-large. Whether you do it through IO(), tap your nose and call it "pure" or you do it other way is all down to semantics (not in the PLT sense of the word - the PLT term to use would be "pragmatics"). The core of both Ocaml and Haskell are pure functions.

Also, Ocaml doesn't really need typeclasses. Modules. Modules are everything
No accounts with any kind of social media or ad-supported service except if required for my work (I do need LinkedIn unfortunately). They still track me but at least they nave no legal basis for doing so (I haven't accepted their ToS/privacy policy) and don't have a persistent account to associated my actions with, so they have to infer who I am through cookies or fingerprinting which doesn't have perfect accuracy (even less so with countermeasures).

Private browsing all the time to automatically clear cookies and not share sessions between tabs (unfortunately there isn't a better way to automatically clear cookies with Safari, this is the best solution I know of).

AdGuard as a content blocker with the majority of the blocking lists enabled (not as good as uBlock Origin, but better than nothing).

No Android (obviously).

Preferring built-in apps on mobile (iOS) rather than third-party alternatives as the majority of them have spyware and malware like analytic SDKs or the Facebook SDK in them.

Using the GDPR to try and force companies to be more privacy-respectful. There are certain local businesses I want to use but can't because of malicious SDKs in their apps so I try to use the GDPR to force them to provide a toggle or outright remove them and escalate to the regulator if necessary.
Edge being based on Chromium doesn't mean it uses the Google advertising network.
Thank you! I have come across it before but wasn't sure how I could run it in a native (kotlin / swift) environment. From memory it also isn't particularly well supported in React Native.
>I wished there would be some published results from a standardized test though.

https://www.anandtech.com/show/15578/cloud-clash-amazon-grav...
I agree, it is a huge pain to convince anyone in almost any company to open source anything. All they see are tenuous legal risks and extra work.
Thank you for the link, that clarified it for me. It seems that it requires compiler support to do it in the same way as Rust does it, but I like that approach better than complicating the package definitions with two types of dependencies.

Reading that post also reminded me of the Unison language [1] which would even allow the same type from different versions of a library to be identified as the same if it wasn't altered. It does this by identifying every type and function by the hash of their respective definitions.

[1] https://www.unisonweb.org/
The virus doesn’t seem to matter for police forces either, spraying tear gas as salutation and forcing anyone at reach to burst out as much body fluid as they possibly can.

TBH from the outside it seems that whatever the death count is it never really mattered to a majority of people in the US.
We're geeks and this is HN. "Need" is irrelevant and has nothing to do with it.
Kubernetes CVE MITM Attack, K8s CKA exam curriculum, CNCF new general manager
Did you know about GfxTablet* (limited to Linux)? Any thoughts?

* https://github.com/rfc2822/GfxTablet
I've heard claims that a large part of the problem is this probation period, during which the candidates are made to unlearn all the teaching from the academy and taught the real ways of the street: that is to say the actual practice at the station that has been handed down since time immemorial.
This is a very interesting thread with a lot of elements to it. One of the interesting take-aways from it is that the reason this effect is so high is because the US is doing such a poor job of controlling COVID in the first place - so a small increase in infections causes a huge long tail of spreading. The people who get infected at the protest go home and then the disease spreads from them for a long time because the ordinary measures to control the virus aren't very effective. In a country doing a better job of dealing with the virus in the first place this effect would be massively reduced.
30 years old here and starting the prereqs for RN next week part-time (online). I figured at this age I don't have the time or mental acuity to be a MD. My first class being A&P should be a tell-tale sign of whether this experiment will go well.
Would love to get your thoughts on Mun-lang: https://mun-lang.org/
Wrapping your head around Property Wrappers in Swift
I really feel as if software quality is at the heart of a lot of this.

I’m a bit despondent over the casual approach to quality exhibited by a lot of corporations, and the stakes are getting higher.

I dread what will happen when the software controls even more critical infrastructure.

The software is getting so complex that I can’t see how it can be effectively tested. Meanwhile, the entire IT industry is on a wholesale mission to remove experienced engineers, and replace them with outsourced talent, or people right out of bootcamps.

In this case, the people affected were probably not the ones that would (or could) raise a lot of hell. Also, some managers probably got bonuses or raises, based on this.

It’s funny. I remember, many years ago, a story about errors in supermarket pricing, and how pricing errors invariably favored the supermarket. It was determined that was because the supermarkets only considered it a problem if they had to pay.

I suspect this is similar.
Oh-h-h-h... I've heard this so many times before :-)
That’s a great way to track tech adoption within a community.
Cool work! How does this compare with gorgonia.org/tensor?
The Art of Doing Science and Engineering – Richard Hamming
A warmer/colder navigation app
navigation app that shows the way by saying warmer or colder
> OCaml's is also excellent but not immediately obvious (their docs have improved a lot)

Interesting! The last time I tried OPAM, it actually seemed more frustrating than Cabal! Maybe it's improved? Last time I tried OPAM it would install packages globally by default, and avoiding that was a confusing process, when that should be the default behavior.

Cargo (while not perfect) has really nice defaults out of the box - ie. it generates a lockfile by default, scopes packages locally to individual projects, and lets you use more than one package of the same version in the same project.

Really hoping OCaml and Haskell can improve their package management story - they are getting there, but it still holds me back from really using them on a daily basis.
Hello! We are doing our best to keep every assets updated.
We are going fast and we are still a small team.
In next months we will structure the documentation team to make sure we have one person 100% focus on the docs.
Not quite that young. I am a teacher with 85 teenagers under my wing, at the last count.

An important part of school is learning how to learn. It is a constant struggle with pupils to get them to actually think instead of googling for an answer.

Sometimes it feels a bit like I am a grumpy oldie telling them things like _in my day we had to look things up in books instead of using Google!_ but most of the time it’s valuable in and of itself to go through things from first principles.

(The sensehat bug was a case in point.)

As far as source code is concerned, it turned out to be quite tractable to follow the Python source code at least far enough to find the timsort.txt document.

If any of these kids go on to have technical careers, there will be plenty enough time for googling answers later on in life. Hopefully some of them will be writing the answers too.
Technology architecture and engineering org should coevolve as startup grows
>his novels were published in serialised form

So was Tolstoy.
San Francisco rents plunge as tech employees abandon city to work remotely
The Ongoing Crisis Is Stirring a Crypto Awakening in Developing Nations
New Zealand drops Covid-19 restrictions after nation declared 'virus-free'