skysight-inc/HackerNews huggingface dataset:
The problem is that we're trying to formalise relationships that make perfect sense in natural language by assuming the same relationships make perfect sense in code.

"Sword" instances may have specific properties that make them incompatible with a "weapon" superclass. Is a broken sword still a weapon? How about a sword with no handle? Or a sword that has been magically transformed into a flower? Is that still a sword and a weapon, or is it now "really" a flower, and should inherit all flower methods while throwing away all weapon methods?

You can duck type and/or RTTI your way out of this problem, but you can't avoid the fact that traditional OOP is very bad at handling these "it depends" cases, because the only relationship it supports is a strict and static inheritance hierarchy.

Unfortunately many domains, including natural language, can only be described by mutable context-dependent relationships.

In the real world, swords don't turn into flowers, so you might think you're safe. (Except that you might want to include object mutability in a game...)

But in NL the meaning of a phrase can change according to social setting, unstated subtext, speaker gender, age, and even time of day. It's all context, and it can't be ignored without losing essential detail.

All current typing systems seem to be attempts to enforce limited-scope static relationships between opaque atomic objects with more or less static properties.

Mutable context-dependent relationships are everyone's worst nightmare in CS. Academic CS seems to have spent most of its career trying to pretend they don't exist, or if they do, to make them go away.

This is sold on the basis of making more reliable code. In fact it simply doesn't work elegantly for entire classes of problems, including many problems for which it seems to work just fine if you describe them in words, until you have to think about all the possible details.

The worst case output is intolerant brittle code with limited features, and the best is an encrustation of exceptions, edge cases, and work-arounds.

Note I'm not saying there's a simple answer, because there isn't. This is a research-grade problem, and it's barely been considered.

I am saying - beware of simple principles like LSP that claim to solve this problem. Because there are many situations in which they simply don't.
Apple used cbp to seize battery
MP's who have no technical scientific education apart from odd stand outs like Mrs Thatcher or these days Chi Onwurah.

Mrs T allegedly questioned the civil servants pushing the rush to Diesel 30 years ago.
for about 8 months of the year our clothes are dried in the garden, here in London
Adler and Hutchings published such a book in the 1930's. As for the humanities that style of education is distinctly old fashioned. Even my alma mater of Chicago is falling away from the tradition, and Shriner and St. John's might be the only places still reading the Great Works. Instead we have more vocationalism and less humanism.
I'm willing to make a speculative bet on Brave/BAT. The existing user growth is good, and the incentives for their ad system are basically correct for everyone.

The product Brave is actually peddling is akin to anti-cheat software: It takes steps to prevent fraud throughout digital advertising and improve the cost effectiveness of digital ad campaigns. That pitch means that they have the ear of advertisers already, and it's only a question of executing on the rest. Given prodding, advertisers will cooperate in order to fix up the market because what they really want is a "commoditize your complements" scenario. They are not there to become adtech wizards. They want to find qualified customers for their primary business. If Brave succeeds in forming a coalition, you'll start to see businesses from other sectors talk it up and give users and content creators hard incentives to sign on. They can even use such marketing efforts as part of their own speculative plays on the currency.

On the user end of things, that means that Brave engages in the click fraud arms race, but with higher-powered weaponry than can be accessed from within Javascript. They get a deal that is a definite improvement on the status quo: they choose exactly when and where they want to see ads. For the other parts of the system, the cryptocurrency marketplace replaces most of the middlemen and associated incentives for fraud. If you're in the business of total control either way(whether it be "never-again-an-ad" or "I want to access as many users as possible"), it's a devil's bargain, but if you're interested in getting the Web on a more sustainable path where quality is encouraged, this is something that could do it.
RB tree nodes abuse the interesting and common property that nodes are created next to each other most of the time in typical usage and are not moved far around as in some balancing trees and are small. Thus you end up with cache locality even when not directly aiming at it.

B+trees have some of that property by only keeping data in leaves, but you need a very smart leaf layer to capitalize on it.
You end up with more inner nodes though.
Legitimately sickening. Now that cars are just barely affordable to most consumers, it's time to completely ban them from the streets so we can sell them our new electric cars.

So say the car companies.

I am extremely concerned about the environment, but I am of the opinion that carbon can be removed from the atmosphere as the first approach. Besides, cows are a massive producer of greenhouse gases, comparable to manufacturing and personal transport.

It's funny how none of the car companies cared about environmental sustainability until people started buying low-margin vehicles???
But if you are going to build a pod why not build a slightly bigger pod that fits you?
I'm not a big reader but I've read a fair few books I saw on Gates Notes and they've all been right up my street ("Sapiens" included). Great recommendation.
A JVM-based full-stack framework for building microservice
actually that move assignment operator is not ideal. The foo parameter won't be destroyed immediately but only at the end of whatever scope (if any) it was at the call site.

The idiomatic copy and swap is like this:

T& operator =(T x) // note pass by value
{
std::swap(this, x);
return this;
}

This acts both as a normal and move assignment operator (if T is not copy constructible);

edit: how do you get HN to show asterisks? There should be one before each 'this'
Thank you for offering that perspective, that gave me a lot to think about!

Are you familiar with any recruitment agencies specialising in relocation to Canada?
Palantir, Peter Thiel’s All-Seeing Eye, Looks to a $41B I.P.O
It depends on the project. CF isn't the only platform. I've worked on non-CF projects under the GDS umbrella. There is a bit of Azure PaaS and AWS too.
Thank you for the bug and typo reports!

Agree with 1. The thinking is that your knowledge is now readily available for you and you can use it to get other people's hard-won knowledge in exchange.

A shared whiteboard is a great idea!
Where I live, gas is not even a thing, except in restaurants where it comes in bottles by truck.

And the town's buses are running on biogas but are on schedule to be replaced with electric buses.
Agreed. Especially considering the earlier stated acknowledgment "that spirituality and religion can have a beneficial impact for some people."
Because this disproportionally affects people who have no other alternative. Rich city people can switch to electric cars without changing habits that much, there are charging points everywhere and they're building lots more all the time.

Go to Cornwall though and it's a very different picture. You need to get all these more remote regions as wired up as central London _before_ introducing any taxation, or make exceptions while you're building the infra.
Can the samples be contaminated by the container if it's in plastic itself?
I have a hard time imagining an electric car working for me. There are two charging points within a 2-mile radius and I cannot park within about 15 meters of my house so it is just impossible to charge one.

Hydrogen or something where I can still go to a "filling station" might work. Right now I view electric cars as a tax break for anyone lucky/rich enough to have a driveway.

This might all change in a few years but I doubt there will ever be enough charging points on local roads.
We need to add something to the analogy to indicate how the ethernet cable (the steak) is shit at residential cabling.

Maybe directly eating (internal networking) vs. making cider (residential uplinks)? I do know that I do not wish to try steak cider.
As always in this case, I give the same advice : commit to it, be consistent and find pleasure doing it.

Starting a blog is even easier than ever now but too many times, people starts one and quickly stop writing. This is the rookie mistake.

You definitely think your voice/opinion has enough value that other people are willing to read about it which is really good.

Starting a blog is like doing a conference in an empty room. If the room is empty. you might not want to start talking.But if you don't talk, you'll know for sure that noone will show up. That's why, no matter what, keep writing and express your opinions because someday, someone will read your thoughts and will be grateful for it and you'll have your first fan and probably never know about it. That's the beauty of writing, you create a connection with people you don't know and most of the time, you'll never hear of them.

Warm vibes,
> Linux is a depressing mess

Citation or you only heard it.

Not even going to poke on your rest of statements.
> The speaker would simply have to point to a concrete algorithm that can be performed by a person with pencil and paper but not by a Turing machine (or vice versa).

Humans do all sorts of things that Turing machines don't (e.g. a Turing machine can't hold a pencil), so the question there is what constitutes an "algorithm" which comes right back to the definition of computation. Even an example that was obviously "computation" in the intuitive sense wouldn't make the Church-Turing definition "false", it would just mean that it defines something different from what we thought it defines.
I don't understand what homelessness has to do with extending one's limbs.
Before there were petrol stations everywhere, it would have been hard to imagine a car working better than a horse.

And yet here we are.
Instead of avoid paying for Apple's hardware, what about spending this kind of efforts improving *BSD or GNU/Linux?
Why do we need a whole new browser for this?
Save 418 Movement
The cookies from the image domain are the ones that will be sent, not the ones from the domain that the image is displayed on. Hence, doesn't work unless you can host your php on the targeted domain
That looks much more expensive
> "Banksy is the Thomas Kinkade of his generation."

Oof, that'll leave a mark.
Feature for feature, PG blows MySQL out of the water. PG gives you way more tools to use in your queries, indexes etc. to solve app problems.

The real knowledge gap would come into things like all the various tactics you need to learn to get MySQL to produce good plans for your queries. PG has a much smarter optimizer which is harder to control - if it does the wrong thing, it's harder to encourage it to do the right thing, and philosophically they don't support query hints. OTOH, worst case in PG is usually much better than worst case on MySQL.
They'll often refer to US highways / freeways as "motorways" in news stories too, which always stands out to me.

In the case of OP the word "truck" means something different in the UK (we only use it for much larger articulated vehicles).
The problem is short term versus long-term profits.

It seems it's more expensive to make products that are more easily repairable or can last longer, because obviously brands benefit from making products that break, although I'm curious if consumers really know how to switch brand when one break early, and if consumers can really understand why and how a product will last longer.

There should be regulations about how products are made and how their parts can break. I saw some broom vacuum cleaner's break because of a flexible plastic air canal. It requires buying a big piece. It's either intentional, or bad design. Those designs should be regulated, inspected and fined.
I still earn money on i5 2400 as my primary machine. Over the past couple years I only upgraded RAM, GPU and put in an SSD (that last one made all the difference).
AKA (in the UK at least), The Trigger's Broom paradox:

https://www.youtube.com/watch?v=BUl6PooveJE
But you still can't put the cart before the horse. Tax people who don't switch to a viable, cleaner alternative from dinosaur-burning vehicles, but not before you've made that alternative viable in the first place. Much (most?) of the UK is not ready for full switchover yet.
E27 UVC lamps, basically in this case a long CFL with proper UV quartz glass, but without the fluorescent coating, seem to be popular in china to be screwed into the ceiling.
See biglive about it: https://www.youtube.com/watch?v=1m0TQjBRcFo
> The OSes that I have listed have all BSD style licenses, nothing proprietary about them as such.

Yes, I know - but the software which ends up getting deployed/used/sold will be proprietary forks, right? That's the whole point: the licence is friendly to proprietary forks.

> Linux is still no match for high integrity computing OSes

Sure, VxWorks is safe.
Come on, this is not Joycean or Faulknerian stuff.
At least in that case Des Moines knew who paid for the ad. On FB there is no identity check(unless you consider credit/debit cards identity proof). Not to mention that you compare one ad with thousands on facebook. Facebook can't stop them even if it wants. The main reason is that the ads are too cheap to investigate properly. A bad actor can use multiple accounts. And when I say multiple I mean as many it wants. Times/Des Mines would not publish 100000 ads of 1$ each, each about Trump's policy(more or less) but facebook would do it.
Uber takes a detour with plan to provide temporary staff
Ideally it would be a completely interoperable system/protocol - so nothing like say Paypal or Google Contributor that competitors would resist adopting anyways. Plus, the adoption from a single provider for payment services wouldn't be nearly as high as a protocol + hundreds of providers.
You can try Kiwi or Bromite as well. Brave lags sometimes very much when you have long pages to scroll.
Well, I say I became a Targeted Individual. Others would say it's Paranoid Schizophrenia. I was implying sabotage.
Why are you being so nasty?

> This implies

Why don't you stick to what I wrote? You respond to the straw man your own imagination creates.

> is the idea that knowledge is unnecessary

See above. You are being quite ridiculous.

http://dilbert.com/strip/2015-06-07
You can only develop for iPhone on macOS, and you don't always want to buy Mac hardware just for that.
I don't like the idea of the government banning stuff.

I'm a lifelong cyclist, ex-bike courier. Cars don't offend me. Bad drivers do. I always loved the freedom of cycling. The lack of regulation and traffic stops is one of my favorite points. Never enjoyed 'cycling routes' or special bike lanes. They always seem to box me in. I feel less safe in these areas.
Here.

I was a huge Firefox fan, but having 50+ tabs open made the browser unusable - even the latest versions. I then switched reluctantly to Chrome, but always hated the UI.

Having downloaded Brave, it was love on first sight, looks good, works good, blocks ads. I very much miss all the Firefox extensions, I hope a lot will get ported eventually.

Oh, and Mozilla? You need to reboot your company/non-profit. I don't know what goes wrong there, but all the projects I found interesting got stopped (Persona), and the browser is no longer really great. It just /feels/ clunky.
It isn't a productive academic discussion if you're gatekeeping views that don't match your own, yet are also technically informed.

If there were results from an FPGA synthesised version of the Mill there would be less scepticism. But as it is, the Mill is just a design, and claimed performance/features require more evidence than for an existing architecture.
Thomas Ptacek (the guy whose blog post you've linked) agrees with Thomas Ptacek (tptacek, the guy whose sub-thread you're replying to)? Not exactly a revelation.

Also Thomas has rejected the suggestion that the parts of his post that are now hopelessly wrong should be mentioned in the FAQ he prominently links. So, that post is wrong and explicitly won't be fixed, you should not rely on the "facts" in it unless you want to get laughed at.

Your mention of Comodo suggests you're badly confused. The Symantec hierarchy is in the process of being distrusted by the Mozilla and Google root programmes, not Comodo.

As to .com, it already _is_ run very badly and we already do have to put up with that because there is no way to fix it. Don't put new things in .com unless you're comfortable with for-profit companies screwing you over whenever it suits them. DNSSEC can't make that worse, it's already terrible.

That's worth emphasising - DNSSEC cannot make you more dependent on your registry operators, because you are already entirely dependent on those registry operators anyway. If the operator could be leaned on by spooks (seems plausible) that is already true today.
Sorry, are you saying that Brave is the main impetus behind DuckDuckGo growth? I find that hard to believe, given the minimal market share of Brave...
Probably quite high.

Google's culture and hiring process is so well documented at this point, I suspect any suitably talented individual could appropriate some cultural fit.

Of the (current and former) googlers I know personally, they are a mixed bag but there are some traits that are more common. Self assurance and the uncanny ability to never be seen to be demonstrably incorrect are prevalent tbh - but that applies equally to most of the industry.
Fixing the climate change problem should have always involved systemic solutions - i.e. bans on diesel vehicles, high carbon prices, etc, not stuff like "use less water in your home."

But since most governments are corrupt/can get paid by those rich companies they are trying to regulate, the former has also been the most difficult to implement.
Not everyone can afford electric cars.
Don’t know why you were downvoted. Xerox parc did in fact release nothing to the general public iirc. But they got great tech which got ripped off, unlike magic leap maybe ?
Very good comment. It is certainly important to acknowledge that both can be effective and that the generalist type (and I use that term loosely) can be good for setting up a solid foundation/skeleton for others to build upon.
> It's more a concerted effort to make repair expensive, unexpected, unfashionable and gratuitously difficult across as many industries as possible.

I upvoted you because I agree with your overall comment, but on this one point I disagree. I think it's not a concerted effort, just a gentle gradient caused by economics. Meaning, all the companies that made traditionally repairable items (e.g. straight razors) were less profitable in the long run than companies that made disposable/irreparable items, so they eventually went under. Because disposable items are cheaper to manufacture, they could be sold for much lower prices in the marketplace and produced in much greater numbers, reaping much more profit. That expands markets and keeps them producing demand by the need for replacement. While consumers should be the counterpressure to that, consumers generally don't consider TCO[1], so traditional producers lost to the market and humanity irrationality.

[1] I mean honestly, who adds up the cost of all the razors they'll use in their life?

The way humans used to live two hundred years ago was definitely "waste not, want not". Things were durable because making them took human effort. People were poor and closer to the things that they made and used. Supply chains were not something optimized by logistics companies; shoes were made by people in the same town. In that setting, you better believe they made stuff to last.

In short, all of this is because of the techno-industrial marketplace.
The government is banning stuff all the time. You are not allowed to do a plethora of things that harm other people or society (stealing? murder? destroying public property?). A ban on petrol/diesel car is nothing special.
Ummm, a timer to allow charging at certain time only? Seems pretty simple to me.
Ada Lovelace day: important type theory researchers to follow
Vakantiehuizen Voorthuizen
> Currently all BEVs charge at their maximum rate the moment they are connected to the charger.

This is not remotely close to true. Most BEVs have timed and/or location aware charging. My own Spark EV for example (a very low end BEV) can be scheduled to charge during certain hours each day of the week. I use this because our electric utility has lower rates from 11PM until 7AM. So no matter when I plug it, the car waits for the cheap electric rate period.
Bruce Ames is a renowned scientist, but he also has an anti-aging nutritional supplement company on the side named Juvenon.
I was just like you until a few months ago, when i got really interested in the technical aspect of DLT. Don’t let the digital currency scam blind you : there are some really really interesting things going on in that field.
It also takes an infinitely precise ruler and other tech which at some level of precision is not in any way more trivial than an infinite amount of time.

You can compute as many digits as you want, but when trying to measure it, at some point Heisenberg (or Planck to be more precise) will stop you.
If something is unobservable, and has no observable properties - in fact cannot have observable properties, by definition - it's metaphysics, not science.
I would love that. I can already imagine the manufacturer outlet going all, "please, PLEASE don't drop this on us; here, take this free complimentary toolbox and a set of spares, also our associate over there can make you that repair for free". One could only dream.
The etymology for "macabro" goes back to Arabic: "Ma qabr" means "cemetery."

I always wondered how "inshallah" became "ojalá". The 'j' sound in 'ojala' is the same as in 'pájaro' which in Ladino-as the article points out--is "pasharo" thus supplying the explanation.

How do you say "you" in Ladino? Is "usted" (possibly from Arabic "ustaad") used, or do they use an Italian or Portuguese cognate?
Global Mobile Analytics Software Market
> They definitely don't pay 0. They actually pay a significant portion of all taxes collected. You won't pay as much in your entire lifetime as the annual bills for some of these people

Because they have more money than I will probably make in my entire lifetime.

They are supposed to pay most of the taxes. They own most of the wealth.

It's pretty fucking straight forward.
2032 is still 14 years away which is a long time. And according to the article it’s even then just about banning the sale of new vehicles. This should be completely doable if the UK puts half a mind to it.
Why judge on how someone else spends their time?
Its more of a revocation of the privilege to use destructive vehicles on public land. I'm sure after the ban your cars will still be legal to use on private property.
And of course, anybody who doesn't applaud frenetically (mind you: not "who opposes"; merely "not enthusiastic enough") is lumped with the Enemy. Ad hominems mean "I have run out of arguments, now on to insults." Also, can I borrow your crystal ball, if you know that this technology will prevail? I hope you haven't been predicting Betamax with that one...

As for "standards that can be enforced" - yes, that's where the industry is headed, but we haven't seen a Therac-class disaster in our generation yet. We'll get there...in both cases.