skysight-inc/HackerNews huggingface dataset:
There's a great talk from StrangeLoop[0] where a presenter uses Alloy modelling in exactly the same manner:

- generate a couple examples

- see something wrong

- add a rule

- repeat

[0] https://www.youtube.com/watch?v=FvNRlE4E9QQ
I don’t dwell on this stuff, I just live my life - but given that this is the topic of discussion here, I thought my account might be of some relevance. I’m not claiming that my outlook is a good one, but I’m pretty damn certain it’s an outcome of what the paper describes.

As to knowledge, it isn’t an ends in itself - but each mote builds a greater whole and reveals hitherto unseen patterns - and those patterns allow inductive and deductive leaps to new hypotheses, which may prove useful.
Yes! The Ctrl-P convention is the best usability convention to pop up in a decade. It can be so useful. Especially for any complex app like Photoshop, Blender, movie editors.

I was only aware that Atom and intellij had this. Atom has slightly better text matching. I think it keeps synonyms for searchable items. Intellij covers more of the interface. You can even jump deep into parts of the settings dialogue with it.
Gopherus will run on dos on a 8086. I believe it will even work with less than 512KB.
Another rather infuriating example:

On iOS Mail you now have to hit the "reply" icon to move a received email to another folder, mark it or print it.

Very poor discoverability. They should at least have changed the icon when they changed it into a multiple purpose thing.
Your approach with git log |grep isPizzaDelivered would work if the string you wanted to find would be in the commit title or description.

git pickaxe is super handy because it will search for the selected string in all the commit changes instead.

Give it a go in one of your projects, it's super useful.

I should include some examples in the blog post to convey my message a little bit clearer.
Is UPnP a Security Risk?
It is kinda unfair to compare the time of writing a service in go and rust if your team already work with JavaScript.

Go was designed to be extremely simple (simplicistic, if you want to be ugly with terms) while rust was designed with very different goals in mind.

Moreover the mental model of JavaScript is much closer to the one of go than the one of Rust.

If you are learning rust and you are not from C/C++ or similar low level languages you are basically re-learning how computers works. Usually on go you don't really care of the difference between the stack and the heap, in rust you have to.

Said so, it is really true that rust has a steep learning curve, however once you get over it the productivity is at least as high as go especially in the long term.

For one off script of ~100 lines I would pick go as well.
There wasn't a 10% chance of a pandemic once cases were in the US - it being a "pandemic" didn't matter. The nature of virus, it's incubation time, and the mortality rate all meant the US needed to go into lock down the moment cases started turning up state-side.

This wasn't a long range problem by the time there were cases in the US - it was the early stage of the catastrophe starting, when it could have been much more cheaply prevented.
It can’t kill HIV for example.
The Origins of Fedora Linux
> Rust makes working in this domain so much easier than C and C++

C++ has a hash map in its standard Library since 10 years.

> You can go from zero to productive in a reasonable amount of time.

That's definitively a very WRONG assumption.
Anyone starting to use Rust, even with 10 years of C++ experience, will spend from HOURS to DAYS fighting the borrow checker.

It is not "zero to productive", Rust is not easy to learn, nor productive for beginner.

Is it however worth the effort ? I believe it is. Especially if you are looking for a language providing you safety first.
If the point is to be a jobs program, wasting money and massive overspend are a feature.
On macOS you can search menu items via Shift–Command–QuestionMark (or by opening the Help menu). Most toolbar actions are also exposed as menu items, so this lets you essentially search for almost every function of every application that plugs into standard macOS frameworks.

Some applications have features that extend beyond what can be surfaced through the standard menu bar but the infrastructure is there for "normal" apps.

Ubuntu used to have something similar in earlier versions of Unity. It would surface Gtk and Qt menu trees in a searchable interface.
It's amusing how some people are like "trust the science" and tout the knowledge and authority of experts but then scientists like this get flagged because their findings don't align with their beliefs. There seems to be a mixed signal here. Should we trust experts or not?
hi cj. Look... humbly said... just some thoughts from some experiences:

1. "Friends" can be a very bad influence. It really depends on their quality and most times you don't know that until a decade later. The bad influence can be insidious and barely noticeable but it adds up. The influence is not even intentional, it just comes from the inner insecurities that we all have, it's a human thing. In some cases for me it led me to some dead ends and wasted life opportunities (sometimes even bad situations I had to recover from and took a huge toll on me stress wise). Because I was weak and influential (might not be your case, but it was mine) and just a few words and ideas spoken and planted in my head were enough that in the long run I did not do what I knew inside that I was supposed to do.
Sure, that is my own weakness of character at cause, but I'm just saying.

2. I want to strongly emphasize this: you now have a successful business you say. You have something set aside to live off so look at it this way: your life starts.... NOW! From now on you can start dating and "living" without too many worries and you do not depend on anything that much. Now you can date, raise a family and everything without all the stress of also needing to grow a business or climbing the corporate ladder.

3. Do you think that after 4 years of dating you would have "found the one"? I wouldn't be so sure. I've seen young people in long therm relationships ... and most relationships started at that age fell apart by 30. And then? You would have been with no business AND no "the one". Also, before 28.... most guys and girl are still immature. They do not know what they want in life and are not realistic. I've seen marriages fall apart after 4 years in their 20s. Now towards 30s and beyond people are more mature and the quality of dating will be much higher, you will see.

4. You don't have to catch up to anyone. Just do your own thing. You now have the comfort of not worrying about a job, because of your hard work. You are free to go date.
5. Being an independent business owner might be appealing to potential "the one" material ladies, you proved that you can succeed in life.

6. Lastly if you are a bit down because of all the missing out, take some time gather some money, after this corona crisis is over, do some traveling. Go to Europe, go to Japan, spend some time trying new things if you can safely afford it. Or if you are completely worry free financially, maybe enroll in a MSc program at some university and live the campus life.

7. Now you can focus on a partner when you find one, much more that people (like me :) ) who also have to focus on career at the same time. Find someone with the same life goals as you.
Watching first person action sports in VR doesn't work unfortunately, it's extremely nauseating.
A non-US perspective: it's quite weird hearing someone younger than about 50-60yo use inches as a measurement. Especially for something scientific.
Go easy on him. Most "gifted" kids are children of narcissists, ending up with schizoid/schizophrenic or CPTSD-style presentations. The "prodigy child" narrative is there entirely to flatter the parent. Or at least this was true for my cohort. It's really hard to get out from being on the wrong side of this. Narcissistic parenting is insipid and in many ways contagious. If you don't end up with that batch of problems, you end up being a narcissist yourself.

It's huge in tech too-- plenty of people interview at companies whose names are effectively magic spells which will make them "good enough" for their parents stories to their friends.

And he's sorta right about the travel thing-- you can buy a lot of people's esteem by buying a plane ticket and being coddled by hotels and tour guides for a couple weeks. You can even call it an "adventure" and nobody will correct you. Narcissists are crazy about signalling their status with travel, so children of narcissists tend to hate it for that reason.
Meet faasd – portable Serverless without the complexity of Kubernetes
Growing veggies in heated greenhouses is madness in the current climate crisis, transporting them even long distances is vastly more energy efficient because freight is quite efficient per kg.
your immune system overreacting kills you as well.
Zigbee is more of a competitor for Bluetooth Low Energy, which is quite a bit more modern, sane and reliable than Bluetooth Classic.

It never really had much of a chance though because BLE support was sort of added to phones for free as part of Bluetooth. With Zigbee (or ANT or Thread) you'd have to add a new chip, which phone manufacturers aren't going to bother with for a tiny market (though I think there are a very small number of phones with ANT support).
A question to particle physicists: I've always thought that matter and anti-matter qualifications applied only to charged particles. Neutrinos have no charge, so how can it have an antiparticle? Does there exist an "anti-neutron" as well?
Tracking Coronavirus in Countries with and Without Travel Bans
> smoking a few tons of carbon

That’s the point of hiking. I travel overland almost exclusively, and only fly when there’s absolutely no alternative, and the journey is one of time sensitivity and necessity.

And yes, walking off the beaten track opens your eyes to far more than a beach holiday.

I am nothing but humble in my daily life, and my friends come from all walks of life, but I thought that sharing this experience might be insightful or helpful for some.
The whole premise of the startup is to build a silent supersonic airplane. Building atop several years of existing research and experimental programs around silent sonic boom.
Haven't been using this specifically but it looks similar enough to vcxsrv.

To me the big selling points of both this and vcxsrv is using seamless windows so that the windows are just like any other windows-window and not like VNC or something where you get two desktops - one for local and one for remote.

In vcxsrv, and it seems this one as well, can also run a window manager. I tried i3 that way, but it is quite clunky and the shortcuts collided with windows native shortcuts in a bad way. Maybe there are fixes for that. But it will would still only be for linux apps and not windows apps.
For the most part, our effort has been focused on single exposure image enhancement, however we are beginning to use recurrent models to improve quality when video information is available.

Nonetheless, it's kinda a neat idea, so I tried testing the feasibility of it. I set up a recent flagship phone that claims to have 960fps super-slow-motion video capture next to another phone with a strobe app at 12Hz with a short delay in between pulses.

https://www.dropbox.com/s/ha51ntucl3klkcb/cell_flash_960fps....

There are definitely a few frames where the LED is at an intermediate brightness, however teasing out the exact timings between the flash and the camera may prove to be difficult to correctly synchronize.

As for over-saturated images having more signal... although the PSNR calculation may give you a better number, in practice, a region that is over-saturated is just a blob of 1s on the image (assuming float64 pixel values of 0-1) and there is no information there to extract. With a black level near but not at 0, we've found there is often more information hidden in the 'dark noise' than can be discerned by the human eye alone.
Not an Erlang user, but I must say the syntax is beautiful.

I know, semantics before syntax, but if you can have both, why not?

Looks promising, love the ML-style pattern matching in particular, so clean and terse (wish Scala 3 would ditch the `case` keyword in match statements, but alas not happening)
I'm inclined to mostly agree with you. Perhaps mathematics is discovered, but mathematical processes are invented? For eg, π was discovered (surely it wasn't invented because it's seen everywhere in nature), but calculus was invented?

I'm no mathematician though, so my understanding may not be perfect.

Edit: FWIW, Wikipedia uses the verb "developed" for calculus:

> Infinitesimal calculus was developed independently in the late 17th century by Isaac Newton and Gottfried Wilhelm Leibniz...

https://en.m.wikipedia.org/wiki/Calculus
Does this allow me to run Linux GUI applications in Docker for Win and have the X output routed to this?
> Classes are meant to have state. The state object is called state.

Except that's not how React works at all. There's no state in the class that lives between renders, it only seems that way due to... magic. The class gets destroyed and created between each render and the state object is automagically recreated with the previous state. You can complain about Hooks but saying they are magical and React classes are not is just wrong.
But ... epidemiologists did seem epidemic back then and were warning about it ...

They argued about models and about R0 and so on. But fundamentally, they predicted the spread.
If AWS wasn't profitable, AMZN would not be able to grow, and its share price would immediately fly off a cliff. But you know this already. You just want to argue.
Did anyone in Europe do a jobs program at that point? My GCSE history only covered the economic impact of forcing Germany to pay reparations for WW1, and treated The New Deal as unconnected.

GCSEs are not great.
Musk isn't a healthcare professional and he doesn't know the language.

He asks hospitals if they want ventilators, and they give him a list of machines to buy. He buys those. He doesn't know the difference between a ventilator and BiPAP machine. He does know they're both used for ventilation, and he mistakenly calls them both ventilators.
KDE still champions server-side decorations.
That is missing the point. The Ctrl-P shortcut is for all those actions that you are aware of but use seldom enough to not warrant learning the keyboard shortcut. Or features that you are vaguely aware of should exist. The fact that it can provide a bit of documentation is a bonus.

Google is a competitor to this kind of feature as much as your hard drive is a competitor to your memory.
> Also, i would guess that Windows users are not likely to be free software purists

The ones looking for an X server may be more likely to be
nice work! you could probably speed the computation quite a lot by using a small deformation basis (e.g. using modal analysis) and optimize in this smaller space instead.
I think this is related to:

https://news.ycombinator.com/item?id=22490089
Regardless I can assure you that even the US is following WHO's advice on naming diseases so not sure what you're trying to say here.
I hope in the long the telco world will adopt the internet approach of treating the network as untrusted.
Every single language I've seen that has been 'loved on HN as "taking over the world"' has had C FFI interop, whether it is Node, Rust, Python, Ruby, C#, Java, Haskell, Zig, Crystal, Julia, LUA, etc.

Web assembly is the browser C FFI, not some high level platform like Java or .Net. Your examples aren't comparable.
Hummm I find this view very disturbing.

While it is true that some developer builds yet another e-commerce cart on JavaScript or PHP, some of is work in critical systems.

Systems that in one way or another allow our world to keep working.

What if DNS stop working? What if the service that get unemployment claims stop to work? What if the system that manages patients in a big hospital stop working? What if an avionics system in a big Boeing is done wrong? What if a database that keep track of citizenship corrupt data?

Those are problem just as serious as bridges falling down.

Some structural engineers build houses some other huge bridges. Some software engineers build carts for e-commerce, other fundamental systems of our world.
Well explained.,
I had exactly the same experience. Android's Bluetooth stack is shockingly bad. They even changed implementation once (from the standard Linux Bluez stack to some other one). Just as bad, if not worse.

One example: Until very recently the default connection timeout was 20 seconds. There was no way to change it. 20 seconds! Such a shockingly bad user experience. The default on iOS is something like 0.7 seconds.

Several years after reporting this issue they "fixed" it - by changing the hard-coded timeout to 5 seconds. Like, yeah that's better I guess, but I think you're missing the point.

Just in general Android's bluetooth stack was way buggier and less reliable than iOS's. There were entire classes of products (mostly proximity-based stuff) that we tried to make that worked perfectly on iOS but were effectively impossible on Android because it was so janky.
The million-and-one reason to change so that the browser always prompt you for where to download a file.

That must be one the most braindead defaults of the century. But I guess I'm the weird one as usual.

This is a huge issue for linux as well. Trigger a download and just wait until the OS or some file-exporer inspect the file and exploit the parser (which is typically ridden with security issues).
Plus, killing off the virus isn't necessarily going to be equivalent to observed outcomes. It is easy to imagine someone having no viruses but their lungs aren't working properly because of damage done so they are still sick.

So even a perfectly efficacious drug would still not necessarily be an obvious miracle cure, depending on how the disease progression works.

This is a good time to wait for clinical trials to finish.
Ah Adrian! Yes his SCION is quite impressive and has plenty of cool features, but if it will ever outgrow the “future internet” technology phase remains to be seen.

I (other account) once submitted their work to HN to see what real smart people thought about it, but it got 0 traction.
FTA: ”Boom’s two test pilots were also onsite to verify that all aspects of the wing met their approval.”

I don’t know how well versed these pilots are in manufacturing this kind of stuff, but I would guess that’s mostly psychological. But yes, it’s their lives that are on the line. If this wing we’re to break or fall apart at supersonic speed, I guess they (or one of them, if this is a single-seater) are dead.
I have thought about this for decades. Using web-based HTML forms for transmitting information, whether e-commerce or otherwise, is often overkill. There should be a standardised format for consumers to send basic plain text information such as name, address, etc. over the internet. In many cases using a website to submit such basic information, where every website potentially collects information differently, creates more work for everyone. It is mind-biggling to think of how many people have struggled with brittle web forms and how much time and energy they have wasted. It is sad to think that probably very few of them have ever thought "There must be a better way."
Designed to impress rather than to inform. For an engineer looking at the site (me) it does neither.
Long time Adobe user. I tried Gimp. Shut it down, and merrily went back to my Adobe subscription plan.
>Back in 1992 most people had never even heard of the Internet, especially in politically unstable third world countries.

I never remember Yugoslavia as being a third world country. Purchasing power wasn't as high as in US but it certainly wasn't third world level and no people died of hunger, or because they did not afford health care. Also, housing was affordable.
What is your email and facebook password?
> all you need is a blower fan and some pvc

And a lot of land area.

That last part tends to be the problem.
for 3, sampling bias would not account for much as the coronavirus will catch you regardless of someone's socio-economical status. The difference is mostly just survival rate.
Hm. Now that I think about it, maybe mathematics is a language that we use to express the universe? In which case it was invented?

But surely, pi exists as a concept in nature and is something that we found, and didn't come up with? Confusing stuff.
There is some doubt in that. Many suspect it was just a facade to trick the West.
But the ending to that story is very different. South Korea did have an outbreak, but they contained it. That’s the counterfactual to “nobody could have prevented this.”
Roughly million people live in Stockholm and 2.4 million people liven in Stockholm metropolitan area.

Assuming R0 = 2.5, you need (1-1/R0) = 60% of the population to be immune for herd immunity. That would be 600,000 in Stockholm, 1.4 million people in the metropolitan area, 6 million for Sweden.

Assuming the same infection fatality rate 0.002 as Finnish national health organization estimates: 1,200 deaths in Stockholm, 2,800 in the metropolitan area, 12,000 in Sweden. Currently there are just 1,400 total covid-19 deaths in Sweden.
Note that Patient 31 is only the index case that caused the thousand-person cluster to be discovered, she's almost certainly not the cause of it despite various media reports that try and make it look that way. She had no recent overseas travel and no contact with known cases, I don't think anyone knows how she got it, and apparently she didn't even meet testing criteria and only got tested because some doctor ignored them on a hunch.

She probably wasn't even the first person in the Shincheonji Church in Daegu to be infected. The timeline of her infection is just too late compared to the cases at the hospital in Cheongdo potentially tied to other church members, most of the membership is much younger than her and therefore likely to display mild or no symptoms, and some of them had in fact travelled to China. If anything, it seems likely that she caught it from there rather than the other way around.
Imperial College – Covid19model
Ask HN: Where to start with iOS Development in 2020?
I have been doing Android development professionally for a couple of years now and decided to look over the other side of the fence and learn Swift and iOS/MacOS development. I have noticed just like in Android world, things in iOS development are moving quite fast and a lot of resources online are quite out of date. Can you recommend some books/courses/blogs as learning resources in 2020?
But if the stock market is trying to predict the future, instead of describe the present, the big question is what window does the stock market operate on, and what window do you? Maybe stocks are going up because the aggregate feeling is that the economy will recover quickly.
Windows 10 allows a normal mouse click as well, unless Microsoft changed that afterwards.
What if a cable snaps or a pulley breaks?
I never made an endorsement of gp, I just took your remarks at face value (but not out of context.) It’s all conjecture anyways, but if I were a user reading that page I wouldn’t have gotten the impression this was a fork of something I could get for free. We don’t really know anything. For all we know it could be written entirely from scratch; an X server from scratch is really not outside the realm of possibility (it would probably be pointless though.)