skysight-inc/HackerNews huggingface dataset:
Yes precisely this, because you close your feedback loop not over the actual result you wish to achieve, but a crude numerical reduction which probably won't correct your actions effectively (as per your example, optimising for lines written rather than features shipped).
Contexual ads [0]. Alternatively anonymized analytics (i.e. you don't store personal data, IPs, do fingerprinting etc.)

And, as you might know, you're required to get permission before dropping any cookies that are not strictly required for the core functionality of the site (which does not include ads).

[0]: https://www.nytimes.com/2019/06/19/opinion/facebook-google-p...
So being sent to prison isn't sufficient punishment? The severity of that punishment should be determined by the whims of the prison's management?
I became aware of them watching a documentary upon Hitler many years ago - he was a fan of them apparently. Though wasn't aware at the time and quick dig shows it's not something the health service in the UK offer even today. Alas I can't afford private health care and not had great experiences with doctors, indeed any dealing been disaster on some level that I won't go thru them as it will just depress the hell out of me though the one when the a doctor said the stitches I'd had done was the worst job he'd seen in his entire life and he was a field medic during WW2, kinda gives an idea.

But certainly as a treatment - it has merit and wished was explored more. Just wished known about it at the time.
Not an expert by anymeans, but it takes a long time for those to start producing energy when required (5 mins+). I believe in Australia, the Tesla battery was able to start providing energy in seconds.
it looks like a cool project though what I'd love to see is some solution that makes PGP/Secure Email more accessible to the common person. I know hushmail, tutanota, and protonmail are all around, but still only works if everyone is on the same service.

it's interesting how secure email has been solved decades ago (how to do it) but making it accessible has been an ongoing struggle. :(

Anyone ran across a more tangible solution for the common man?
The point of the article isn't that he should have a chess set.
If you don't trust Google to store your email, I have bad news for you.

You will never escape having some of your email stored on Gmail servers. Most people you email are using a gmail address, whether direct or via forwarding.

End-to-end encryption is your only true ally. In this regard, email is hopeless. I personally feel that all these privacy mechanisms on top of email are a) hopelessly pointless and b) give people false comfort. They do more harm than good. It would be better if people saw email as a plaintext, insecure protocol and treated it that way at all times. Just imagine whatever you write in an email is the same as a message you send out to the world on Twitter. Doing it this way ensures you never send a message you will regret and will guarantee your protection rather than the security theater of privacy mechanisms layered on top of a fundamentally broken protocol.
Yep. It boils down to rehabilitation v. retribution. Rehabilitation is effective at preventing recidivism. Retribution is politically expedient.

And this goes beyond prisons, too. Kinda hard to not turn to crime again if your chances at a career are gated behind criminal background checks that you're destined to fail.
If you've ever been on a wrestling team in America you've showered with other males
> 1. Given you have to learn the language, and, at first, you don't know it - how do you even trust that you're writing a proof right, and that you're not simply writing gibberish ? TDD has code execution as an "arbiter of peace". If, when calling a function, you get an unexpected result, then... you did something wrong.

I write TLA+ specs in the same way I do TDD: first write an invariant or property I know I should half, then make it fail, then modify the spec to pass the invariant.

> If my TLA+ set of rules holds, how do I get confidence that I wrote the right set of rules ?

Ultimately, nothing can guarantee this for us, just as nothing can guarantee we wrote the right code. This is one reason why I'm a strong advocate of spec reviews. Getting another pair of eyes on the spec goes a long way.

> 2. Once I've got a set of rule that I decided to trust, when I implement it and I get bugs (as demonstrated by executable code) ; how do I decide if the most plausible cause is a bug in my code, or a bug in the spec ?

It depends. This has happened to me a couple of times before. In one case, it was because I forgot to include something in the spec. Adding that caused the spec to immediately fail, which corresponded to the executable bug. In another case, I was able to identify, assuming the spec was correct, where the spec-code mistmatch must have been to cause the bug. So I was able to identify the code issue much faster than without the spec.

It helps that specs are usually much smaller than the corresponding codebase, so you can sweep it for issues much faster.
I remember that some facilities were shutdown because their auxiliary power generation units froze. So if batteries would only supply these mission critical apparatus their overall effect can be multiplied.
The Royal Game apparently

https://en.m.wikipedia.org/wiki/The_Royal_Game
This way of thinking has originated with scientific management, also known as Taylorism.
Yeah I’m typically one to evaluate people on their ideas despite any shit in their past but... cold blooded murder is probably where I draw a line
> No, the maximum number of transactions per block is fixed (actually, the maximum size of a block is fixed, but there's a limit to how small each transaction can be).

This has nothing to do with whether the number of transactions will increase.

>No, because of the limit on the number of transactions, the cost per transaction will increase (users have to pay a higher per-transaction fee to increase the chance of it being included in a block, and miners are incentivized to use the extra income from transaction fees to buy more power).

My point was that they seem to be counting overhead beyond the marginal transaction cost, and if they are, then the number they report will fall as the transactions increase. You seem to be talking about how the marginal cost per transaction will increase.
Heckin'! One of my favorite things to see in TLA+ adoption is people making more tools to work with it.
> - It forgets what you've copied to clipboard. Copy something. Insert another row so that there's space for it. Paste. Nothing happens. Huh? It lost my copy. It does this for a large number of operations and it drives me crazy. I've never seen any other program do this.

Try 'WindowsKey + V'.

It'll bring up a list of your previous copies. Not as easy as 'Ctrl+V', of course, but it does save a bit of time. And yes I agree, Excel's Alzheimer's is quite annoying.
You should probably check out Teradici. They even finally published Linux clients.
apologies, you'd asserted a statement that houses are only assets (as amended above). houses can act as assets in an economic sense, but that's not their primary or sole purpose or source of value.
A fix regarding `argv[1]` “reading arbitrary memory as char”
I would push a button and it was taking 1-2s to respond in Destiny 2 playing Stadia in chrome on linux. Playing on windows the input lag is less significant but enough where I can push a button and the action happens at basically a high ping couple hundred ms feeling.

Anything with an online component including things like ESO, an MMORPG, had enough input lag where I could not realistically enjoy playing.
My partner cooked for the very-early Stripe crew, and has shared some of her fond memories from that time with them.

pc - No telling when we'll get back up to CA, but there's buffalo chicken mac 'n cheese on offer :).
I don't know anything about NX, but VNC is terribly slow and outdated. Pretty much anything else will be faster.
This article from 2015 ("The Death of Moore’s Law Will Spur Innovation: As transistors stop shrinking, open-source hardware will have its day") is getting better and better with age.

https://spectrum.ieee.org/semiconductors/design/the-death-of...
Every game I’ve played on this list is amazing. I could add a few more if I booted my console.

I understand the frustration of having to pay to play online, but Sony has definitely made great steps towards making PS Plus a value beyond that.
> the one thing that kills most start-ups

I thought you were going to say taxes and bookkeeping. :D
Thanks, I'll take you up on that! Am just starting at this company, and am totally new to the Vehicle Routing Problem, but will reach out in a few weeks once I've ramped up a bit, and know what kind of questions to ask :)
Batteries are not going to substitute for winterized generation. They are to provide ancillary services such as frequency response (as you mention regarding the Tesla Hornsdale Power Reserve install), previously provided primarily by thermal generators, as well as short term dispatchable discharge (think expensive peaker plants). ERCOT (in Texas) also has a market for generators able to provide black start services (note the grid location of Gambit's install in this article, it sits at the intersection of transmission infrastructure connecting it to thermal generators in the area [1]).

During the rolling blackouts, no attention was paid to avoiding circuits that were powering natural gas compressors and other similar natural gas distribution infra [2] (sidenote: I expect Tesla to do well in battery backing such loads). More distributed battery infra makes the grid more durable, and less at risk for totally black starts [3] [4].

From the city's link to project information [5]:

"Will the battery provide energy to Angelton during a black out or natural disaster?

If charged, the battery can help the local electric system come back online by providing energy to ‘jump
start’ electric generators in the. This service is called ‘black start’ capability; the battery is able to help the
grid come back online after going ‘black’."

[1] https://openinframap.org/#9.18/29.1828/-95.4064

[2] https://finance.yahoo.com/news/giant-flaw-texas-blackouts-cu... (A Giant Flaw in Texas Blackouts: It Cut Power to Gas Supplies)

[3] https://en.wikipedia.org/wiki/Black_start (A black start is the process of restoring an electric power station or a part of an electric grid to operation without relying on the external electric power transmission network to recover from a total or partial shutdown.)

[4] https://www.texastribune.org/2021/02/18/texas-power-outages-... (Texas was "seconds and minutes" away from catastrophic monthslong blackouts, officials say)

[5] http://angleton.tx.us/DocumentCenter/View/3793/Gambit-Energy...
Permanent psychosis camp is an apt description. The US makes its prisons as hellish as possible – and post-prison life as difficult as possible – as a form of punishment, and that results in some of the highest rates of recidivism in the world.

What's worse is that people get incarcerated for increasingly severe crimes. A drug offender spending a stint in prison is very likely to go back in for a more violent crime with a few years of release.

https://www.prisonlegalnews.org/news/2019/may/3/long-term-re...
I use a personal wrapper around the command line for most of my work. It's incomplete and has a few holes, but it gets the job done for me. https://github.com/hwayne/tlacli
> Aside from obstructing access, ISO produces really low-quality standards.

Low-quality standards are themselves an access issue, and I think are reinforced by the paid-access rule, since that means the people reading the standards are a narrower group who is more specialized in dealing with ISO standards, who are more prone to become blind to “that’s just the way ISO standards are”.

ANSI (also paid access) standards such as the whole ASC X-12 suite widely used in industry and a portion of which is mandated federally for healthcare under HIPAA are a complete nightmare mess, too. (And it doesn't help that not only are they paid-access standards, but they often incorporate by reference literally hundreds of other, largely paid access, standards from other bodies, some of which have become obsolete and are no longer available when the standard referencing them remains mandated.)
Does this mean that design features from MIPS can now be adopted / adapted in RISC-V? Or is it just a no-longer-used ISA and chip designs that become freely usable?
>A large part of economics is not empirical at all -- despite the fact that people get Nobel prizes pretending this not to be the case.

I'm not sure which parts of the field or which prize winners you are talking about. To be clear: you think economics is _not actually empirical_, but people are awarded Nobel Prizes for _pretending that it is_? That's a little odd. Let me know if that's not what you meant.

When you look at this list:

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

Who satisfies that condition, in your mind? Who is getting the prize on the basis of pretending that economics is empirical?
Israel and Egypt are always pointed to as recipients of greatest US aid. But that is only because the US military that is stationed in South Korea, Japan, and a bunch of other countries is not counted as aid. And all that military is very expensive, like in the tens of billions or maybe even hundreds. I don't know how much it costs to maintain an aircraft carrier fleet to protect the Arabs from the Persians.
I'm sure it's still a problem everywhere on some level, but not as big of a problem as it is in the US where large swaths of the population don't have sufficient ID documents.
That's terrifying if true. 741 kWh per transaction seems absurd.
I wish I had the power you accuse me of wielding. I hope and wish that in a few decades from now, we will look back in bewilderment how we allowed nation states to have control over currencies to fund centralized operations at our expense.

BTC doesn't concentrate power, it tilts the balance in favor of a just system where value isn't plundered at a whim.
This is clickbait. The authors argument is that the extension has enough privileges to track you, not that it actually does.

For example, uBlock Origin has similar privileges but I doubt the author would bat an eye.

EDIT: I take back my comment :)
For those interested in the topic of microbes living in/on our bodies, I highly recommend Ed Yong's book I Contain Multitudes:

https://www.goodreads.com/book/show/27213168-i-contain-multi...

He is a fantastic writer, and I really enjoyed the book. You might also be familiar with his COVID articles for The Atlantic, which were some of the best coverage of COVID issues throughout 2020.
Global food shortages are coming, I'm just worried that not enough people are taking this seriously.

Inflation may come right after. This is not good.
I remember CS 61C at Berkeley used to use MIPS to teach assembly language programming and a bit about computer architecture, using the original MIPS version of Patterson and Hennessy's Computer Organization and Design. Now that book is available in both MIPS and RISC-V versions, with, I've assumed, much more effort going into the RISC-V version...

I do think the simplicity of MIPS was a big plus there, including simplicity of simulating it (http://spimsimulator.sourceforge.net/). I suppose a lot of students may appreciate being taught on something that is or is about to be very widely used, even if it's more complicated in various ways -- and the fact that one of the textbook authors was a main RISC-V designer makes me assume that educational aspects are not at all neglected in the RISC-V world.
Nah, you're right. That's the quote I see, and probably all he said: https://twitter.com/elonmusk/status/1076613555091234816. Sounds like it's capable, and the plan on Moon and Mars, but not on Earth.

Must have been others speculating on the Starship test plans.
> pumped-storage plant

Seeing the title, I jokingly thought of generating hydroelectric power off a dam, and storing excess power by pumping the water back up, Sisyphus like. I'm very surprised this is actually a thing.
> If you do what AWS does and create some artificial "compute units" as a sort of fungible measure of processing power, what you'll find is that the sweet spot for price per compute unit is a medium power system.

At least when I look here the costs are linear.

E.g. c5.2xlarge is double a c5.xlarge, and a c5.24xlarge is 24 times higher than a c5.xlarge.

https://aws.amazon.com/ec2/pricing/on-demand/
I think you can assume all sorts of analog/physical/digital/information theoretic fingerprinting probably has been used to capture huge volumes of data and microtarget people w/o them knowing (especially in any web browsers or phones).

Though until the CCPA/GDPR, it was probably fairly legally nebulus. Still waiting for a privacy act in the US. Since it was a wide variety of actors, we may never know who captured what how.

I think companies like Apple who tend to make margin on the hardware and not the information probably are to be commended by pushing a lot of privacy/extra scrutiny requirements through the platforms they control (iOS, mac, webkit, etc).
Standards should be myriad and have benchmarks.
Sometimes, the FDroid client errors out. Some steps I generally found helpful to fix this issue were:
- Refresh the repos (pull down to refresh)
- Reduce the caching thresold (Settings => Other (Bottom of the screen) => Keep Cached Apps)
- Wait for a bit then try again

You can also always download this directly from the browser.
I personally use keepass, but could make a case for why one would prefer a subscription tool over Bitwarden:

I feel confident that I could look up a few articles and self-host Bitwarden on either my raspberry pi at home. If not at home, then I might pay for a DO droplet or something, and at $5/mo that's back to $60/yr already, might as well just pay and have the whole thing taken care of for me, besides downloading an app and logging in. That's assuming I have the technical familiarity. If I don't even have that, I'm probably not likely to care or even know if my tool is proprietary or open source.
Binding legal precedent is often paywalled to read too.
This is really going to help Wally's quest to GM. Playing blindfolded is one of the best training tools in the box. They'll get better at being able to see deeper and deeper without needing to touch the pieces on the board.
> more important to distinguish that nothing good or important has come of Ethereum though

I mean, Ethereum has the second largest marketcap of all cryptocurrencies and it feels like 80% of the research & development either comes from Ethereum directly or close-by ecosystems.

To say that Ethereum is Dave & Busters tokens when compared to Bitcoin is funny, since every single cryptocurrency is magic internet money anyway.
Aside: Joel Spolsky's now famous talk about Excel is a must watch for anyone that uses Excel but hasn't been arsed to actually take a course in it. Even for Excel haters out there, the talk is very much worth your time today.

https://www.youtube.com/watch?v=0nbkaYsR94c
Well, sometimes I like to watch a mindless show. I think it's okay to binge watch every now and then. What is wrong with a little escapism? After spending my whole day learning and implementing new things, my brain needs a break, my body needs a break. Obviously, if you're spending more time binge watching, and not showering or eating, you might have a problem. But as with everything, moderation is key.
Thanks for the information! That game is definitely bigger than I thought. (I knew it was solved, but I'd wrongly imagined it was solved by complete game tree search.)
This is only a near miss story if you adopt a certain moral, ethical, and egotistical framework which says that sailing close to the wind trumps common sense ethics if you can get away with it.

It's the sort "near miss" that Allan MacDonald would have avoided on first principles.

https://news.ycombinator.com/item?id=26380822
But doesn't capacity imply some kind of fungible unit, whereas outputs of intellectual labor tend to be non-fungible?
Yes, you have to do the opposite of what the government did (printing more cash): remove money from circulation. The Zimbabwean dollar ceases to exist, regardless. They have adopted forex, usually ZAR and USD.

My main point is that fiat currency implies trust in some entity. Zimbabwean vendors have chosen to trust the South African and US governments.
Ask HN: When has metadata ever worked?
Cory Doctorow’s metacrap essay is legendary, but I wonder if it might be a touch too nihilistic. Are there some standout examples of where Cory’s meta-pitfalls have been successfully overcome? What have we learned?
Getting the Sega Seal of Quality by making all bugs appear as secret levels
Tycho Forecast – create a playlist inspired by your current weather
Actually I think batteries will be the cheapest option for a very long time. They can be produced at a much higher scale than today (I wouldn't be surprised if we see 10x the production in the next five to ten years and consequently prices below $30/kwh) and they can be setup incrementally. Most alternatives are fixed-size all-or-nothing affairs. Oh and the biggest downside of batteries, their low energy density doesn't really matter for stationary storage.
>went from sporty type to not being able to do any sports

Can you elaborate on this? I'm curious as to the general details.
Not entirely sure what @numba.jit is doing here as I haven't used numba - is it compiling to native CPU code? Another approach to speed up GoL would be to use a lookup table. 2^9 entries. It's kind of like having the sum pre-calculated. Using the lookup table approach with @numba.jit would probably be even faster yet.
> I don't think that word means what author thinks it means.

I read that to mean the court didn't look at individual cases with much consideration and just handed out jail sentences to everybody involved. What do you think the author meant to say?
> But it shows that the app store liberation movement is able to build political majorities and overcome Apple and Google's counterlobbying.

Leaving aside anything factual, I really hate these rhetoric tricks.

We're talking about interest groups funded by corporations with incentives for some rules fighting against other interest groups funded by corporations with incentives for the opposite rules.

Calling one group a "liberation movement" and the other a "lobby" feels super dishonest.

This is something you often see in mainstream media too. Usually the easiest way to know which ideology a journalist is biased towards is to ask "Which side do they describe with the same lexicon they would use if they were talking about the Rebels in Star Wars vs the Empire?"
Gold is a terrible medium of exchange. People would continue using dollars for a long time because they still exist
bacteria species living in the human gut makes sense to me.

But what does it mean for a virus species to be located in the human gut? constantly reinfecting new stomach cells as they are generated? infecting the bacteria in the gut?

edit: I saw another comment recommending "I Contain Multitudes" so I figured I search it for "virus" (thanks libgen) and found this:

"There are viruses too, in unfathomable numbers – a “virome” that infects all the other microbes and occasionally the host’s cells."
Link to a screenshot that shows relevance?
Legendary Lands: Umberto Eco on Great Maps of Imaginary Places and Their Appeal
“Often the object of a desire, when desire is transformed into hope, becomes more real than reality itself.”