skysight-inc/HackerNews huggingface dataset:
“I took it years ago so it’s mine now” is indeed thief logic too.

But of course nobody is saying this because nobody took anything years ago.

They bought it from someone who wanted to sell it to them.

The only one suggesting forcing people out of their property here is you.

I am not saying you should pay twice as much property tax as someone living in an equally valuable house.

I am saying that increasing property taxes as prices go up is confiscatory and immoral.

I am saying that anyone who wants to use this mechanism to displace people so that they can acquire their property is a thief.

My personal view is that property taxes are the problem here. Not prop 13.

If the city needs to raise revenue it should be via income, or a per person charge for services. Other countries do this and it works just fine.
My train of thought went "hmm, I wonder if FreeBSD would be good to use in production for running some Docker containers" and I stumbled across this https://wiki.freebsd.org/Docker

> Docker's currently broken.

that leads to this: https://reviews.freebsd.org/D21570
NSLs only bring back non-content information (eg, a call record, but not a recording of a call) and are issued under the Stored Communications Act. Unless you happen to be the owner of a sole proprietorship that falls under the act, you can't be directly issued an NSL - it's issued to the entity which holds the records (eg AT&T).
As someone who overrides TTL's for all domains on my home network, I agree with this. I use Unbound DNS to query upstream servers over a VPN. I override min ttl to 20 minutes and that has never caused any issues as far as I can tell. I have been doing this for many years.
Cars aren’t allowed to drive down sidewalks in any jurisdictions I’m aware of.
We need standardized rented autonomous tugs to move customized unpowered wagons
Does this qualify as a new ACID test?
We had a client one place I worked that liked to schedule 1-2hr meetings, never bring up the topic at hand, and then the three or four folks from their company would just chat things through on the phone with one another, mostly unrelated to anything we could conceivable influence or care about, while we sat there twiddling our thumbs. This was probably a majority of their irregularly scheduled meetings. One or more of us would get roped into one of these every week or two. A couple of their folks also liked to schedule 30min calls with 3-4 people in response to Slack questions that should have been answerable in under 5min (total time spent, not necessarily within 5min, not everyone's always ready to respond on Slack at the drop of a hat) with no phone call. I strongly suspect they had a culture that rewarded their middle managers for having calendars full of meetings, with no regard whatsoever for whether the meetings accomplished anything.

Their core business was management consulting.
You've hit upon the problem. All the stable coins, unless they're actually based on and backed by something other than other cryptocurrencies, are essentially fraudulent.
Tractors and trucks currently use diesel, but you could convert them to ethanol if required. Most likely existing ones would just be gradually phased out, and new machines would just run on ethanol.
Maybe vagueness itself is a survival technique ;-)
I would say CR doesn't back up the "SUVs are safer" argument; they say SUVs are safer in head-on collisions with smaller vehicles, but don't really indicate whether they're more or less safe overall.
> we're just saying Safari compares to it's peers (Chrome, Firefox, heck, even Edge) like IE6 used to compare to the other browsers back in the day <

Again, this is nonsense.

There is a gap, but it's not bending the shape of the web or costing the average developer hundreds of hours to work around bullshit. Safari is behind on some features... no doubt at all. But to compare that to IE 6 is just wrong.
Actually incorrect. Bitumen from Alberta shipped through Line 9 is now refined in Ontario and Quebec and is now the majority of oil consumption in central Canada. The poster above posted an out of date article and then drew incorrect conclusions from obsolete information.
The thing in my bank account is enumerated in US dollars and backed by FDIC insurance against theft, fraud, and collapse of the institution storing and tracking it causing the quantity of such enumerated dollars I have changing. I agree that it has different risk profiles than "A sack of greenbacks under my bed," but not different in a way that makes it practically not-money.

It satisfies the three basic functions for all practical purposes. In fact, it does so better than BTC (in the sense that there is no FDIC-equivalent to protect me if theft, fraud, or collapse of some holding institution tracking my BTC wallets for me divorces me from my BTC).
Most cryptocurrency activity occurs outside of the USA, is it any surprise that an American created stablecoin with severe risks due to its American ties is frowned upon by those trading cryptocurrencies? Avoiding the regulatory hell of Americans who think they control the entire planet is one of the primary purposes of stablecoins.
I was looking for a bit more insight into why these diverging preferences have developed and didn't see it.

My 2c on that:

The chairman of the board at a company I know well has been in business for like 40-50 years and he reckons that CRM software has been transformational for managers. Apparently, before Salesforce, you had little idea what your salespeople were doing with their days -- especially if they were regional specialists (re: remote employees). Salesforce keeps them on track, keeps them disciplined, provides strategists with better on-the-ground facts, etc. And that's had huge effects, according to him.

But, if you're a chief marketing officer or biz dev person, and your success depends on engineers, you don't have a SF equivalent. Sure you can look at their Jira tickets or whatever, but if don't really understand what they're working on, that won't provide a lot of clarity. So maybe you look for clarity by asking them to be in the same room -- but ultimately that doesn't help much either (they just put on their headphones, deliberately avoid you, etc.). So you give up that battle.

But with product people -- you don't have a salesforce-type system to keep eyes on what they're doing. But neither is their work totally incomprehensible. So, drawing on how helpful SF has been, you conclude that transparency and oversight are needed to keep things on track. So you develop a strong preference for face to face conversations.

This is a theory to explain how a startup I know well has decided that its challenges getting to PMF are (in part) about a WFH policy that was 'too liberal' (CEO's words).
Trouble cooking? GrubHub, Uber Eats get pushback from restaurants on fees
Cloudflare has done this: https://blog.cloudflare.com/welcome-hidden-resolver/
I do agree that there is something special about the human mind not captured by formal systems (in the "set of axioms or axiom schemas + inference rules" sense). (not so much for empirical external evidence reasons, so much as for like, what I want to call "teleological reasons"? Like, my goals and values are more coherent/less nonsensical assuming that there is something special, so it makes sense (as far as my goals are concerned) for me to assume that there is something special.)

However, I'm not so sure that this something special includes anything Gödel related.

As to whether an "inconsistent system" could "make" consistent formal systems, I'm not entirely sure what you mean.
A formal system (in the sense of set of axioms + inference rules) is not an agent, so I'm not sure what you mean about it "making" things.
We talk about a formal system prov"ing" something, but perhaps a more clear way of saying what we mean by that, is that the system admits a proof of the thing, or that there is a proof of the thing, for/within that system.

If by a system "making" a system, we just mean that it "proves" (as in, "admits a proof") that some other system is consistent, then I see no reason that a paraconsistent system couldn't show that some other system is consistent.

Have you seen the "Logical Induction" paper by MIRI ?

If a system is inconsistent, then there is a proof that it is inconsistent.
Logical induction assigns "probabilities" to different mathematical statements, and it can be shown that these probabilities converge in reasonable ways.
If there is a proof of a statement in the system that the logical induction thing is working under, then the "probability" of that statement will converge to 1.
Also, this statements that logical induction applies probabilities to include statements about itself.

I think that, if some particular system is self consistent, then,
well, for one thing, the probability for the statement "that system is inconsistent" will not go to 1,
and furthermore, that there are statements of "the probability for 'that system is inconsistent' will be below c at step t" (for t much larger than the current time step) which will (I think) go to 1.

In that sense, I think logical induction could probably do a good job at concluding that some systems are probably self consistent.

Now, I'm not totally sure of that. I don't 100% understand the logical induction results.
But, yeah. Seems relevant to me.
I'm not reading anything in your post that justifies the sarcastic tone.
You’re taking a loan out. How’s does it “make” money without negative interest rate? And I missing something??
GitHub seems to have done a pretty good job under Microsoft expanding to a larger portion of the open source development pipeline, between the package repository feature and the sponsorship platform here. So far I'm impressed.

I have Patreon set up already for a handful of people I support, but being able to just mash a button on a GitHub thing I care about is pretty awesome.

My biggest question: Can you sponsor projects, or just people? Because while often they may be one in the same, what if I want to support an org-managed project?
Perhaps their gratitude for food aid faded because "After the Bolshevik government withdrew from World War I, the Allied Powers openly backed the anti-communist White forces in Russia." (Wikipedia)
If it’s Wi-Fi enabled, why can’t it just set itself?
"If you think about it, corruption is legal in the US through lobbies"

Well, whether we go so far as to say lobby = corruption, I think the idea is to bring more transparency and accountability to the general problem.

Any society with free movement of capital is going to have issues with accumulated economic capital impacting politics.

A democratic republic such as the USA hopes to address this issue by formalizing the channels the public can access the government.

Right now I'd give us a 5/10 on that scale.

Where's China on that scale? I don't have enough info to say...
Rebooting: The App I Use to Expel (and Contain) Petty Thoughts
to be fair, freebsd had something like docker for decades. Jails have existed for a long time and are easy to use.
At this point, it would be malpractice to not use them given their effectiveness. That doesn't mean we can't point out the origins and continued presence from bad actors.
Nimbus Tech Stack (2019)
You're just not over-engineering your software hard enough.
Easiest Way to Plot in Django
Well, yes. There are huge network effects for stablecoins.

Let's go for a more specific example. Let's say that you hold one bitcoin on Binance, and you believe the price of bitcoin will go down today. You would like to exchange your bitcoin for dollars, and then tomorrow, exchange your dollars back into bitcoin.

Ideally you would just use plain old US dollars. But since it's crypto, you can't. What you can have is a stablecoin.

So which stablecoin should you use? There are two costs to using a stablecoin.

Cost #1 is that when you exchange, you won't get the perfect rate. You'll have to pay some fee, and the precise exchange rate you get will depend on the liquidity of the market.

Cost #2 is the chance that this stablecoin collapses in value while you're using it.

For Tether, in my opinion cost #2 is high. All these dubious stories about the underpinning of Tether are true. That means the risk it collapses tomorrow are higher than the risks that other stablecoins collapse tomorrow.

However, cost #1 is probably lower for Tether than it is for any other stablecoin. Because there are more traders operating in Tether, you get a better exchange rate.

This is why Tether isn't just hype, it is providing real value to people through being the most popular stablecoin.

Would we be better off in a world where the most popular stablecoin also had a solid financial backing? Yeah, I think so. But that isn't the same as saying that Tether has no utility today.
I should have just said "isolated" :)
That's wonderful, I and wish we had those things years ago.

Back then it was a realm of custom FPGA setups with very few niches like digital TV broadcasting, or expensive VPN appliances.

Ideally, I would've liked it a lot if the NIC could've spoken directly with the raid card or NVME using PCIE P2P... dreaming too big
There is a very straightforward argument that nuclear energy is literally the ONLY thing that will save us from global environmental catastrophe.

There is also a straightforward argument to be made that while the medical industry isn't perfect.. antidepressants save lives.

So if those were some of your primary troll-beefs.. take it from this white male tech male worker in his mid 40s.. I'm not getting paid for those opinions.
> isn't it slightly premature to file a lawsuit over losses

People bought, and Tether sold, USDT on assurances of being 100% backed by U.S. dollars. Tether is now admitting that not only is it not 100% backed, it isn't even entirely backed by U.S. dollars [1]. That's enough to allege fraud.

> The latest price charts still have tether at $1~=1USDT

Tether is under criminal investigation by the United States and New York State for, among other things, market manipulation. Taking Bitfinex's word that one's USDT has suffered no losses, all while they delay and unreasonably condition withdrawals [2], is like trusting Adam Neumann's on WeWork being worth $47bn.

[1] https://www.bloomberg.com/news/articles/2019-04-30/tether-sa...

[2] https://tether.to/announcement/
This is a silly attitude - it can take 8 GB of RAM to compile an application, which then runs happily in 2 GB.
> the magnitude of it matters.

The cost to consumers of financial corruption runs into the many billions of dollars.

> There are plenty of small banks and credit unions out there thus the point that you cannot open a bank is not quite valid.

I did not say that you couldn't open a bank. I said that if you tried you would see firsthand evidence of the corruption of the system.

The problem is not that the rules are onerous. The problem is that the rules are not applied evenly and transparently.
The first time I launched Windows 10 on my machine my eyes bled. The font rendering is just awful, the OP is right.

After much effort had the anti-aliasing disabled and system font switched to Tahoma. Guess what? Next update reverted them all back to the terrible blurriness of whatever the default font is.

While, after much registry patching later, the fonts are not changed, but the damn thing still changes the default associations after what appears to be silent updates.

What? The user explicitly told me to use Notepad++ as a default app for .txt? Change that - to the full Notepad idiotic glory! Prefer to use Foxit for PDF? Back to Edge you go, stupid user!

I am not going to start about telemetry. Whose problem is Microsoft solving? Certainly not the end user who plopped $200 for Win 10 license. Whose then?
Well, clearly Tether will take your $1 and issue you USDT. The problem is that for the most part, you cannot get that dollar back for it.

100 units of USDT is worth $100 only if you can get someone to trade it to for that. For the moment, you actually cannot -- you have to trade it through BTC or one of the other crypto coins that are actually paired with USD first.
Not just that, it's pulsing in a way that connotes "I'm sorry Dave, I'm afraid I can't do that".
Use logging for non-trivial apps.
As I like to point out, on macOS you click on an icon of literal fruit to shutdown the computer.

The first time Win95 was started, a giant arrow pointed to the start button. It was rather discoverable.

Now Win8, I had to look up how to shut it down, the rtm version was a UX disaster.
tl,dr:

Along with human flesh, cannibals had feasted upon the brains of their victims.
Given the kind of burn rate those people have at government agencies I would guess that they have some form of partnership with aforementioned agencies. I glanced through their FAQ and site but didn't see anything specifying that however.

Other than that I have no idea how you would even be able to have the images to classify in the first place without running into problems.
coming to a spy movie near you!
No clue. Some leader or party making it their program. Very trick in democracies specially today with people having been so indoctrinated into so many of the old environmentalist ideas that are counter-productive. Meaning things like Anti-Nuclear, Anti-GMO and so on.

Usually this wouldn't happen because of climate change. France pushed nuclear because they wanted to be independent of Saudi princes.

But the French example clearly shows that a industrial country can go away from fossil fuel electricity in 15 years if its actually determined to do so and using nuclear energy. And they did it with 1960s technology, the same kind of effort with modern types of nuclear plants, could potentially be even faster.

There is no question in my mind if there was political consensuses on a plan, any industrial nation could move away from 90% of fossil fuels usage within 20 years and it wouldn't actually cost as much as people tend to think.
Neal Stephenson's latest book sorta deals with this.

One way the characters in the book got around the huge signal to noise problem was by using editors who were paid to filter it out. Different people could afford different qualities of editors and that had effects on society.

It's a pretty small part of the book, but it's very interesting.
You'd have thought Facebook would have seized the opportunity to rename the company, being as Facebook is an awful name for anything.
What / if to put in team slide of pitch deck
I got top results in school and uni but in english literature and archaeology. I taught myself to program, competed in and won prizes in many hackathons, worked as a business analyst and now am in a startup where I am co-founder.
I did some of the programming at the beginning but I'm now doing most of the research, connecting with accelerators and VCs, angel investors, etc. some of the technical, while the main founder is doing most of the technical work. I don't quite know to capture myself in the best way possible for the purposes of the team slide of the slide deck and I know this is critical. Can anyone advise if I am even best to stay off the pitch deck given my lack of credentials (no former big company, no ivy league uni, etc.) in case I put some investor off and just work in the background and let the lead founder who is more technically able and accomplished than me, and our business side team member pitch instead?
Show HN: Rapid Docker on AWS – eBook and Code Examples
Mozilla's Nov 4, 2019 letter to Congress regarding DoH [pdf]
This is a great point. I know https://wiki.freebsd.org/bhyve is massively popular/successful too.
Requiring payment for vulnerability fixes isn't reasonable; it deliberately externalizes security problems BIND itself creates. If they couldn't provide software for free with vulnerability fixes, they shouldn't have provided it for free at all.
Sure, and no one is being pulled over in those situations.
The article states that it set itself at the first daylight savings change, but apparently the wifi chip broke so now it can't set itself at all anymore
"Remember that nifty alarm clock you gave me last year? I finally got around to trying to set it up and....wow, what a piece of shit. I'm an engineer and I couldn't even get it working. After wasting an hour trying to set it up, I just threw it in the closet. Whatever engineer designed that thing probably doesn't even use it. It was a fun idea, but probably more useful for throwing at burglars. Thanks again haha"

Any of my friends/family would be laughing along with me, and giving me shit for not being able to setup "something as simple as an alarm clock".
But you're ok with a single 13" screen?
One thing I don't understand is the lack of "subtemplates" for sale. I'm not sure if that would be a good name, but I would love to be able to buy a template pack that uses vanilla Bootstrap, Bulma or anything else, and with the building blocks, creates template pages for various use cases: pricing tables, admin dashboards, my account sections, cart, search results, etc.
And because we live in the year 2019, I bet the alarm clock app tracks you in the background too.
I have a hard time taking this seriously when whoever wrote the abstract doesn't seem to be aware that the Soviet Union was founded in December 1922. Basic historical errors in the abstract make the paywall less appealing, and it's unfortunate if a lot of work went into the actual article.
I wonder how long it will be, if ever, until we’ll have a self service site for GDPR that shows all holders of data with the ability for the user to retrieve and/or delete their data? It would also be interesting if EU could provide some kind of register with API that all online actors in the EU has to report data collection to. I’m pretty sure regulating systems like these will become standard eventually, as users are more and more aware of the crazy situation.
*For the people inside the SUV.
> DoH does not help you at at all if your browser is going to go to an IP that is on a watchlist. That is the author's (and Paul Vixie's point).

If that's the aim then I have to concur that DoH does nothing here. This is why I dislike the way Mozilla touts DoH as a privacy feature, because that's not what it (primarily) should be about, as far as I'm concerned.

> Technically speaking, if you're not getting DNSSEC signed results back, you're also trusting your DoH provider to not manipulate records. ;)

Agreed. But that's exactly why you can pick a trusted resolver, right? One that you trust to correctly validate DNSSEC for you, so you simply trust the AD bit in the response instead of doing all this on each and every client. And one that you trust not to mess with answers in general. Without either DoT or DoH, you are basically forced to validate DNSSEC on every Client, which seems like a waste.
It makes perfect sense in a cynical way - the government would face way more backlash if they went after the CEO of Uber as opposed to a probable nobody like you in the sense that "you are unlikely to cause major consequences which threaten their aparatus of power".

If they made a habit of doing that without a serious trail of justification under the law capital flight would be historic - damaging their income and GDP/the source of economic power, and damaging stability. It isn't even anything overtly sinister - just sensing that given the peril it is time to get the hell out of there.

And that is without lobbying and soft power aren't available.
I got early access a couple of weeks ago.

That’s my profile: https://github.com/sponsors/ronilan

I’m conflicted about the concept.

I understand that when a software project has no formal institutional “home” (it’s new, or it’s small, or it’s beneficiaries are themselves “homeless”) - a community funded model can help maintain/develop things that benefit the community at large.

At the same time I don’t feel comfortable that funding is for a person not a project and I’m at unease with the tiers (and resulting reward) structure.
MKBHD has published stolen picture without proper credits