skysight-inc/HackerNews huggingface dataset:
Is there a plan to support Chrome in the Nintendo Switch? The rumours (which are mainly speculation or clickbait pages) talk about just supporting the gamepads.
Dear, Prime Minister of Estonia
Well it depends on the context. I and my wife are expats and we cannot rely on any external form of help, except ourselves. Our parents live far away and cannot support us.

With a 8am-4pm job, plus commuting, plus cooking (you cook fresh for your kid and don't rely on delivery services, don't you?), playing with kid and buying groceries, well.. there's not so much free time.. my energy is over by 8pm
Property value - estimated construction costs?

Reconstruction costs are something that I think are frequently estimated for building insurance purposes.
Ask HN: Learning formal methods for software design
I started scratching on the surface of formally verified software. I whish to gain some experience on how this is done in reality. I have a project where I belive that formal methods could be applied. I year back I began work on uFSM (https://github.com/jonpe960/ufsm) which is a statechart library written in C. uFSM is < 1kLOC and has no external dependencies.

From my current point of view I think the following needs to be done:

1) Translate the relevant parts of the UML Statechart spec in to something that can be analysed and proven

- What tools are available/appropriate for specifying and analysing requirements?

- What tools are available/appropriate for specifying and proving properties of the specification?

2) Derive an implementation from the specification

3) ... ?

I'm looking for advice on which methods could be appropriate, books and papers on this topic and if anyone shares this interest and wants to collaborate I would be thrilled.
Ask HN: What should be considered when starting a web development project?
When starting a web app project at minimum what should be taken into consideration from the point of view of security, scalability and maintainability so that there is minimum disruption as the project grows?
Thanks for the feedback! I hear you that it could be a challenge.
Even worse are 'mobility schooters'. Tiny wheels, many of them are front wheel drive, they get stuck very easily when tehy are not on a hard surface.
Enterprise WiFi networks work better but my experience has still been far from what I'd call reliable.

I'd like to say an airplane might work better as a controlled environment than an office building, but probably not if you have 300 passengers in the back, half of whom have forgotten their MiFi devices running in their carryon.
Wait til you discover Hungarian notation?
Finding a change in the behavior of Pi that emerges at high precisions would be a significant discovery.
Show HN: Updatefy: Google Sheet to embed product updates page widget
How many apps on the store sell for over $5 let alone $30?
Apple fights the privacy battles on its users behalf only where it sees a PR benefit, like the high publicity FBI's iPhone encryption dispute a few years ago.
Yes. By default you get 3 or 5 chances and then you have to use the recovery key. In corporate environments the recovery key is often stored in AD or another location by default so it's retrievable by IT (whether because the user entered the wrong PIN or because they quite /were fired and you still need to be able to get data off the computer.
As someone with a five week old that refuses to be put down most of the time and even the short quiet spaces of time are spent having to do things around the house, how do you do it?
I'd also like to mention that you can't use the desktop client standalone and Signal requires a phone number to sign up. It would be nice if they got rid of these requirements.

I use Signal and Telegram both - it's clear to me that Telegram provides the better user experience. I like Signal from the privacy standpoint though.

If you're using Android then I think that Signal is kind of a no-brainer to use because it doubles as your SMS client, so if a contact is a Signal user you get the privacy you want, but if they aren't at least you can still text them.
See https://www.schneier.com/blog/archives/2018/08/speculation_a...
And even if you might feel free the first months, how are you helping your wife keeping up with the baby? Don't you change it? Don't you try to make contact with it? Don't you support your wife by giving her some hours of freedom between breastfeeding times?
Spotify Taking Apple to the EU Anti-Trust Court: “Time to Play Fair”
The point was that Go is supposedly an excellent Java replacement, yet it's ecosystem is found lacking in comparable libraries.

As for Android, the whole userspace and a big part of Treble drivers are written in Java, which was exactly the point of being a phone OS written in Java.

So excellent replacement for Java? Not really.
So true, It's really hard to get the mental balance to not think about your side project while doing other things :(. I'm also at the same position.
Yeah, my parents took me up Mount Kosciuszko as a kid in a stroller. It's a little bump on a plateau.

Australia has more mountain-y mountains, of course, but nothing like Switzerland.

My favorites are the Hazards, down in Tasmania. They (https://www.flickr.com/photos/ceejayoz/44492848854/) and the surrounding Freycinet National Park are absolutely stunning.
> coffee places don't keep a record of every customer's past drink order — but you can do all this with robotics

Does everything have to come with gratuitous surveillance?
New fuel cell could help fix the renewable energy storage problem
Varjo VR-1 headset gives 60PPD making reading text possible. It is meant for industrial design, modelling and prototyping. It is a VR only headset, but they plan to convert it to an AR headset. It would be the same VR headset including a camera. The camera image is projected to the VR world. The display resolution should make it workable.

https://varjo.com/vr-1/
I've found monolith's have nearly none of the advantages that people complain about and nearly all the downsides. I've noticed that people who complain about monoliths often are actually complaining bout the tech to break up the monolith

Such as
- docker
- packages
- serverless

I honestly think the problem is devs not taking the time to become comfortable with tools
More to the point, why do you act as if malware protection has ever been effective and not just a resource drain?
0 naps when it should be 1 or more is always a fun stage for both parent and child. His comment isn’t going to age well.
The software that wrote this comment does not exist.
I'd like to see an optional mode, similar to unsafe mode, where strings would be reference counted, as in say Delphi. A lot of the nitpicking with strings would go away, allowing Rust to compete even with dynamic languages. When a single tool is suitable for both low level and high level work, it is the tool I'll always pick.
I have a Mixed Reality headset and Google Earth is amazing with room-scale VR. It's not something I would have thought would work as well as it does.

Beat Saber is the only VR game I keep coming back to - the controls are spot on. So simple and intuitive. You really need to work to get used to all the buttons and sticks to control most other VR games.
Yeah I know, that's why I keep myself on sync and spend all the time I have with him!
Andrew Yang qualifies for first DNC debate with 65k unique donors
*Worth noting that GDScript (Godot's scripting language) is almost identical to python
Then you should never install Factorio... :) I’ve put an ungodly number of hours into that game.
Well, we’ve gotten this far...
> Secondly, it needs a phone number all the time to use, which ties in with personal identity. Why? A better alternative would be a project that allows someone to choose a username and be done with it! Like HN!

Thousand times this! And it is actually a problem both with Signal and Telegram. In the latter case, I managed to avoid installing Telegram app on the phone, by using Android emulator and registering from that, but why forcing users to use such workarounds, instead of simply allowing to register without any ties to the telephone. I'd be willing to pay for a messenger which provides privacy and is not tied to the phone.
The security of virtual machines with the speed and low resources of containers, and written in Rust? Sign me up!
Every place I have worked that had a monolith sucked. It has only been in the last two years as microservices have been rolling out with containerized platforms like OSE and Kubernetes that my life has gotten better.

I was in the same boat about a dozen years ago when I was doing a lot of UI work in Javascript and hating it and then jQuery came out and saved my career. Nobody thinks much of jQuery today, but back then it was such a breath of fresh air.

I feel that way about Kubernetes right now--my hands are so tied by
"operations" people gatekeeping and now that I've been mostly a back-end developer for many years, I felt like I was between a rock and hard place until DevOps finally broke loose.
> Signal is way worse because it requires you to have the cellphone always on.

Bullcrap. Signal works fine on data alone. I have Tasker automatically turn on airplane mode when I'm on WiFi and it's never caused me to miss a Signal message.
Hire cleaners. Outsource laundry. Have food delivered.

If you love hacking, nothing wrong with hacking from the time you wake up until the time you go to sleep.
These would be good in bars and clubs for serving beer. The long beer queues are the worst.

Full disclosure: I'm a Finn.
I wonder if this is the reason I am still getting notifications on 2 servers. It sounds plausible, as they are game related servers, so quite possible I was assigned a role. I don't recall investigating this, although it is several months ago since I last tried solving mute issue.

This does not solve my mute issue, but great to know that this might be the cause! Thanks for this.
Amazon played the victim here but book publishers preferred Apple’s model to Amazon selling their books at a loss to keep competitors out and to boost sales of the Kindle.
Great post. I suffer from this to some degree (not to the point where I lack sleep). For me it's just that I feel this sort of obligation to work on the side project when I would rather, for example, read. Then I start to feel resentment from the side project because it's taking me away from that other thing. This is basically the same thing that the article says :)

What helps for me is having a set time when I always work on my projects. Which for me is an hour or two before work. This makes me feel less obligated to work on them after work. But if I choose to, that's ok too.
I say with sadness that the Internet has nearly killed the prospect of making a living as an author, and no amount of passionate speech is going to change that fact.

No one should go into any of the following professions with any expectation of making money:

1) Writing of any kind (fiction, non-fiction, technical articles, journalism -- forget about it)

2) Digital art of any kind (see DeviantArt for millions of super-talented creations that haven't earned a cent)

3) Photography of any kind (see Shutterfly for millions of photos better than anything you ever took and yet no one will ever pay for)

4) Composing music or lyrics

It rather surprises me that software, a creative and digital medium like the above, is not futile and that you can still make a good living at it.
It is a pretty common feature of languages since smalltalk. IMO when people say go is missing generics, this is what they are referring to.
Happened to me too. I've found a job in 2 weeks. Take some time to rest and build your energy up again and you'll be just fine.
People forget Australia's the size of the continental US, with basically the same sort of climate and ecosystem variance as you'd see between Maine and Florida.
It is relatively easy to have teams writing modular code.

They just have to learn how to actually use and create libraries on their language of choice.

Each microservice is a plain dll/so/lib/jar/... maintained by a separate team.

No access to code from other teams, other than the produced library.

It isn't that hard to achieve.
A sane person would have read that as "excellent replacement for Java for many typical use cases" rather than "a drop in replacement for Java for any and all use cases"

Sure the GP didn't categorically set a context boundary but it's a pretty reasonable to assume he intended it to be read that way given we're all supposed to be intelligent people.

> As for Android, the whole userspace and a big part of Treble drivers are written in Java, which was exactly the point of being a phone OS written in Java.

The whole userspace isn't written in Java. Yes there is also an accompanying Java userspace but your exaggerated argument is ignoring the GNU components as well as native C++ parts too (which, as it happens, are also represented in the very link you posted).
Yep, did it, not going to use Telegram now.

Love the unsecure TLRPC objects deserialization that actually makes the native client crash and to not verify what other clients have sent:
https://raw.githubusercontent.com/DrKLO/Telegram/e397bd9afdf...

and the tons of magic and undocumented numbers in the code:
https://github.com/DrKLO/Telegram/blob/master/TMessagesProj/...
agree 100%. every dell and thinkpad (and now thinkstation) I've installed ubuntu linux on for the past 3-4 years has worked flawlessly (wifi, sound, and gfx being the big three). What really impressed me was the Dell 5520 I had when working at Google- it had a nice nvidia card that was dedicated to running tensorflow training while the rest of the machine was perfectly usable for software development. All of this on battery.
But that's the same problem with Signal.
> Of course, at this moment, only Windows 10 supports HDR monitors

Don't they consider P3 to be HDR, or is there something else that disqualifies the Macs that have Display P3?
Sounds great, thanks a lot!
Paradox games are notoriously difficult. I remember, when I bought Europa Universalis 4, I went through 6-7 hours of tutorials on YouTube only to get started. It's still really difficult and I don't understand everything.
I have no direct experience with aviation software, but if it's similar to other highly regulated environments, a SW "patch" is not "simple", possibly it means weeks/months of regression testing and validation, justification for it need, etc...
The situation is actually worse with airplanes. When automobile regulations change, owners can generally continue to drive older vehicles but manufacturers can't continue to sell new vehicles approved under old rules. But with aircraft, once a type certificate is issued the manufacturer can generally continue producing it forever.
If you find these kinds of "build your own X" articles interesting, there's a repo on Github that aggregates them, sorted in various categories:

https://github.com/danistefanovic/build-your-own-x
Is there a reason for not using 'this'? I assume the risk is that you might have a scope where both this->foo and foo are valid and it's unclear which is which. You have no ambiguitiy with this->foo_, and foo (and if you forget 'this', foo_ is still clear).
The whole point of doing microservices is so that you can split up processing responsibility boundaries reasonably, and each team is responsible for being an "expert" in the service it's responsible for.

This also means that each service should have no other services as dependencies, and if they do, you have to many separate services and you should probably look into why hey aren't wrapped up together.

Using a stream from a different service is one thing: You should have clearly defined interfaces for inter-service communication. But if updating a service means you also need to fix an upstream service, your doing it wrong and are actually causing more work than just using a monolith.

EDIT: and because you have clearly defined interfaces, these issues with updating one service and affecting another service literally cannot exist if you've done the rest correctly.
GraphQL Will Power the Decentralized Web
I'm not aware of any major chain coffee shop that uses coffee vending machines like that.
Amazon very much tries to push publishers around. How is what Amazon does to publishers any different than Apple?
Believe me they are getting paid, read surveillance capitalism for the real story, http://www.shoshanazuboff.com/new/recent-publications-and-in... stop deferring your choice! to big technology monopolies, tell them stuff their cookies where the sun don't shine.
I learned it after hours ( not at school) and almost everywhere best practises are applied.

Some SMB's don't know anything, but the developers take "pride" in their work i think.

Ugly source-codes are everywhere though.
At least on Mac, Telegram has mysteriously two apps in Mac App Store, one is Electron and one is native. I never know which is which

One is named "Telegram" and one is "Telegram for Desktop" and they have exactly the same icon, but different sets of features.

edit: I was wrong, neither of the two is Electron, see below
> What is there to gain "cracking" the TPM itself

The technical achievement itself. :) It would be a world first, unlike sniffing. Hacking the TPM chip itself could open the door to even more interesting stuff. I think the analogy I gave before perfectly illustrates the difference between the 2 ideas. Getting to the same end result doesn't mean the paths are equivalent.

Would you find it equally interesting to read about getting Bitlocker keys using the legendary xkcd $5 wrench [0]?

[0] https://xkcd.com/538/
Maybe to add controller support for the upcoming Google game streaming console?
Which Facebook exec(s) would you put behind bars and for how long?
nice. heads up though; your link to netlify goes to neltify which doesnt exist.
The underrated aspect of this is on-demand app ordering.

Example - You're walking to work or your next meeting in SF. Cafe X is on the way. Two blocks ahead, you order your drink. As you walk by, you punch in your code and go on with your day.

The interaction is seamless and simple.

Great product!
eh, slack should just die in a fire. If I could name the most hated tool in my organization that would be it. Just set that to crap DND check at 5:30pm.
Wonder why not write it in Go or Rust, c++ limits contribution to old developers only

None of my friends know c++

But all of them know Go or Rust.
Feature wise I feel Signal has all the stuff I want in a messenger now. I use it on many different platforms and still experience a few too many bugs. I report them, but it breaks in subtle ways that are hard to reproduce.

I think Telegram still has a better user experience.
Feature flags, just enable it.

When all applications are adjusted, the accept-headers request a protobuff format in return.

=> Propagated everywhere except when a js ajax calls happens to the api-gateway.
Hi,

The information about the tracking ID's can be found here

https://support.microsoft.com/en-gb/help/4459081/general-pri...
The Hunt for a Lost World War II Aircraft Carrier
How many hours in each work?

Are they paying 2X in hard green cash money or in equity?
> he said he'd never change job because he likes human contact

But do all the people he serves like human contact? In some cases it might be a one-way thing where the server thrives off the human contact, but the customer finds it bothersome. One of the great things about the automation that has come along already, like self-service supermarket checkouts and ticket vending machines, is that people who don’t like interacting with strangers can get the everyday services they need in peace and solitude.
> I cannot understand why people insist on hating Telegram for their choice of tradeoff between convenience and privacy.

I recall the anger is not about any trade off. It is that they rolled their own poor crypto instead of using battle-tested crypto. There’s no convenience factor or trade off here, they just literally did the thing the textbooks tell you not to do, and have ignored the industry’s calls to use strong crypto.
That's definitely a non-issue in Europe.
> Blame those who didn’t manage to implement the standards and stand in the way of making it the default

Well, some of the oldest corporate systems (Lotus Notes, MS Exchange) did (and I think still do) have the capability for transparent secure messaging. Still, sysadmins rarely ever bother to use it. I believe the cause is that nobody wants to operate a certificate authority if they can avoid it, and when they can't, they'd rather restrict it to the bare minimum (servers that are absolutely necessary).

If corporate sysadmins can't be bothered to look after keys, you can imagine how motivated the average user will be to do the same.

The truth is that X509 remains a clusterfuck: it's just too burdensome. LetsEncrypt is a first step in the direction of replacing it with something better and more automated. "LetsEncrypt for email" would be very welcome - although I bet the security services of the world would be really pissed off.
I think this is more a story about the publisher; it wasn't piracy that decided to cut the print, it was the publisher.

However, the problem with "piracy doesn't hurt sales" is that it is only true when you provide a service just as good as the pirates.

If buying your book on amazon is a hassle, moreso than downloading a PDF on a forum, then people will pirate it. Amazon requires you to search the book, put it in your basket, go to checkout, pay, then download it on your kindle and read. The forum download requires you to download it and put it on your kindle. Maybe it is time for a Netflix for Books, especially with more digital books being sold.

That my assertion holds water is I think proven by piracy being on the rise again, now that streaming services have more exclusives, making it harder and more expensive to get the shows legitimately.
https://news.ycombinator.com/item?id=19378567
I've been to Cafe X multiple times. This makes a GREAT cup of coffee, matcha, or espresso. It's high quality.

This is not just vending machine coffee.
I've wrestled with this. The only solution I've found to balance out these two conflicting ideas (justifiable outrage vs living my life) is to run for office myself.
Be careful with this. When the kids go to bed, then your spouse wants your mental attention. If you go into side project mode every evening, you spouse might not seem to mind, but gradually it can take its toll, and you might not be aware of it until it is too late.
MIT robot's flytrap gripper can grab both fragile and heavy objects
Lots of people trying to make graphics for set-top boxes and TV playout suddenly looking at Krita I expect.
Could glue screen to the outside of vr, showing what the wearer is seeing..
Crashing in the face of invalid and likely malicious input is a secure approach (fail fast).
I spent a few years working on side projects of different magnitude.

My process repeated the same cycle: I come up with an idea for a side project, start working on it, get more and more involved with time, until a few months later I am completely burnt out. At that point I drop the project, take a few months break, rinse and repeat.

I'm glad to say that once you identify this pattern, you can start working on it and develop healthier habits. I'm also glad to see that I am not the only one who struggled with this. I wish more people, specifically young and enthusiastic programmers, read this article and learn from it.
Why not? That is, why does your bank need all that information about you? I give bank my money for safekeeping and the bank provides convenient access to it. Reliable access can be done with different methods using a different degree of anonymity.

At least in the US, banks requiring all sorts of information do it not even as their own business choice -- they do it because government regulators insist that this data is collected because security, because terrorism, because money laundering, etc.