skysight-inc/HackerNews huggingface dataset:
To put the title into context:

"Do you still feel like Silicon Valley has retained that idealism that struck you when you arrived here?"

"There’s still that optimism. But the optimism is tempered by a sense of deliberation. Things have changed quite a bit. You know, we deliberate about things a lot more, and we are more thoughtful about what we do. But there’s a deeper thing here, which is: Technology doesn’t solve humanity’s problems. It was always naïve to think so. Technology is an enabler, but humanity has to deal with humanity’s problems. I think we’re both over-reliant on technology as a way to solve things and probably, at this moment, over-indexing on technology as a source of all problems, too."
There is no magical ipv4 compatible protocol that is possible at scale that is simply being denied to the masses by the Ivory Tower IETF.

IPv6 is the future of IP connectivity, that is not going to change.
It does seem he is conflating "progress" with "investment". Yes, the world is spending exponentially more compute each year since 2012 on training networks. The marvel is that neural architectures are scaling to more complex problems without much architectural change. But this is not an argument that AI is getting more efficient or productive over time and hence we can expect exponential performance improvements (like Moore's law).
Primarily because it's written in C, the Linux kernel is currently in a full-blown security crisis. Nobody has credibly challenged the facts that Dmitry has laid bare, but at the same time, few people are motivated to fix the problem.

https://www.youtube.com/watch?v=qrBVXxZDVQY
They aren't. But Google really didn't want to obey a perfectly reasonable law in Europe, and absolutely wants to do business in China regardless of the social cost, and so is making a false equivalency to try and justify a morally bankrupt position.

Europe is censoring personal and private information that harms ordinary citizens and is not of the public interest in order to protect European citizens. China is censoring information about the government, people's rights, and major historical events in order to control society. If you remove the absolutist "free speech is always right" position, the former is about protecting citizens and the latter is about protecting the government.
DNSCrypt-Proxy[1] already supports the randomized DNS resolver need[2]. It also supports DNS-over-HTTPS, providing assurance that even your ISP won't be able to snoop on all of your DNS queries.

While it doesn't support live comparison of DNS results, it can log out entries per DNS resolver and you can post-process those logs to validate their responses against each other, considering your queries will over time hit different resolvers. Not perfect since there are legitimate reasons to return different responses over time, but it's something.

[1] https://github.com/jedisct1/dnscrypt-proxy
[2] https://github.com/jedisct1/dnscrypt-proxy/wiki/Load-Balanci...
Google said 40% of their data server operating cost comes from paying for energy, it makes business sense to switch to this type of DRAM.

I couldn't find the actual youtube video where a google employee shows the 40% energy cost, if you do, please link it. Meanwhile here is another graph that is somewhat similar: https://perspectives.mvdirona.com/2008/11/cost-of-power-in-l...
Lawyers at many BigCos have a blanket ban on touching GPL.

They don't want a 10 billion dollar lawsuit to come down to the judge's interpretation of a license.

Usually licenses are on a flat good or bad list.
Yes, but not your children and their children. Being a billionaire is prosperity for several generation of your children.

The real problem is that becoming a billionaire is statistically an abnormal outcome of that kind of life. Some people have jumped from a plane without parachute and survived. The fact that happened shouldn't be an argument to do the same.
Now apply what you said to the mess of style.css that the churn of developers before you has appended to on an as-needed basis.

Except nobody has the time nor role to organize and maintain your project's CSS like Spectre.css' developer could. And nobody wants to because CSS accumulates technical debt rapidly. Everyone opens up that file just long enough to do what they need and then they get out before the house of cards falls down. To avoid adding rules that break existing UI, they add a new class and a new rule just for that class to be safe.

And let's say you're a CSS master. Which doesn't help all that much beyond being able to maneuver in the mess that was created. The above paragraph happens in projects where everyone knows CSS just like a project can evolve into spaghetti code between capable developers over the terrain of changing requirements. And being a CSS master equips you to understand a CSS framework too, so I don't understand why you keep alluding that CSS knowledge makes frameworks obsolete. I'd rather read organized framework code than whatever the bespoke clusterfuck people end up when left to their own devices under the constraint of time and deadlines.

Frameworks help contain complexity. They aren't just a tool for beginners and non-professionals.

You're making the wrong assumption that messes in programming are only made by not knowing the language. I remember thinking the same thing at my first job out of uni, but I was quickly straightened out at my first job when I realized that being good at a language meant almost squat against the real reasons: real world applications fighting between churning requirements, business concerns, and scarce developer resources like time.
>Probabilistic models must be properly normalized, which sometimes requires evaluating intractable integrals over the space of all possible variable configurations. Since EBMs have no requirement for proper normalization, this problem is naturally circumvented. EBMs can be viewed as a form of non-probabilistic factor graphs, and they provide considerably more flexibility in the design of architectures and training criteria than probabilistic approaches.

Can someone explain to me what the major difference is between energy-based models and variational Bayes approximations, which throw out calculating the normalization constant and switch to maximizing the log joint probability of the data and model?
"heavenly currency for continued commerce"

Crypto?
That's not a "proper" septic tank. That's just a holding tank. The word 'septic' alludes to the fact that you are promoting putrefaction to decompose the contents.

RVs have holding tanks that must be emptied. Thus, they aren't called "septic tanks".

But I'm sure the term is used loosely.
Of course that only works if you're making widgets. More time working doesn't actually correlate to a successful business. At some point exhaustion sets in and you start making mistakes or making flat out wrong decisions and this leads to failed companies. Failed companies don't tend to provide returns to investors.
Ooh, pedantry, my kind of thread:

https://en.m.wiktionary.org/wiki/specific

I think it fails on most if not all definitions of specific.

"Lion cub" is specific, lion and cub are both specifiers. But "cub" is specific to juveniles of a range of species; so I'd say "not specific to lions".

Interesting then to think which species do have specific English single-word names for juveniles. Owlets, foals, and joeys spring to mind ...

French has louveteau for a wolf cub, perhaps it has a specific lion cub word too? I'd imagine Kiswahili to have a specific word, perhaps?
12GB seems an odd number, when it's usually multiples of 8. Anyone else think that? I wonder if it's because of size constraints?
> But there’s a deeper thing here, which is: Technology doesn’t solve humanity’s problems. It was always naïve to think so. Technology is an enabler, but humanity has to deal with humanity’s problems. I think we’re both over-reliant on technology as a way to solve things and probably, at this moment, over-indexing on technology as a source of all problems, too.

The headline sounds so much like a copout, and to a degree, I think even the completed statement is. However, when you read the overall interview, I think I share a similar perspective:

Right now, technology has clearly amplified everyone's voice to vaguely the same level, and as a result has exponentially amplified the voices of fringe groups. And as a society, we have to confront that. But it's a relatively recent problem, and our earliest attempts at solutions have been entirely based on technology, instead of a better mixture of people and technology.

In other words, we need technology to enable people to better learn, then curate their world, and get involved in ways that show support and organization better than a Like/Retweet button.

I think we're not far from tools like this being widely available, but we're just at the beginning of such a concept, and the overall reticence society now has to technology thanks to the irresponsible stewardship of its leaders will inhibit technology's ability to fix the problem, too.
I actually wrote a script to track this and it's been running for a few months.

I generally post around 9am and 12pm US east coast time. When I take a substantial negative hit it's around noon or 3pm on the East coast. There's a baseline amount of up-votes and down-votes (with up-votes dominating) that seems to roughly correlate with the hours most people are awake in the US and Europe.

Someday I'm going to publish a write-up here.
FWIW, the book "Why We Sleep" mentions this paper by Francis Crick et. al. and talks about the history of sleep research.

I'm in the middle of it because of a Hacker News recommendation, and let me pass on the recommendation. It's great so far :)

https://news.ycombinator.com/item?id=17381235

For example, I think most of us now know that napping isn't for the "lazy" but it's nice to see the scientific reasoning for it. The author Walker is a great sleep advocate.
Ah, too bad this mission to the moon isn't political, otherwise you might have found a connection!
it wasn't just internal factors - many companies/business people have wanted to do business with the Chinese. In my own experience they're pretty easy to work with.
Back then I don't think anyone ever considered we'd use up the IPv4 address space and/or assumed that the migration to IPv6 would happen more more quickly, rendering IPv4 obsolete. It looks like most of the big blocks were all assigned prior to widespread consumer internet adoption.
It's a slippery slope. It certainly gives fodder to China and other countries to say "Hey, look, you have the tools to censor results for X, Y and Z, because those laws say so. Why not ours?"
The Canadian case was even worse than RTBF.
You can still go for the lower end if you sell based on the total monthly car costs. Many people see what they can afford based on the monthly loan payments rather than the total cost, and if they save more on fuel than what they pay extra on the loan, it's a good trade. But that doesn't work if the extra niceties push the loan value over that line.
My point was that it may be accurate about a small percentage of the ham population, but it's not accurate about the majority of the population.
Do you anticipate making use of DO's feature beyond running raw droplets? For example, their Kubernetes support or one-click images.

I have not used Linode in a long time but DO has really nice product offerings these days as long as you don't require a true VPC.

I really like DO's predictable building compared to AWS and to some degree GCP.
no money for you!
I like your paraphrase but I think it muddies the water. We really want to prove that axioms of a system cannot be contradicted if the system is inconsistent.

To be even more precise, the system or theory T proves that there is no number n which provides a proof of contradiction for the axioms of T.

So its the axioms of the systems which all formal systems assume and hold to be true. Basically its impossible to prove that axioms are true with the same system.

In short, no formal system can define its own consistency because in order for its axioms to be true, the system must be inconsistent.
The current state is, a few hundred thousands of lines, and Google hiring more Rust engineers quite aggressively.

I'm also excited to see how it turns out :)
I think I now what you're saying, but can you please ELI5?
I will try to give an objective answer.

They have a different underlying value system. Europe believes in individualism and privacy. China believes in collectivism and harmony.

Right to be forgotten protects the individual. China's wall protects the government.
Fine print would say free locomotive offer only applies to 1435mm territories.
I'm a bit surprised about this didactic method: being close to stalling on take-off doesn't seem to be a very safe way to teach a lesson.

I used to fly and during my license test we did get into a stalling exercise to force the plane to stall at a few thousand feet altitude. This was meant to learn the feeling of sudden drop and how to recover. There is something both thrilling and scary about transitioning so quickly from seeing the horizon to seeing only earth right in front of you approaching at a high rate of speed.

Being in near-stall conditions close to the ground seems to me like a recipe for disaster.
And some smart finance people at Amazon may have calculated that now is a good time to buy them and wait.
> classical linear logic embeds into intuitionistic.

Wait, really? As I understand it there are things provable in LL that can't be proved in ILL. Can't find the citation though.

It should be noted that double negation translations are more complicated at the proof level even though they capture provability.
Yes and no. In a sense, it is neither good nor bad. It's simply information. Read: This is what you need to prepare for.

It makes sense, and I would venture to say it impacts the expected lifespan of a species. That is, to presume the DNA from X (e.g., in humans 25 - 35 yrs) ago is just as worthy in the current environment, could be a false if not dangerous assumption. Supplementing DNA with more up to date information helps the species to survive.
Perhaps the visualization here would show you just how huge IPv6 space is.

https://subnettingpractice.com/ipv6_is_huge.html
There's still things that are impossible to accurately measure from within our reality.

We, for instance, can't know or measure the precise state of things as they would've been had something different occured than what actually occured at an earlier time.

This is especially obvious in the realm of quantum mechanics, where you can't know what you would have measured if you had measured earlier or later than you did (I hope my interpretation as a layperson was correct here). That information just doesn't exist in our reality, but it may exist in some higher order place where all those realities can be observed.
Sorry to take so long. The following contemporaneous NYT article discusses the argument, but it doesn't contain the phrase "even one sentence". It does give a flavor of the justices' skepticism at the absolutism of the deputy solicitor general's argument:

https://www.nytimes.com/2009/03/25/washington/25scotus.html
Actual source: https://www.youtube.com/watch?v=4PcpGxihPac
Well, DNS is both a significant way one could profile what types of information a given connection is used for and could be used to profile you, so I want to give a DNS provider incomplete information where possible. And as DNS is also a common way to redirect or censor traffic, I feel like there'd be value in a system that would double check that everyone's sending me to the same place. If I get inconsistent results, I could dump both and query two other ones in the pool.
Is it possible to do this without a car, though? Because in NYC you don't need a car even to live an hour away on transit, and a car is a pretty substantial monthly expense.
Deep-Brain Recordings May Show Where Unhappiness Lives
In the very early days no one understood that over half of all humans would be on the internet. It was just this ARPANet thing for the military and universities, then a few big companies.

So you got a /8 by asking for one; they handed them out for free.

Same goes for DNS. You used to request the name and it was yours. No yearly fees.

The IP blocks were never reclaimed because it was pointless. Even now clawing back the big /8 assignments only kicks the can down the road for a year, maybe two.
For the apocalyptic end results of lots of city dwellers flushing non-biodegradables down the drain, Google "fatberg" - only if you have a strong stomach.
Show HN: Stitch – The new generation black book
How so? There is unlimited amount of compatible protocols that can be made to run on top of IPv4.
NYC certainly isn't perfect, but there's been significant investment in bike infrastructure (and the expansion of citibike) and is quickly improving. Anecdotally, I find I have to plan my trips a little bit, but can get from my apartment in Queens to most places in Manhattan without leaving a protected bike lane for more than 2-3 blocks
> In my opinion, JS badly needs more functions in it's standard library, which should move through the proposal policy quickly. However, common sense standard library functions like flatMap have been in the pipeline for years are still not in the final stage. We may not get flatMap, import(), trimStart, or trimEnd in ES2019, they are all stalled in Stage 3. There's no good arguments not to have these in the standard library, but we still have to wait years.

This is one of the arguments for the pipeline operator, as well. Right now browsers are inherently quite afraid of adding things to Object.prototype, Array.prototype, etc, because doing so breaks things. There are too many ancient JS libraries that patch whatever they want into Object.prototype/Array.prototype, such as MooTools, that threaten to break if the prototypes themselves change from what is expected. This is how flatMap() got stuck into "SmooshGate" and the intentionally absurd proposal that it should be named smooshMap(), because if Browsers add Array.prototype.flatMap it does break versions of MooTools still out in the wild.

The pipeline operator is one option (among several proposed options) to move the standard library forward without compromising backward compatibility. Maybe we can't have nice things like `myArray.flatMap()` because it breaks backwards compatibility, but maybe something like `myArray|>flatMap()` is an acceptable compromise.
There's nothing that you could possibly want that costs that much.

What about your own space station to name one thing from the top of my head? Then again 1 billion wouldn't be nearly enough.
I think "urban" is a bit more, but the line is blurry. Factors include a high portion of people who are dependent on landlords and public transportation, the mixing of residential with non-residential, and of course density.

Cities wouldn't exist if there weren't people attracted to them, and of course some of those people come from outside. Clearly your aunts and uncles did not have that suburban/rural mindset despite being raised there.

Street crowds are different from other ones. Suburban malls try to keep an eye on things, ejecting people who cause trouble. The same goes for football games, the fair, the rodeo, and so on.
<<But there’s a deeper thing here, which is: Technology doesn’t solve humanity’s problems. It was always naïve to think so. Technology is an enabler>>

Google was enabling the DoD to be more efficient at killing people and China to be more oppressive until its workers protested. So he's right about humanity having to solve its problems but he's forgetting that Google, the corporation, is opting to make it harder for humanity to solve its problems by enabling those who do not have humanity's best interest in their heart.
"They found Chinese tech executives to be less reflective about the social impact and potential misuse of their technologies."
On the one hand it's hard to find anything less reflexive than Facebook/Whatsapp acknowledging their platform was used for a literal genocide and taking a year to actually do something about it, on the other hand what we know about product tampering in China for the bigger scandals with baby formula, milk and pet food seems the anything goes for a profit should make this story's startup attitude not a surprise to anyone paying attention to the news.
You go to the best college you can get into, wherever it is, and then to the best job you can get, wherever that is. Our city was okay, but our school system and community values were not calibrated to produce contentment with mediocrity.

You might pass on opportunities for social stability reasons in middle age, but as a 22-year-old you jump without hesitation.

People sometimes migrate back when their own kids are school-aged.
I used to feel that way until I got comfortable with Elixir and its pipe operator. I think without prior knowledge the latter, which is interpreted left-to-right, is more intuitive: "take some data, do x, do y, do z"
wget is GPLv3 licensed which requires you to give users all of the information (such as firmware keys or a way of replacing the firmware keys) to replace wget.

Practically speaking this would require providing access to replace the entire system (though as you say the GPL wouldn't apply to separate programs as that is generally considered to not be a derivative work from a copyright perspective).

Interestingly GPLv2 has similar but lighter requirements -- you have to provide instructions ("scripts") on how to build and install the software. But obviously many people believe that this was not strong enough to deal with firmware-locked systems and thus GPLv3 was born.
The underlying problem with all of this is that money is a poorly designed mechanism for
(1) exchange of services (almost all goods are the result of services) between people
(2) apportioning of natural resources which really belong to no one in particular
(Please try to respect the netiquette when voting.)

Empty words by Sundar Pichai employed to achieve a desired effect in Google's benefit.

The airplane is an example of a technology that has brought us closer together and helped advance the ideal of an interconnected global "village" and which I'm contrasting with the promise made for Google's products -- but don't get hung up on my example, because my argument is directed at Google.

Maybe it's just Google's tech that has failed to deliver on its promise for a better world.
The FCC occasionally does a sting operation to shut down someone doing malicious interference, but there are a few frequencies where a handful of griefers congregate. I suspect the reason the FCC ignores it is that they generally only bother each other and limit it to one or two frequencies.
It’s not 12 GB it’s 12 Gb (1.5GB) although it is still an odd size.

I would imagine the odd size could be due to yields of the new memory.

EDIT: thanks Child post for correcting my typo.
Amazon’s plans for HQ2 already spur housing movement
Longevity escape velocity

https://en.wikipedia.org/wiki/Longevity_escape_velocity

One hopes.
Similarly aged - https://xkcd.com/195/
Dutch man, 69, starts legal fight to identify as 20 years younger
فروش ویلای 180 متری در شهرک دریا کنار 09116392262
A couple of afternoons.

I just hacked into my app's flow to upload a "scan" of the isolated puzzle to my server instead of slicing it and sending the component images to CoreML.

Then I sat there and flipped through page after page of Sudoku puzzles and scanned them from a few different angles each, sliced them in bulk on the server, and voila: data!
I always thought that 8 gb is not enough but 16g is too much for me. 12Gb sounds nice.
We should name a town Police.

Perhaps if you were from Buffalo where the Buffalo buffalo buffalo Buffalo buffalo you'd be more receptive to the idea.