skysight-inc/HackerNews huggingface dataset:
And if you are not a student it's a subscription: every year you'll pay up 69 or 99 €, "access to Tower ends when the most recently paid-up subscription period ends."

Not so great... (they switched to subscription some years ago, adios amigos!)
What is the use case for 'seeing all information at once'. Normally you want to see something specific, in which case a terminal allows you to see that specific information faster than a GUI.
It's very effective at causing massive economical damage...
Sure, that should really say the Dutch government - edited to say so, but the point stands - you should not generalise about entire nations being profligate, and you should not scapegoat certain groups of people as deserving of suffering.

The EU should be about solidarity, which includes economic solidarity. At its best it has pulled nations like Spain and Portugal from the brink of financial ruin after war/dictatorship to thriving democracies. At its worst it has consigned entire nations to collective punishment (Greece) just to play to domestic audiences in certain countries.

It's usually wrong to stigmatise groups as deserving of suffering and it is not in anybody's interest to do so.
Mobile Websites DreamSoft
We would encourage a separate Mobile Website which will be only meant
for viewing on Mobile Phones and Tablets by your Clients. When on Mobile
your client visits your main website like http://www.mydomain.com ; it
will automatically redirect them to http://m.mydomain.com ; on this, a
separate interface (GUI) will be there with the data clearly visible for
Mobile Devices. Mobile Display will have no Menu Links and it will be
with Bigger Fonts and display suitable for viewing on Mobiles. Having a
Responsive website which is mobile compatible is not all the time view
able comfortably on Mobile Devices. In times of Mobiles, more then 90%
of the Visitors on your website come through Handheld devices rather
then Laptops or Desktops. DreamSoft specializes designs most suitable
for Mobile Devices and can turn around the readability and usability of
your website in positive results.
Go with DreamSoft in assisting you to get a new Mobile Website
today...visit : https://www.dreamsoftindia.com
#mobile #mobileappdevelopment #appdevelopment #mobileapps #mobileapp
#mobiledevices #mobilesecurity #android #business
sometimes is the key word there. It's amazing what kind of performance can be reached with JS given the monumental amount of effort which has gone into optimizing it, but there are structural reasons JS hsa a performance ceiling. JIT compilation can't change the fact that it's a highly dynamic, weakly typed language which is garbage collected. You might be able to find examples where a JIT compiled block of JS code performs comparably to a similar block of C code, but there are design patterns available in languages like C/C++ and Rust which aren't even expressible in JS which allow an extremely high level of optimization using careful memory management techniques.

Also web is basically a single-threaded runtime environment. For the foreseeable future, increased parallelism is the main way we can expect to get increased computing performance, and it's basically not available on the web.
My colleague had been invited to visit both Apple and Google (former CERN employee). He said the contrast was very stark. In Google everyone was young and looked like they where having fun, at Apple where the old grumpy gray-beards with decades behind them.

And he would usually his story with: -And I've been an Apple-fanboy ever since.

I miss that dude.
I use SourceTree, and the command line for some stuff. I have a dual-stream methodology that isn’t GitFlow, and isn’t supported by SourceTree, so I do need to use CLI. I wrote a couple of shell scripts to handle some of the repetitive stuff.

I’m a big believer in high-quality GUI. I’ve used CLI that would have a lot of folks whimpering under their desks, and don’t miss them at all.

Bad GUI is worse than CLI, though. I won’t mention the product, but I tried another fairly well-known “buzzword-compliant” GUI client. For the first fifteen minutes, it was great. Then I tried something off their beaten path, and the dumpster started smoking.

SourceTree has a relatively spartan interface, but also updates rapidly, which is important for when I switch over to CLI.
That will be really nice, since it will benefit from high DPI and of course much better displays.
It would give you the authentic feeling of running Win95 on a machine that maybe only had 8 MiB ram.
I was doing a trial run of git GUIs cause I'm much more productive with one and I landed on Sublime which was good but lacked a lot of options and I don't think still allows for adding custom commands. I was also extremely miffed when it took months for an update to come out to fix one bug I'd found and was irritating me to no end (I forget the specifics now). For me the update cycle is also extremely slow and the price is prohibitive.

I wish I liked it more but I've settled on fork now. Good you're happy with sublime. I'll check it out again once it's rounded off with more features
>we are still at the "those people were going to die within a year anyway" phase.

No, we are not. Young and healthy people are dying too. And that's with global confinement taking place. Just imagine in what kind of hell we would be if people were still roaming around freely; heaps of people would die just because they wouldn't have access to sanitary devices (ventilators, for instance) nor medicine. In any case, if you had a close relative suffering from cancer who would otherwise live more than a year if they didn't get the virus, you wouldn't spout such bullshit. Same thing goes for your next uninformed statement:

>the "I am okay and have a BMI less than 30 so therefore people like me are okay" phase.

Yeah, no.
Oh not this again.

The USSR coasted its first half of existence milking Tsarist legacy of science and engineering, then the other half copying the intellectual fruits of supposedly dumb Western jocks.

Modern Russia isn't even half of that.

Precious little to show for all the cheek puffing and talent grooming.
Discover Weekly is pretty great, although it tends to have a lot of covers of songs that it knows I already like. Turns out way more people have covered The Beatles than I ever would have guessed. Sometimes I'll click through to the artist page if I really like their voices, but for the most part I just skip to the next song in the list.
Save the Date: 04.21.20
Correct. If anyone's wondering why: Klein's blue has a somewhat powdery surface that disperses the color in all directions. As a result it's more intense than it would be if the surface were smooth.

I believe this is the same trick behind vantablack.
I'm the right age to have done New Math [1] in my first years at school, my memory of it is that it seemed fine but at age five I wasn't really thinking about comparing different educational styles.

[1] https://en.wikipedia.org/wiki/New_Math
I can see that, but it still seems risky and of dubious value. I am not convinced any vaccine research is going to transfer from a synthetic virus to humans, and animal studies also have issues transferring. Good high risk research is high risk high payoff. This seems very high risk low payoff to me.

Then there is smallpox. The idea of doing anything with smallpox samples other than placing them in an ultra high temperature autoclave is horrifying. That stuff is extinct in the wild. It should be extinct from the timeline entirely.

I am suspicious of Asia Times, but also of the drive to blame this on China. I raised my question in the abstract since so far I see no concrete evidence that COVID-19 originated in anyone's lab whether Chinese or American.
You're welcome. It's always nice to see HN talk about program verification!

> Very curious about complete but unsound approaches

A common approach is over-approximation, i.e. you create a model of the program whose set of traces is a superset of the actual traces.
If that model is terminating, then the program also is. Otherwise, you cannot draw any conclusion (as the non-terminating traces in the model might be spurious).
Some examples of over-approximating techniques are abstract interpretation and predicate abstraction.
Microwaves power new technology for batteries, energy
Ask HN: Best Examples of a Privacy Policies and TOS?
Sorry for the boring question.

I'm looking for any good READABLE examples of companies' PP and ToS. Have you seen any in the past that you thought were good?

Alternatively, if you know a good PP/ToS generator, that would be also very helpful.
Monitoring rainfall using mobile phone towers
If I'm skimming this correctly, it's only suspended until they've addressed these issues.
Nobody will remember that nerd, though. Now, your kid...your kid's name will be echoed in the halls of Gym Leaders worldwide.
Glacier is far more complicated than you might think. It only makes sense in case of disaster recovery where you lost everything including your non glacier backups.
Finland is an outlier in that regard, not sure if that model can be applicable anywhere else because it's so culturally specific.
> On Linux it's my only choice for a good GUI

Smartgit works very well on Linux
It works better if you think of it as a soundtrack/score to a movie. There's lots of stuff going on that you're missing by just listening to it without the visuals.
Mazda files patent for hybrid rotary engine (Update)
Sure, but just following regular news I had learned that "Wimbledon paid pandemic insurance for almost 20 years. Now it’s getting $141 million" [1] and a quilt market “... carried [...] expensive protection for years, including a special, and even more costly, clause to protect against infectious diseases. This insurance would have provided the necessary funds to make refunds, which was its primary purpose,”

[1] https://www.sbnation.com/tennis/2020/4/8/21214031/wimbledon-...

[2] https://craftindustryalliance.org/quilts-inc-will-not-refund...

If they can plan for it, surely Harvard can. It's not like Harvard doesn't have any medical experts.

You wrote: "It does not make business / economic sense."

My question is, what would have happened if Harvard knew they would not get any support money for a pandemic? Would there be a problem without the money?

Would that have changed the business / economic sense? That is, it seems like wealthy organizations expect to be bailed out, leading to privatized profit and socialized risk.
I can still recall its intro and sound bites.

That was such a weird era in gaming history; all these cool ideas being explored, but average computing power was not quite enough to do them justice. An odd limbo between the era when most games didn't attempt to be realistic, and before games could actually be realistic.

So you had all these games that thought they were being realistic, and we did what we had always done: nodded along and pretended that they were indeed realistic, and helped them by sticking to their rails. :)
>Once in a while you find something that's better than anything you've encountered before.

Yeah, you can find something new you like, but that doesn't mean that you necessarily have to be looking for it, especially not obsessively.
As an alternative I highly recommend Fork, a life/time saver when working in Windows, it's a high quality (and native) Git GUI client.

Guitar is also good too, and are thankfully both native!

[0] Fork - https://fork.dev
I think the author should be applauded for developing a native application instead of yet another electron app. Having a gui for version control is very useful, especially for working out branches, merging etc. The edge cases can always be handled from CLI.
For reference, I worked on Perforce for many years and having P4Win instead of the p4 command line was a godsend for most cases because of the hugely complex underlying tool chain.
You can use the GUI as a complement. No need to commit 100% to command line or 100% to GUI.

I rely a lot on visualisation to understand things so I tend to like a nice Git GUI. Although some stuff like rebase -i I found it handy to do it in the terminal.
I remember the first time this was posted, almost 2 years ago. I've played the functional machine game with my daugther (then 6) a lot since, and she still at times ask if we should play! It's such a good way to make things like these interesting. Thank you!

ps. Maybe add [2018] to the title?
I feel they should get a lot of credit for being this transparent; it would have been really easy to make quiet changes and sweep it under the rug, and move on.

I am also not surprised that UX designers are having difficulty finding jobs since lately app and website design seemingly trend heavily towards 'user be damned', with the most basic interface fails. They certainly couldn't have been designed by someone with an inkling of training!
>> a free theorem is when you can say something that is always true about a function machine if you only know its type, but you don’t know anything about what it does on the inside.” This seemed a bit beyond him...

To be fair, this is a bit beyond most who had no contact with functional programming and category theory.
Let's say lowering the bar has the result of making two courses absolutely useless for you, because you've already mastered everything there is to know about them. And let's say your typical bachelor's degree includes 30 or more courses. The time "taken away" from you is around 5%. Time that surely you could spend by studying for the other courses a little bit more diligently, by solving all the optional homework exercises, by going the extra mile for projects.

That said, if after your undergraduate degree you are unsatisfied by the amount of stuff you've learned thus far, there's an easy solution: continue on and pursue a master's degree.
Google seems to be still flogging the dead as a doornail horse that is Duo. I don't see this going anywhere.

Basically compared to Skype, Facetime, Whatsapp, Facebook, Signal, Telegram, etc. Duo is an also-ran that most users of the before mentioned competitors have probably never even heard off. I understand they managed to get some traction in some secondary markets that are mostly not the EU or North America. I actually have conversations with people on all of these, except Duo. I've never had a single person reach out to me with the request to do anything whatsoever on Duo. Not a thing. I've never seen it in the wild. I don't know a single person using it.

I just came out of a meets/hangouts meeting. I'm sure the rebranding is very significant to Google internally while they deal with Conway's law and internal teams continuing to try to "own" this space. But from the outside it looks like more of the confused strategy around Google Voice/Hangouts/Docs/Buzz/Wave/etc. where there's always an orphaned thingy that is actually useful that vaguely enables people to actually talk and chat to each other.

Meanwhile, between Slack, Microsoft Teams, Zoom, Google seems to be lacking a good strategy for competing effectively with those. I find it very telling that startups that are Google customers still opt to use things like Slack and Zoom. There's something missing there; a vacuum that Google has been dancing around for years without actually managing to compete. Literally every team I've been on in the last five years had Google docs + gmail as well as Slack.
I'm guessing that The Mars Volta may be one of your pet loves. I worked this out via ... ESP

;)
RAI is the Italian state broadcaster, ie similar to NPR.
Playstation 5 vs. Xbox Series X Hardware Comparison
https://en.m.wikipedia.org/wiki/Tuskegee_syphilis_experiment

https://en.m.wikipedia.org/wiki/PRISM_(surveillance_program)

Those two spring to mind immediately, and I'm not American, I'm Australian.

Personally, I don't understand why anyone trusts their Government more than the bare minimum required to support the rule of law.
The idea is not to ban any alliances of any sort (which is what happens when independents team up) but rather to strongly avoid groupthink and the not-people-beneficial-but-default actions that a stronger bloc always takes.
I am scared of clicking on anything git related in VS Code: redundant items in menus, half translated strings, etc.
I would consider Homebrew, for a single binary it's easy to write and basically maintenance free (aka "write once and forget").

Note that Homebrew is now available on Linux, I use it almost exclusively because packages are way more up to date than OS repositories
> Young and healthy people are dying too

A datapoint against that: We have a renowned pathologist in Hamburg (Prof Püschel) who examines every corona death in the city - about 60 so far. He was quoted multiple times that every single victim had severe preexisting conditions. And that none of them would have lived another year.

He also challenged the idea that healthy/young people are in danger and gave the example of a young (I think ~30 yo) corona victim in Hamburg who actually had undiscovered severe illness.

edit: So this will get -4'd soon - okay :o
Just a story about sharing Python with my 10yo son and his math homework
I don’t think there’s a strong reason not to use the link’s original title, is there? It would be:

> An Update on the Status of Our UX Design Program

Edit: Thank you to whoever changed it!
I can really like this.

A while ago one of my cards was stolen and I got a new one. It took a month before I realized my contact lens subscription had stopped. Luckily contact lenses are easy to get and I try to keep some extra around as well.

A bigger problem however was 20 or so years ago was that when I was drafted and I suddenly couldn't check my email for a while and after 14 days I lost access to

- my old address that everyone knew

- all my mail

- and most of my contacts mail addresses

Fixing that is a lot harder and I would be happy to pay a premium to be sure that some things stay around even if my house burns down with my NAS inside while I'm in hospital and my CC is cancelled while I'm unable to notice it.

BTW: feel free to post your suggestions. My best ideas are to ship encrypted disks to one of my brothers/sisters and parts of the passwords to two others In case I lose them or in case I die and someone needs wants access to my accounts.
Confused Commerce
It can't colonise India we've nukes.

Russia/Austrlia/Malaysia and Thailand have free trade agreement with China and they've not been colonised yet.

India is a big enough power to negotiate better deals with China.

So the fear of china is unwarranted.

Furthermore, there is a paper by Indian institute of foreign trade where the assert that imposition of trade barriers on china has reduced GMV of India.

What best you can do now is to partner with china and bring them into your market, learn tricks and techniques of manufacturing and become a global leader.
150GB.

whistles hard....begins uninstalling unplayed games
I will try to remember this in a few years time!

We inadvertently taught our 2yo something which I think relates to programming. We play an animal-pairs-matching card game, with the twist that if you draw a shark card you can then steal a card off another player (while pretending to be a shark, obviously). Inadvertently my wife and I had taught different rules: I taught that pairs already matched up were safe from the sharks, while she taught that they weren't. So now every game has to start with 2yo deciding what the rules are, which often leads to discussion of consequences for each rule.
There is more than one person working at OnlyFans [1]. Many of these are customers of OnlyFans, but there are others like a Social Media Manager, Recruitment, Marketing etc.

1. https://www.linkedin.com/company/onlyfans/people/
> The cost to the family is an internal family matter -- if you care about your loved ones, get them to wear their seat belts.

That's a nice ideal, but you have to contrast it with the systems-level view: people indeed are idiots, barely a step up from a chimpanzee, and absolutely need to be protected from their own idiocy. We all do, some to larger extent than others. We often don't notice it, because we've been born into a complex world, and have internalized many rules that protect us without even thinking about it.

Note that risking the lives of you and other people in the name of hurry is also a form of idiocy; a very common one with otherwise smart people. We're creatures of emotion after all, and the thinking mode that processes impatience isn't good at cost-benefit analysis.
At what point in the author's encounter with Dave did Dave provide any evidence whatsoever that he was engaged in a lawful operation?
Fork is closed source, and costs $50.

It is nagware - will work forever but with a nag screen (like WinZip back in the day), and IMO it is definitely worth a one time fee of $50 if you don't mind using closed source.

But it is not quite the same category as Guitar.
As a customer of a Zipcar-like service, I notice that our own use has cratered:

* No more use for e.g. extended trips, because there's nowhere to go.

* Lots of exposed surfaces inside the car, and confined space compared to public transit, so there's an infection concern.
"The virus is created in a lab" is not a conspiracy theory, it is just a plausible possibility that we should study.

There is no "conspiracy" in the theory in fact. The most probable cause is an accident. Nobody is going to create it as a weapon without creating the vaccine first.

We should not be "accepting" any prejudice, the one that "favors" US administration, or the opposite one, but we should be studding and working around evidence.

By the way, if it actually was an accident, accepting that it was a natural phenomenon favors the interest of China administration too.

It can't be natural, even accepting China's side's theory of the market, it would be made by human intervention mixing in the market bats with Armadillos.
What happens if Lambda shuts down? Are all the people they trained who are obligated to pay them part of their salary off the hook, or are those obligations a resource that Lambda can liquidate to pay off their creditors, and their customers still have to pay whoever bought the rights from Lambda?
I remember stumbling upon a hypothesis when I was studying musicology that suggest that music is appealing to us because is has to do with our most primitive senses when in our mother's womb, both for rhythm (heart beat) and melody (mother's voice).
We then build on top of that.
If all information is already on the screen I am faster moving my eyes to the spot of interest than typing the command (or even a single letter alias).

I guess you would not want to edit a text file of which you could only see a single line at a time.
I don't think there's anything official or even standard for naming. Some places refer to them as class-less:

https://github.com/troxler/awesome-css-frameworks#class-less

And these seem to be the strictly frameworks without classes.

This site refers to them as "drop-in" frameworks (and lets you test them out live):

https://dohliam.github.io/dropin-minimal-css/

The ones here appear to not be strictly class-less, since I know at least some of those frameworks do have classes, but are probably optional/very light on classes. 98.css would also be a "drop in" in this case since you can see things like the title bar do use classes:

<div class="title-bar">
<div class="title-bar-text">A Title Bar</div>
<div class="title-bar-controls">
<button aria-label="Close"></button>
</div>
</div>
> Erlang https://github.com/rvirding/erlog

Fun fact: Erlang started out as a modified version of Prolog. The original Erlang VM was written in Prolog as well.
> All human activities have risk. You can minimize those, but never made them zero.

The issue is not whether there are risks. Clearly there are. The issue is whether the proper mitigations were being followed.

The post incident information flow from the Chinese makes it very difficult to believe this was an unavoidable accident. Seems more likely it was a ticking time bomb of safety violations.
We can always stop buying HDDs.
Gloves Travel Case with 5 Pairs of Nitrile Gloves (Orange)