skysight-inc/HackerNews huggingface dataset:
Interesting biographical piece but very little science (or even reference to science) in the article. To be expected I suppose for a mainstream article. Hutton seems like an interesting guy, historically, but he could hardly be considered a scientist, even by 18th century standards.

Stephen J Gould writes in “Time’s Arrow, Time’s Cycle: Myth and Metaphor in the Discovery of Geological Time” that

Hutton did not draw his fundamental inferences from more
astute observations in the field, but by imposing on the
earth, à priori, the most pure and rigid concept of
time’s cycle ever presented in geology—so rigid, in fact,
that it required Playfair’s recasting to gain
acceptability.

Geike writes

In the whole of Hutton’s doctrine, he vigorously guarded
himself against the admission of any principle which
could not be founded on observation. He made no
assumptions. Every step in his deductions was based on
actual fact...

To which Gould says in the same book

Geike’s mythical Hutton has been firmly entrenched in
geological textbooks ever since.”
Years ago I read a blog that I always remembered, very summarised it stated that even though developers logging a lot of overtime are generally considered to be hard workers most of them actually are horrible at planning their work.

The developers who don't log extra hours don't have to be less motivated, sometimes they are just a lot better at prioritising their work.
I want them filtered out of Google search results. Sick of going to them by accident.
Just to add a side note to my original post: I could move all of my remaining UK business to the US company, just to make use of it, and continue billing through it, but that would make things tremendously more complicated for tax-reasons, I think. The original plan was to stop everything UK, and then move everything (possibly including myself) back to the US.
If you flip the perspective and look at it from an async-first point of view, then OS-level processes are just a task implementation where every operation is a (potential) yield point and the state passed between them is the C stack. There are two flaws to this, one arguable, one less so:

1. Yield points are implicit rather than explicit, so their interaction with other effects is unpredictable. https://glyph.twistedmatrix.com/2014/02/unyielding.html has a description of the problem; more generally think about the reputation that thread safety bugs have. (There are those who argue that the advantages of implicit pervasive yielding outweigh the disadvantages).

2. At every yield the processor has to swap out the full C stack (usually 4K or 8K). This is a slow operation ("context switch") and inefficient when often the only information that actually needed to be passed from one task to the next was a single integer (e.g. a socket ID, user ID, SQL query ID, etc.) or something similarly small. Whereas with userspace scheduling, a task switch only has to pass the actual task state that's needed for the task in question.
I haven't used Google in years. Haven't had an issue that Bing couldn't find that Google could. FWIW, you can use Startpage to get Google results without feeding the beast, or use the !g command when searching with DDG to get Google results.
Putin has Russia guessing before election: how long will he keep power?
You are immediately combative to a comment that merely points of the ridiculousness of the marketed "benefit" of working extras days for these employees.

Which horse do you have in this race?
I bought a refurbished t430 from ebay for like 250€ with ssd, 8gb ram and 9cell battery. Just upgraded the ram to 16gb and installed Fedora, it's the perfect laptop for me (~10-12h of battery life)

I am not planning on changing or upgrading it until it dies.

Web dev / data scientist.
Yeah, hour-long coding challenges and taking a day or two off of work are bad enough.
I had worked as an European engineer in China. I worked European hours and days.

IMHO the secret of success of China, if there is one(China is way poorer than EU or USA), is accepting capitalism after centuries of stagnation with systems that worked very bad for most people(worked for Emperors, communist dictators and people in power thought).

To say that working 996 is the secret to success is just manipulation of the wsj, which does not surprise me coming from this newspaper.

Not accepting patents in practice like US did with England could be the secret of China industry advancing very fast but working too much is not.

Chinese spend a long time in work, they even sleep there but the energy they have most of the time is very low precisely because of that. European system is far superior.
Contrary to almost every comment here so far, this is both innovative and energy efficient.

Let's talk energy efficiency first. Once it's up in the air, it's has a similar profile to a normal single engine airplane. A Cirrus SR22 can go 1,200 miles on 80 gallons of gas. That's roughly speaking 15 miles per gallon - better than many pickup trucks or large SUVs. And that's while going 180 mph. Slower is more fuel efficient.

This aircraft is definitely going to make noise on takeoff and landing, but it's not going to make much noise while cruising.

The Dodecacopter/regular aircraft hybrid solves a lot of problems. Once it is in cruise mode, it is as safe as a regular small aircraft. Importantly, unlike a quadcopter, it does not crash immediately on loss of engine power - it can glide to a landing somewhere, or use a parachute, or land with its Dodecacopter rotors.

Unlike a rotor craft, this aircraft is very energy efficient while cruising.

The Dodecacopter side lets it take off and land in even more places than a helicopter. It looks like it has redundancy for any two rotors/motors to go out. If this happens on takeoff, you fly to an airport to land. If this happens on landing, you leave the aircraft on the ground until someone comes and fixes you. You skip all the transmission and cyclic complexity of a helicopter. This is going to cost a whole lot less to maintain than a helicopter.

In short, this has potential to be way better than either a helicopter or a small airplane. Even ignoring the air-taxi business, there's a market for this aircraft.

So let's flip to the business side. An easy target for making these at scale would be $500,000 per aircraft. (Might be able to half that, but lets be conservative). Operating costs at scale, max $100/hr, could be one quarter that.

On the revenue side, this would replace a two hour trip across a city in traffic with a fifteen minute flight. Unless you've flow small aircraft before it's hard to appreciate just how much faster it is not to use roads. There's definitely going to be some market for this - that's worth money.
Taxis and mini-cab rides in London with Fast Online booking
My pleasure :)

Other developers are currently working on fixing other aspects of Session Restore, including both performance issues and plugging other possible sources of data loss, but I'm not following this closely.
Your teachers shouldn't have tried to "fix" your handedness. They should have taught you valid writing techniques for lefties. A common and fairly easy one is to rotate your paper counter-clockwise 45-90 degrees and write bottom-to-top.

If you're hovering or strongly bending your wrist you've been taught wrong.
Take up one app/website that she finds impressive and teach whatever is necessary to implement a prototype of it. Often, when starting out in anything, maintaining and amplifying the initial interest and enthusiasm is a major challenge.
Do planes often fall on your head?
> Oh I meant the longest subtree, afaik depth of merkel tree is the longest one no?

I get what you meant, but it still doesn't prevent the second preimage attack, unless you're forcing all subtrees to be the same depth. Think about the algorithm for testing set membership. How would they use the tree depth to distinguish between hash(hash(leafA) + hash(leafB)) and hash(leafC) where leafC = hash(leafA) + hash(leafB) but leafC is NOT a member of the set? Keep in mind that leafA and leafB could be leaves of the longest subtree, but other valid leaves could be on valid subtrees that are one node shorter.

> Edit: Also I think element count can be also alternative for depth

Element count doesn't solve the second preimage attack problem either.
Ruby 2.5 adds Exception#full_message method
Why not move to just a production environment? Arguments are well presented here: https://medium.com/@copyconstruct/testing-microservices-the-...
Ah yes, that's much longer.
> A daily podcast that lasts an hour? It's remarkable that he can keep up that pace.

I've also been very impressed with Jeff's pace and consistent quality/depth. Joe Rogan is the only other podcaster that I listen to who comes close to that.
That makes the source file not-ascii again.
It was an assumption before. Now it's a fact.
Install TLP (http://linrunner.de/en/tlp/docs/tlp-linux-advanced-power-man...), which you really should anyway for better battery life, and run 'sudo tlp -b'.
There is a PlusCal -> Go compiler[1] and, as I mentioned in a comment on a thread linked in another response to your question, there are tools to translate C and Java code to TLA+ for verification. But as a relatively experienced TLA+ user, I see almost no value in doing the first, and little practical value in the second.

The kind of properties you want to reason about in TLA+ are so global and fundamental, that the code you'd end up writing would both be too far removed from the high-level spec, and the process of translation would be negligible in the grand scheme of things, so that an automatic translation, if it is able to produce usable code at all, wouldn't really save you any time.

That's not to say that you shouldn't also reasons about more local properties at the code level, and there are good code-level verification tools (advanced ones include Frama-C for C, OpenJML/Krakatoa for Java and SPARK for Ada) just for that.

It is possible to use TLA+ (and other tools, like Coq or Isabelle) for what's known as end-to-end verification, which means verifying the important global properties all the way down to the code level (and even machine-code level), but the process is so laborious that it is virtually never worth the effort, and, in fact, it has never been achieved for any but very small programs (and even then at great cost).

[1]: https://github.com/UBC-NSS/pgo
Plus Codes: Global street addressing system (open source)
Or "curated".
How to write tests and maintain your sanity
These would work great in Fiji flying tourists from the international airport on the main island to the dozen or so little resort islands nearby.

And since a significant proportion of our electricity is generated by hydro power, could be almost carbon neutral travel.
I'm sure that's what they tell themselves.
TIL: there is a genus called Chaos https://en.wikipedia.org/wiki/Chaos_(genus)
Or even just the second part. One could imagine software with chinese as the reference and english as the translation.

I guess that's one good thing about Java's resource bundles, though they don't help source readability.
There have been moments when I've agreed with you. And there are a couple plugins that emulate phpMyAdmin pretty closely. I've used them with some success.

However most of the time I've been grateful for the extra couple of clicks. It keeps clients from getting into trouble. Hell, it keeps me from getting into trouble.

Direct access to the database from within the WordPress dashboard implies you're doing some interesting, crazy things with WordPress. I think it's usually going to be an edge case when someone wants direct access to the database.
Can't you say the same about helicopters and airplanes?
Getting Casino Signup Bonuses from No Deposit Online Casino Sites UK
99% of the world couldn’t afford to spend $25k
It is like those kickstarter videos, except they have something other than fluff to show.
It's just a mozilla devoloper making a dataset of modal popups to experiment, nothing more atm.
You can swap in a full HD IPS panel.

Personally I'm OK with 1366x768, but my X220i is more of a travel buddy than a workstation.

For workstartion use, get a T420 or something with either the 1600x900 LCD or a swapped-in full HD panel.
When FB and Google don't moderate enough, they're publicly criticized by authority figures, wide news coverage, demanded to respond, occasionally threatened to be brought in line. On this occasion, they're implied to be complicit with genocide.

When they moderate too much, we all shrug, less coverage, growing pains, cannot be expected to be perfect all the time, it's-their-platform-they-have-the-right.

That incentivizes them to moderate more, always more.
My understanding is that a larger, slower turning propeller is more efficient than a smaller, faster propeller. If so, why do drone companies/small aircraft companies have been pushing the more and smaller propellers model? Better aircraft control? Optimizing for range and battery life doesn’t seem like a bad idea.
Conspiracy theory of everything
I bought a 9-cell battery (7800mAh) from 2Power, and I get 6-7 hours no problem, with wifi and bluetooth on.
At the other end of the scale are podcasts that are a few minutes long - daily briefings, the news, etc. I've always found these hard to listen to in normal podcast software since they're meant to be ephemeral and quick, so I've been working on a new approach: http://briefings.fm/
There's a reason that the more generic name for a browser is user agent. That is, they are agents serving at the behest of the user, not the server.

> Suppose Microsoft decides that websites with small font aren't friendly enough to people with vision problems so they start upsizing all font below size ten in IE?

This is somewhat humorous for me, because one of the first things I do to my Firefox installs is lock the font and set a minimum font size that I can read. The most broken sites by far are internal ones at my company, where no one has given a damn about usability or ADA. Most public sites handle it just fine.
The “Forgotten Half” of DNSDB: DNSDB's DNSSEC Coverage
the forEach is running a function on each node, passing the node as a parameter and console.logging that node.

the for of is a loop.

at any rate it seems the kind of difference in legibility that would vanish with very little familiarity, I would expect for most people developing JavaScript regularly that forEach would be more legible - even with the arrow function - because it is the construct they encounter and use more often day to day.
I don't know about the US but at least in Germany newspapers and even tabloids have certain self-imposed rules regarding fact checking and privacy. All those rules are out of the window on Facebook and other social media and because everybody is anonymous (yes, even Facebook), nobody can be held accountable.
You can freely upload apps from Xcode to iDevices if you own a Mac, and have an Apple developer account (not paid but you still need one), and compile the code yourself, and most crucially the code signing on apps deployed this way expires after a week. This is in no way a serious deployment method.
Again, I recognize there is a big problem. Also, I recognize that I am not at this time contributing a proposed solution. But I hope to convince that the solution we're sleepwalking into is really, really bad.
Multi Spider Heroine vs Super Villain Crime Battle
We are introducing a new terrific action in Multi Spider Heroine Vs Super Villains: Crime Battle game where you are going to challenge the super panther villains, Czarnian villain and the popular gangsters of the vice city.
I'm not sure I get why that name would imply cringiness: isn't it named for the Wright brothers' proving ground? Is there a reference I'm missing?
I've applied it to this app at some point: https://github.com/laurent22/joplin And didn't notice any bug or any issue in any of the three apps and all the tests were still passing.
The key figure is the lift to drag ratio - as the lift needed is determined by the weight, then that divided by lift / drag gives you the thrust you need to keep flying. Autorotating small blades are not efficient lift generators, compared to fixed wings, which can have lift / drag ratios over 50 (though not on this machine.) Even partial lift from the rotors would reduce the overall lift / drag ratio. In addition, having the rotors generate lift would have an effect on the airflow over the wing, and probably be detrimental to its efficiency - it is bad enough that they are there at all, especially those in front of the wing.
You know very well which source he's talking about.
And he said say near infinite, precisely to defend against obnoxious commenters.
For some people, quality time with family is better than quantity. The key is to have those hours or days with the family focus. This is not even a workaholic or tech thing - it's the way military families have worked for centuries.
A tech preserving synapses in the whole brain of a large mammal wins BPF prize
Most likely because of better control for drones. For this air taxi it may have more to do with noise.
I would do that for Google Groups, the UI is so shitty I would like to ban it automatically from all search results.
I put the keywords "Huawei group buy property" (in Chinese) in google and it returned almost 300 results from their company's discussion forum xinsheng.huawei.com. Now you can factor in those organised offline and those using other social media such as WeChat groups.

You can paint it whatever you like. The point here is clear - you don't jump up and argue Wall St analysts deserve better pay and more annual leaves, for the exact same reason, when Huawei engineers are getting 20 times of the national average pay, it is not a smart call to point out such stupidities seen in one of Huawei's internal docs.
So I didn’t do podcasts for a long time.

Now I put one earphone in, go for an easy bike ride for a couple of hours and listen to one. It’s pretty good.

You can’t really do it when you are concentrating on something else (or riding hard!), but commutes or whatever are good.

You download them using a podcast player. On Android I use PocketCast.
Uh, okay so it was a T540p? I don't see how this changes anything. They list the computer as Linux compatible. It was not, and they were neither interested in returning it or updating their site.
If you get the proper business-class models from Lenovo, Dell or HP, you can still service just about everything with nothing more than a phillips screwdriver.

Screen replacement on the newer Thinkpads is a little harder than it used to be, because the front frame is glued on now, but replacements are inexpensive.
Shitty sites like Reddit hide the scrollbar until you manually click the button that makes the popup disappear, so automatically hiding the popups is going to break them.

I like it.
It is sad that one of the most powerful CSS features ha been abused to the point where it is now going to be blocked in finicky ways. Modal boxes are quite useful in apps. And they are great for notifications.

But they are annoying when they block everything and prevent you from doing anything further. (I'm looking at you WaPo). I used the clearly extension to bypass things like this. And if that did not work I would go into Dev tools and delete things.

I guess a machine learning approach might be a good approach. But would it learn from all of the benign use cases when people are only reporting negative stuff?
As a .NET developer, there's a difference between saying .NET and .NET Core, however.

You can be interested in .NET Core but not in .NET in general if you're looking for cross-platform applications, for example.

Having used .NET for almost a decade, I think I selected .NET Core for a couple options since I hadn't been able to learn about the differences. And there's pretty significant differences, especially tooling support (like the inability to really do database-first as easily as you can with .NET).

So, I think it's fine.
Need a Lift? Check Out This Flying Taxi
What makes you assume that's something he wants to prevent?
Even from the video, it doesn't sound too quiet to me, and I'm sure they tried to minimize how it sounds in the recording, or at least they seem to be cutting off the video quickly when there's some noise in the video.

It may be 2-3x quieter than a helicopter, which I'm sure the engineers from the project would consider it a big innovation on its own, but that's not exactly what I would consider "quiet".

But as I said in the other thread, I think this is a fine technology to have in the future, and I'm not too critical of it, like I would be if this was a hydrogen-powered air taxi for instance.

It's battery powered, it's "self-flying", and the noise should improve in the long term, even though it will never be "quiet". I think there's little not too like about it. Range is not amazing, but for a first-gen fully battery-powered air taxi, it's not bad at all. They'll probably reach 5x as much by 2030.
Thanks for your extensive answer!

> The kind of properties you want to reason about in TLA+ are so global and fundamental, that the code you'd end up writing would both be too far removed from the high-level spec, and the process of translation would be negligible in the grand scheme of things, so that an automatic translation, if it is able to produce usable code at all, wouldn't really save you any time.

Hm - the examples in the Go compiler project look relatively good though - would it make sense to use something like this for small portions of a system? I understand that modelling and transpiling an entire system is close to impossible, but a more manageable use case may be a collection of business logic algorithms that are subject to frequent change. In that case you would still want to validate each version after a change, and it would save a lot of time to just autogenerate that particular algorithm in implementation code.
>Helicopters and planes are bad enough and they are quite rare

go to Bogota and tell me you think taking a helicopter around the city is rare.
Nah. We'll get the same thing we got on mobile phones (and still have); force redirect the user to a new page, then redirect back to the home page (not where you came from) or just reloading the entire page when consenting (or not).
Ask HN: What web ads did pleasantly surprise you?
Would a classic helicopter rotor overhead be a better solution, paired with those classic wide horizontal wings? Lift with the rotor, then thrust with the rear prop, using both wing and auto rotating overhead rotor combined for maximum lift.

Requires a tail rotor or similar. Perhaps the rear thrust motor or prop can be rotated sideways for takeoff? Now we’re getting complex, but not extraordinarily so.

Ape4 noted would add weight and complexity. Any more than eight small electric motors and props do now?
But most of the functional languages in their list, are also new....

and some of the ones on the trendy list are functional (Rust)
Could you please elaborate? What's the difference between "they're responsible for what they host" and "they should decide what people can or can't say on their platform"? (Or, if I misunderstood, what are you calling "not quite the same thing"?)
I'm surprised Vue doesn't show up on the list anywhere. From everything I've seen Vue should probably show up in either the loved or wanted categories.
I'm satisfied with my T450 too! It's the 256G SDD edition with another 512G SSD I attached later on.
Agree so before jumping into learning F# keep in mind it does not go that way "Know F#" -> "high paid job". It is more probable that those guys were already in place where F# was useful so they started using it as best tool for the job. So they were already highly paid.