skysight-inc/HackerNews huggingface dataset:
That's not quite true. It's not solely because seL4 does little. seL4 maintains low interrupt latency through "preemption points" - basically points where the kernel can and can only context-switch while maintaining global consistency.

Keeping in mind I'm not an expert on this, I dug up these papers when I was vaguely looking, they may be useful to you:

"Improving Interrupt Response Time in a Verifiable Protected Microkernel"
https://ts.data61.csiro.au/publications/nicta_full_text/5391...

"To Preempt or Not To Preempt, That Is the Question"
http://ts.csiro.au/publications/nicta_full_text/5859.pdf
Three different notes. Repeating the same note is rhythm, but the allegations are about melody.
You shouldn't have to work on interesting problems at work because Life is the most interesting problem. You should have as much time and mental resources as possible to handle that problem/puzzle.
It's often really hard to know if an optimization is "correct"- is the same function as the original, unoptimized version. Formal methods helps here by showing they're equivalent, so you can focus on finding good optimizations instead!
I built an iOS app for studying Japanese called Manabi Reader. It collects interesting short-form reading materials, has one-tap dictionary lookups, and lets you add words to flashcards.

I'm currently working on extending it with word tracking functionality, so that you can see which words in an article are new to you, can track your progress through kanji by reading, etc.

https://reader.manabi.io
makes sense. Amazon has built out their network pretty well.
Zorax Daily Crypto Forecasts for 07.08.2019 Full Report
It was, back when we had a pre-Bork standard for antitrust violations, and a more effective FTC. Not much more but more than totally ineffective. (Incidentally I like the cut of your 5% jib - 20 players may not be enough for some markets)
This probably would have done much better with the subtitle as the submission title: What We Really Do All Day: Insights from the Centre for Time Use Research.

It is fascinating that we don’t spend any more time working than in 1961. What about commuting? I also find it interesting that we exaggerate the amount of time spent working and exercising to fit our own personal self-narratives.
Are developers honestly happy working 60-hour weeks?
Krita has incorporated precisely this toolset. It's one of those rare instances of what seems like a cheap gimmick actually being a great tool.
These are hilarious and bring back so many memories of my time in IT. But as another commenter said, it helps to be extra respectful of people who are not too tech savvy. I've had many of those examples play out and the people involved usually felt very stupid and awkward. I always tried to go to great lengths to reassure them that it has happened more times to more people than they suspect, even if it weren't true, just so they didn't feel shitty and stupid. I'd also try to tell them about the stupid things I'd done to lighten the situation which always seemed to help.
Octopus and squid have very different flavours. Octopuses also have a layer of fat that squids don't.
I agree, but with some effort you can (mostly) self immerse. Switch all devices to that language, watch media in only that language, make yourself write in that language, find people to speak to in that language.
As you might know, the whole "death panel" debate came about because a huge part of the cost reduction in Obamacare was supposed to come from rational end of life planning, where nurses would prompt people to describe what they actually want in case of a terminal illness in advance. Right now, we just spend fortunes trying to prolong people's suffering.

However, it got political and the provision died. Politics are stupid.
Same here. Rural area. Our mail carriers are contractors nowadays and even getting a properly addressed standard size envelope in my mailbox reliably is near impossible for them.
From my experience, spaced repetition is only really useful as a trigger to recall prior meaningful experiences. The really tricky part of using spaced repetition well is writing the cards: you need to work with new material until it feels obvious, and only then make cards that will recall that experience of it being obvious.

For language learning, there’s one other wrinkle: you need to be working with material written in the target language, rather than written about the target language. Most of my language cards are Cloze deletions from novels I’ve read or museum captions, for instance.
Wow, that isn't Olivetti beautiful, but beautiful in its own way.

https://en.wikipedia.org/wiki/Harwell_computer#/media/File:H...
For 3rd party ads, that is sometimes correct. What blocking js does is prevent cookie stitching, ie the joining of the first party id with the 3rd party cookie id. This is necessary for external ad networks.

Twitter runs mostly their own ads afaik, so they don't face this problem.
Static analysis of Windows Forms source code
Crunch Mode: Programming to the Extreme – The Economics of Crunch Mode
The compelling mathematical challenge of the three-body problem
I'm pretty sure 99% of the comments are from Arabs/Persians/Berbers backlashing one another over who is who. can you stop arguing and move on to the next article please xD
For most of the cases where formally verifying _code_ is important, "unit tests" aren't enough. If the person who writes the proofs leaves, you hire someone else to write proofs. Otherwise you don't have a business model.

For most of the cases where formally verifying _designs_ is important (most of the industry), formal specification languages are 1) not actually that hard to learn, and 2) exist distinct from the code, so you can throw them all out if you really need to and go back to flying blind.
https://absn.northeastern.edu/blog/the-history-of-the-hippoc...

"First, do no harm" wasn't included in the original oath. Whereas, "give no deadly medicine to any one if asked" is.

I think it's reasonable as a metaphor, but possibly not as an actual guide. Every profession could use an ethical code and statement made by each practitioner, not least of which is an explicit anti-fraud statement. Boy wouldn't that give a lot of people in marketing some difficulty?
Since when is Windows a true microkernel? NT 3.51 was a bit micro-ish, but newer versions are mostly monolithic.
I take the slippery slope argument seriously, however, maybe there is a compromise: we could (at least attempt to) come up with a measurement of content risk and (at least attempt to) agree upon some threshold of what constitutes "extreme" beyond a reasonable doubt. This way we continue to preserve fringe views while also properly suppressing harmful outliers.
Many of those Amazon trucks are part of fairly small (compared to Fedex,) mom and pop delivery companies: they don’t have the years of process and training that Fedex has. They are essentially franchises.
I'm currently working with a client that needed more capacity than I could offer, so they hired an offshore team to take on some contracting work. The offshore team has been professional, knowledgeable, and able to produce high-quality, well-tested, well-commented code.

The difference is that they're several times more expensive than the "bottom of the barrel" cheapest coders you can find in their country, while still being a bargain by US standards. Meanwhile I've worked with lowest-bid, US-based contractors in the past, and their work has been reliably bad.

So I'd put forward that the tendency to "cheap out" is the culprit behind poor quality, rather than outsourcing. Practically, the two often go hand-in-hand since the cheapest developers are often abroad, but the two needn't be conflated, and recognizing the nuance opens up the door to working with a high-quality, international pool of talent.
I'm not talking about his specific objections to the proposal. I'm talking about why those objections, which seem to be taking place in the context of a reasonable discussion where everyone's opinion is heard, have led him to the conclusion that he will no longer enjoy participating in the Racket community.
Is it P2P but not decentralized because clients get metadata from supernode1.xorro-p2p.com?
Rooting alone doesn't accomplish anything, but once rooted you can do anything to your phone, including carrier-unlocking, blocking updates, or rewriting the whole operating system. The only thing a carrier could still do in theory is blacklist your device from connecting to their network, which I've never heard of anyone doing.
It amazes me that the environmental activists haven’t taken this up as an issue yet. The amount of spam I receive is enormous and there’s no way out.
China pumps up the hype about A.I. with oddball computer chip
Generating 2FA One-Time Passwords in JavaScript Using Web Crypto API
No-Code Website Builder Webflow $72M Series A with Accel
1- Everyone who writes in the same language is from the same country and ethnic group.

2- Everyone who wrote in Latin is Italian

3- Newton and Descartes wrote in Latin

THEREFORE:

::: Newton and Descartes are Italian.

Impeccable logic !

Another gem of flawless argumentation is to say "who cares about ethnicity?! and let's just move on". Well it's been almost two millennia of misunderstanding and misrepresentation. Why don't we just get this very simple fact correct and apply the same intellectual scrutiny that we apply to other areas here as well?

IMHO This is just inexcusable sloppiness and to be honest beneath any human being with a modicum of culture.
Must-Have Tools for Product Managers in 2019
“should as such not be disruptive to our users” and “Elements of artificial intelligence will be more commonly used in applications and devices, and we will need to have easy ways to integrate with those.” told me everything I need to keep away.

Focus QT! What do you want? Do that well.
right?! I love using that in Readmes!
From the Republican horse's mouth:

"The Nixon campaign in 1968, and the Nixon White House after that, had two enemies: the antiwar left and black people. You understand what I’m saying? We knew we couldn’t make it illegal to be either against the war or black, but by getting the public to associate the hippies with marijuana and blacks with heroin, and then criminalizing both heavily, we could disrupt those communities. We could arrest their leaders, raid their homes, break up their meetings, and vilify them night after night on the evening news. Did we know we were lying about the drugs? Of course we did."

https://en.wikiquote.org/wiki/John_Ehrlichman
IMO all of the cost and power arguments are currently red herrings. An autonomous car or truck is worth at least $100k more than a non autonomous one, so whatever it takes sensor wise is worth it.

Where musk's argument makes sense is that if lidar can't be made to work in all weather, putting effort into making algorithms for it may be a dead end. There are a number of companies with various approaches to making lidar work better in bad weather though
Doesn't work here as well.

Also, do you really need me to signup with a password? These days I'm skeptical of putting passwords out there, and it's just a mailing list.
I believe it’s set by law and not by Apple. IIRC when I was in Iceland it was 5000 ISK (roughly 50 dollars) for every single machine in the country. Over that you have to use the physical card or enter PIN/signature if the machine supports it (none of the ones I used in Iceland supported entering after NFC so I ended up having to use the card). Since everything is expensive as hell in Iceland it kind of diminishes the utility of the NFC a bit.

Edit: Actually after I typed above out I found a chart that has the limits: https://merchantmachine.co.uk/contactless-limits/
Came here to post this.. was too late!
Let us not forget the Endowment Effect.

I'm struggling to find my sources, but I read years ago that most advertisements for cars are not to encourage more people to buy a new car, but are actually aimed at people who already own the car. Seeing their purchase being advertised on TV increases it's relative value to them.

Ultimately they feel affirmed in their purchase, overvalue their "asset", and increase in brand loyalty.
Fwiw, junk mail isn't taxpayer subsidized, they pay a different rate. It's actually a profit center for USPS.
Janux-The fastest, and most efficient way to grow your startup. For free
My wife's school had 5k applicants for 108 spots. Schools can be ultra selective in who they accepts and are allergic to people they think won't graduate from their school.

Not finishing a degree at one school suggests you're more likely to not finish it at the next school.

Why would schools take that risk when they can choose from 4,999 other applicants instead.
A meme shared by Trump on Twitter isn't a remotely worthwhile source.
Half of young Americans say college is too expensive and no longer necessary
Good artist copy. Great artist steal. However, in this case, I'm hard pressed to believe it's a case of either.
> Maybe technical or maybe just that the person who is going to send off money so that their social security number isn't taken away or so that the police don't come to their house and arrest them on felony charges are more likely to respond to a call--even a robo one--than a text message.

That occurred to me, but you can direct someone straight to a website that can then do god-knows-what with a text message, and they're even easier to automate and do in quick, huge batches than phone calls, so even at a much lower % success rate I'd think they'd be viable for scammers, and maybe even preferable to calls. Maybe they're more expensive to send? That'd be dumb, but then phone billing's never made any sense.
Absence of evidence is not evidence of absence. Would it be so terrible to do a little more research? If only to honor Dr Bussard's (RIP) memory? Google's not hurting for cash right now?

"When a physicist tells you something is possible you should believe him, when a physicist tells you something is impossible you should doubt him."

I forget who said that, but it holds. Lots of things had "good theoretical reasons" for not working until someone figured out how. Planes? Visiting the Moon?
Ask HN: When to Form an LLC?
For a basic MVP level product that charges through Stripe and is going live in 2 weeks but has no customers yet. When is the right time to form an LLC? ie. What is the maximum amount of time one can postpone forming an LLC to minimize cost and time spent?
I have to side with the GP here. The options are completely losing the telephone system because nobody trusts anything coming from it anymore, or having those pre-2000 systems upgraded. It's a no-brainier.

Yet, we seem to be committed into destroying the entire system.
Won't two clocks interfere with each other?
The jobs I'm talking about are the median software development job. According to Payscale, these developers make about $70k in the United States. This is over twice the median individual income, so yes they are well paid.

https://www.payscale.com/research/US/Job=Software_Developer/...
https://fred.stlouisfed.org/series/MEPAINUSA672N

Too often on HN we focus on and glamourize the flashy Silicon Valley jobs and we think this is what our industry looks like. It doesn't. The Google, Facebook, and Amazon of the world are the 95th-99th percentile jobs, the very top of our industry in terms of salary and prestige. They do not represent the typical software developer.
C++ (and even Rust) is not the best language to build UIs. Even if your app heavily uses C/C++ to do heavy computations, "scripting" language will be preferable for "glue code". QML is not a crazy new idea, for example Tk used Tcl.

And due to C++ API, Qt has poor language bindings, compared to GTK and many others with C API.
https://i.imgur.com/KOCTrVV.jpg
A website is just a public face, it isn’t the product. Fedex has extremely sophisticated systems — they just aren’t written in React with pretty graphic design.
The aliens will prevent him from becoming president because of this promise. Way to sabotage your chances Bernie!
I was wondering, does Shazam can differentiate well between these two songs? I'm not entirely sure about the internal working of it, but was curious to know how these pattern recognition apps can help in this.

Also, reminds me of the Silicon Valley where Richard was able to disproof Patent troll by using his music/search app.
I'm interested! I created an issue at https://github.com/marcelosousa/million-dollar-ideas/issues/... where we could start a discussion.
Agreed, but "proper" English could still be used; "admits" works as an alternative to "''fesses up"
Thank you, this is the point of my comment above. Also, many of the small announcements made by schools, police departments, parks, utilities, etc are not considered newsworthy and so Twitter or Facebook is literally the only source of that information.
Oh wow, i had never read anything like this advice. Did you apply this yourself?

If the problem I found requires a fair amount of time to solve for person 1, do you have any advice to avoid making something that only caters to that person and that’s not extensible to person #2?
It seems you just read the titles of papers and then use them as weapons to further your own viewpoint even when reasonable arguments are made that the papers don't mean what you think they mean.
It's sourced.
Can you expand on your "very different methodology"?
If the notifications aren't encrypted, then that means it gets decrypted on some server somewhere too :(
Thanks for supporting CMake and deprecating qmake. Not that cmake is the best tool ever, but having to deal with several build systems in the same project has always been a nightmare.
Big has benefits for the occupants in terms of larger crumple zones etc, heavy does not. What’s important is jerk and acceleration not your final velocity.

Electric cars actually weigh more due to batteries, but that’s not particularly helpful.
There are a couple of projects attempting Rust integration with QML. In particular, I forked Jos van den Oever's seemingly unmaintained bindings generator:

https://gitlab.com/rhn/rust-qt-bindings-generator

It's for Qt5, and I think I know how to achieve strong typing (just turn everything into different QObjects, they don't get converted), but haven't implemented that idea yet.
Article claims there is no interruption to viewing experience. I disagree. HBO ruins immersion with shows like GoT by having random shitty HBO content promos between each episode. Prime Video does the same thing.

Sure you can skip it, but that breaks the flow of just sitting and immersing yourself in another world. Infuriating that there isn't a setting or option to buy out of promos. I'd gladly pay $X to not have them, with $X being ~20% the sub price.
This is conspiracy theory nonsense. If they could do this they'd be selling it (Amazon doesn't give away stuff like this for free) and people would be lining up to buy it.

Sheer nonsense.
It would also be easy enough for the organization to budget for fines or to have numerous front/shell organizations which get started, do the calls and take the money, and then don't exist when the regulators come around. We need jail time for the executives.
Nope, you need a boarding card and that's it

The Police do have far-reaching powers under the fascist "Schedule 7" of the terrorism act 2000 to demand ID of some sort in certain circumstances, but that's not unique to flying.
Here's a video that explains a bit about this: https://www.youtube.com/watch?v=8f6CveRk4N0

tl;dw: people think they're going to be "Amazon Business Partners" more like you're another cost center being squeezed as much as possible
Interesting.

I guess it's one of those things we take for granted now and thus you think that it can't be that hard to create... and then you try to do so and you realize how complex some things really are.

Thanks for the details!
Opinion – Video Games Are Destroying the People Who Make Them
HashiCorp (https://www.hashicorp.com) | SRE, Software Engineers, Engineering Managers | REMOTE | Full-time

HashiCorp builds DevOps tools for modern applications. We build open source tools including Vagrant, Packer, Terraform, Consul, Vault, and Nomad. We also have a set of cloud services (Vagrant Cloud, Terraform Registry, Terraform Cloud, etc) that are high scale SaaS services. The HashiCorp products are downloaded tens of millions of times per year and power tens of thousands of organizations. Join our growing team and help organizations deliver modern applications using DevOps practices and enable dynamic multi-cloud infrastructure.

For a complete list of openings, see https://www.hashicorp.com/jobs

Some of our openings include:
Software Engineer, Terraform Cloud- https://www.hashicorp.com/jobs/1788064
Software Engineer, Systems- https://www.hashicorp.com/jobs/1588975
Software Engineer, Cloud Services- https://www.hashicorp.com/jobs/1620078
Site Reliability Engineer, Cloud Services- https://www.hashicorp.com/jobs/1600027
Engineering Manager, Systems- https://www.hashicorp.com/jobs/1625448

At HashiCorp, we are committed to hiring and cultivating a diverse team. If you are on the fence about whether you meet our requirements, please apply anyway!
The Data Center Reimagined: GPUDirect Enables Petabyte Scale Analytics
I believe it to be accurate. If you look at the trend of phone sizes from the first mobile phones up to about 2008 they were only getting smaller. If the trend kept going you could easily create a mobile phone today that is way too small for all practicality.

https://i.pinimg.com/originals/f7/35/1d/f7351d374bbbb01da339...
The FedEx Ground trucks around here are also franchises, but I'm sure FedEx strictly enforces driver training, etc., since their name is on the side of the truck.
Hey I'm also interested in this app, sounds like a great idea! However I experienced the same issue trying sign up just right now.
Making Uber Profitable
SimpliSafe’s home security system can be compromised by a $2 wireless emitter
This reminds me of Under Pressure and Ice Ice Baby, the latter also having to pay up.
Eerily reminiscent of the replication crisis in psychology and the social sciences. My key takeaways:

1) Half the papers couldn't be reproduced on a technical level. Publish your code and your data, people!

2) Most of these papers uses "weak baselines" so they can show some kind of improvement and get their paper published. I'm conflicted about this because if we require every paper to beat state-of-the-art, we'd (collectively, as the entire discipline) be lucky to publish one paper a year. From one point of view, these papers actually represent a form of publishing negative results - we tried this and it didn't work - which isn't a bad thing. But the biased way its presented makes it harder to separate the wheat from the chaff.

3) It's not obvious that we're going to squeeze any more business value from this particular stone. Sometimes all the useful information in a dataset can be found with a fairly simple algorithm. Not everything benefits from a more complex representation, and sometimes you can't fix that with regularization or more data. Sometimes you just have to use the simple model and accept that it captures all the signal that's available and everything else is noise.
They're also really big on fasting, which, given the popularity of intermittent fasting and the like these days, seems an odd coincidence.

Matthew 5:6 -- "Blessed are those who hunger and thirst for righteousness, for they will be filled."

Matthew 6:16 -- “When you fast, do not look somber as the hypocrites do, for they disfigure their faces to show others they are fasting. Truly I tell you, they have received their reward in full. 17 But when you fast, put oil on your head and wash your face, 18 so that it will not be obvious to others that you are fasting, but only to your Father, who is unseen; and your Father, who sees what is done in secret, will reward you."

A little more detail as to context: https://en.wikipedia.org/wiki/Matthew_6:16
The Khoi San are human and just as "modern" as us, given that we all exist right now.