skysight-inc/HackerNews huggingface dataset:
is there such a thing as “liberal low-information voters” and if so, what bad policies were enacted as a result of such voters? Or is this just a high-brow way of saying “the people who disagree with us are stupid”?
Yeah it should perform way better than it does currently. There is a driver bug for Nvidia cards that causes it to run slowly and poorly.

It is extremely frustrating.
> I'm asking out of practical curiosity, what do you actually use for that?

I have used all three I gave you in my previous comment

(all my critical services now all use U2F though, which is vastly superior)

> Google authenticator only works on one device

you can scan the qr code on more than one device

you can also print the qr code out (or write the key down)

you can also export the entire list to another device inside google authenticator

no need for online storage of anything
Fern: A cross-language alternative to tRPC
_Showing is better than telling:_ Here's a Loom if you want to see a demo of using Fern + Express: https://www.loom.com/share/31f4243c4d824c54938bdc4840fbb8ba

Hi HN,

I'm a huge tRPC fan because it subtly forces you to practice schema driven API development. You start by defining your API (using zod), and as a result, you get awesome autocomplete in your IDE.

However, there are a few things about tRPC I don't particularly like:

1. It's for TypeScript backends only! Sometimes I want the same value prop as tRPC but I need to write the backend in python (e.g. for ML applications).

2. It's for TypeScript frontends only! tRPC gives you a TypeScript client out of the box, but no other languages. You can go tRPC -> OpenAPI, but the OpenAPI-generated clients are pretty bad - definitely not up to the bar of what I'd show to a customer.

3. The wire format of tRPC's requests are pretty bonkers. They eschew normal REST conventions, so it's pretty painful to interact with tRPC from curl, Postman, and other languages besides TypeScript.

Fern is similar to tRPC but for cross-language development:

1. Define your API in a simple format - similar to OpenAPI but much easier to read and write.

2. Generate server boilerplate - very similar to the tRPC experience, but we support Express, FastAPI, and Java Spring. Here's a Loom if you want to see a demo of using Fern + Express: https://www.loom.com/share/31f4243c4d824c54938bdc4840fbb8ba

3. Generate client SDKs that are actually good. The initial spec is purpose-built for code generation, so the resulting SDKs are actually production quality - e.g. FlatFile uses Fern for their Node SDK! https://github.com/FlatFilers/flatfile-node.

4. Work with your favorite tools! You can easily generate an OpenAPI spec and Postman collection as well.
> I think that, for any reasonable definition of "it just works", it would clearly refer to essential functionality

Really? I always heard it as something more like "we've thought of everything, all the details, and you don't have to fiddle with our products like with Windows." I think essential functionality is always implied, with any product, but with Apple, it seemed like their promise was for a higher level of user experience than that.

Acknowledged that this is an old marketing statement (I believe it was a Jobs-ism, which dates it), but please look at the context of the thread.
China's building massive amounts of underused housing. US boomers could have built long-lived buildings and infrastructure (high-speed trains) which provide usefulness to people later in exchange for them paying some money for retirees.

Instead, they built ever-decaying roads and rotting ticky-tacky boxes and left nothing durable for future generations. Hell, they even ripped out trains in cities across the country. (Seattle interurban among so many examples).
> those 2FA desktop apps should not exist in the first place

They can exist but they should be called what they are: 1FA ; )
No the trickier problem is that without dependent types you are forced into a very specific, linear chain of validation or else deal with a combinatorial explosion of functions and types.

To take your type as an example, you could imagine a function

validation : String -> Maybe FinalWidget

but maybe `validation` is really big and unwieldy and you want to reuse parts of it elsewhere so you break it down into a pipeline of

-- Let's say a RawWidget is, operationally, a non-empty string
validation0 : String -> Maybe RawWidget
-- Let's say a RefinedWidget is a string consisting only of capital letters
validation1 : RawWidget -> Maybe RefinedWidget
-- A FinalWidget is a non-empty string of capital letters that has no whitespace
validation2 : RefinedWidget -> Maybe FinalWidget

This is over-constrained. You don't really want to force yourself into a scenario where you must call validation0, then validation1, and finally validation2 because maybe in another code path it's more expedient to do it in another order. But the types don't line up if you do it in another order. And maybe you don't really care about `RawWidget` and `RefinedWidget`, but you're forced to create them just to make sure that you can build up to a `FinalWidget`.

This is where dependent types would really help relax those constraints.
Please don't swear this is a childrens website
Yeah, my phrasing is probably unclear. I meant to give examples of applications of formal semantics (huddling everything together). I should probably sleep instead of commenting on HN :)

But it is my understanding that Rust's ownership traces its roots back to both linear logic (well, affine logic) and region-based resource management, both of which have formal semantics.

I haven't followed what got merged into GHC, but I remember seeing demos (and a paper) of a Haskell supercompiler during a conference many years ago, so it is something.

In my sleep-deprived brain, supercompilation is directly related to algebraic effects (although probably not in Haskell itself), which are themselves related to category theory. I could be wrong.
Democracies are weird. Many of the most primal problems of mankind are solved. The rule of law is (in theory) impartial, citizens have property rights, etc. etc. There is free press.

Most people living in democracies don't really understand - or just don't think about - how good they have it. At the same time, the human brain is wired to react strongly to outrage. Living the sweet life in a democracy, and with less valid things to outrage about, the brain is vulnerable to outrage exploitation about manufactured controversies, like who must bake a cake for who, or whether this statue or that should be allowed to stand in the park. Social media hostility and polarisation flourish.

But when the chips are down and democracy itself is at stake, people wake up and start thinking more rationally about the things that really matter.

Case in point from a news article this morning - Ukraine is normalising LGBTQ attitudes rapidly because suddenly their democracy is at risk. And suddenly it seems more sensible to have your LGBTQ neighbour alongside you in the trenches rather than hating on them because of your weird religious hangups or whatever (https://www.politico.com/news/magazine/2023/03/07/russias-wa...).

So perhaps democracy does indeed shoot itself in the foot, but perhaps also the system can be self-balancing when things finally go off the rails or a threat from outside arrives.
It's an easy way for them to become "the everything store" without risking anything but their brand (and in Amazon's case warehouse capacity).
Adtech veteran here. That's not how the industry works.

All ads on major DSPs already require approval before they can run. Advertiser accounts too, especially at scale. While there are plenty of technical openings for fraud and malware, the vast majority is from known actors that can be resolved through business practices.

A trillion-dollar megacorporation with hundreds of thousands of employees has more than enough resources to handle this. The reason it doesn't is because of the flow of money and incentives across the vast supply chain from advertisers and agencies to vendors and publishers.
It’s not precedented, wise, or even realistic to expect all of civilization to live in cities surrounded by unspoiled wilderness.

Highly efficient low density housing has a place. So does high density housing.

Everything you say about improving urban development practices is valid, but doesn’t mean that efforts to improve suburban/exurband/rural development are problematic. They’re all inextricably part of the future and they all have their own development needs.
I used to patch command.com to display a different initialization message.

I thought I was l33t.
Russia seems to have indirectly lost out from its leader convincing himself he's a political mastermind who can get other countries to dance to his tune too...

(and as far as Brexit goes they undoubtedly funnelled a lot of money to certain campaigns, but Mail/Murdoch coverage of the EU in the UK was just as hysterical in the 1990s when Russia was a non factor)
I had an NT4 workstation, a hex editor, and no internet connection at my first job. I spent a lot of time modifying the text in explorer.exe, calc.exe, and other apps. It was a lot of fun and definitely helped me understand the tip of the iceberg regarding how hex editors work.
A lot of it seems to come down to very, very agreesive regulation. Eg, plant designs got approved, work started, then the regulators came back and said "actually, you need to make some major changes to the design", so everything paused and some completed work was torn up, new designs were made, approved (slowly), and then work restarted from scratch. Then it happened again. And again.

The changes weren't bad per se; in one case the regulators decided that the plant needed to be resistant to aircraft impacts; in another that it needed to be more resistant to tornados. But when you have a fantastically complex and expensive engineering project, going back and requiring retroactive changes after approval and after bg has already started is going to blow the budget to hell. And it did.

From the Federal Register notice for the aircraft impact change:

> In making these additions, the NRC is making it clear that the requirements are not meant to apply to current or future operating license applications for which construction permits were issued before the effective date of this final rule. This is because existing construction permits are likely to involve designs which are essentially complete and may involve sites where construction has already taken place. Applying the final rule to operating license applications for which there are existing construction permits could result in an unwarranted financial burden to change a design for a plant that is partially constructed. Such a financial burden is not justifiable in light of the fact that the NRC considers the events to which the aircraft impact rule is directed to be beyond-design-basis events and compliance with the rule is not needed for adequate protection to public health and safety or common defense and security.

That sounds pretty reasonable. As the US government said, applying this rule where existing construction permists exist could result in "unwarranted financial burden" which is "not justifiable" and because the rule is "not needed for adequate protection". It's just a "hey, if you haven't started building yet, why not make it extra super duper safe?" rule. And why not!

But the Georgia plant, at this point, didn't technically have "construction permits", but it did have certified designs, and signed firm contracts for engineering, procurement, and construction, had already submitted its certified costs and schedules to state regulators, and begun manufacturing long lead time components. The cost impact was enormous, but they were still required to go through it.

This regulatory environment is excellent for ensuring that nothing dangerous gets built, because nothing will get built. Is that wise? I suspect not.

See:

https://www.ans.org/news/article-1646/root-cause-of-vogtle-a...

https://www.reuters.com/article/us-toshiba-accounting-westin...

https://atomicinsights.com/nrcs-imposition-of-aircraft-impac...
All financial savings are an illusion. They are just claims on productivity of other people in the future.

Boomer generation globally accumulated a lot of claims and considered them their "wealth" but forgot to produce enough people that are going to be willing to put an effort to satisfy these claims.

Now is the time when boomers will want to use their savings and discover their error.
>Use your keyboard arrows to view the story!

closes the browser tab on their phone
What does this mean exactly? Like we should be forcing people to move into big cities? What about all the people that don't want to live that kind of lifestyle?
> Every president, be they socialist or liberal, have attempted to tackle the issue, only to get country-paralyzing backlash. People will nitpick the details of whatever current plan proposes, but the fundamental problem remains.

The Touraine Law in 2014 raised the number of worked years from 36 to 43, which is a big deal. So it's not like nothing happened. Also there are good reasons to dispute the current proposal, it's not just nitpicking details, it will impact very negatively some people and perhaps there are other ways to fix the system.
Algol 60, Algol W, and Algol 68 were influential in the historical development of subsequent programming languages. C gets its type on the left order from the Algol family.

Pascal, Modula, and Ada are all type on the right languages and were also very influential in the historical development of programming languages. I happen to prefer types on the right for complex declarations. Note that Pascal and Modula were designed by Niklaus Wirth after he created Algol W; it seems he preferred types on the right.
> websites should be held responsible for the data they serve

Isn't this exactly the root of the section 230 debate?

> the box breaks open and a 20 lbs pan falls on my foot breaking it.

Insurance would cover it. If it keeps happening then costco's insurance premiums will be higher or they may be dropped as a customer.

I wonder if they'll try replacing 230 with something along these lines. Imagine having to get insurance in order to host a publicly facing website. Imagine not having insurance because you're just hosting a simple blog. Imagine someone accusing your site of giving them malware. What needs to be proven? By whom? Does someone have to pay for a forensic analysis of all systems involved? Is the alternative just settling out of court? Would this be abused?

This seems like a much more convoluted hell of a system. I recommend, if you don't trust google, don't use google.
I wonder whether one would be able to do passive sound reconstruction using the laptops camera, sice it isn't being deactivated. I guess you would only be able to extract sounds lower than ~30Hz if the camera records at 60Hz, but that should be enough to detect steps for example. Not that this has real privacy implications, but I think that would be a fun way of disproving that no sound can be recorded.
It was falsely sold to the populace as improving the economy, NHS, etc., so in the sense that it's about anything at all, improving the economy has to be considered.
This is harder than it seems. The way we are doing with Robin (Reviewpad's AI Reviewer) is by feeding it context about the PR and results from our static analysers and allowing the developer to prompt directly through the PR comment. For example, https://github.com/marcelosousa/robin-preview/pull/2
I think it's fair game to try to build a product and tell people about it in a healthy way. The person has made some content that you found enjoyable enough to consume until the end. Giving you a prompt on how you can find more doesn't seem dark at all to me. If you aren't interested, no big deal -- you just close the tab like you would have anyway.
Bach again: “Bach in the Subways” returns to BART after four years
author here.
Next steps would be to define with great details what the actual customer needs are, through diligent customer research, and identifying untapped opportunities.

I don’t know if those currently exist for dishwashers. But in general, you’re looking for pain points that have been ignored by the market because nobody has fully grasped the picture of the customer needs before. In that way, frameworks like Jobs-To-Be-Done or customer personas, while they may seem very “mechanical” offer deterministic disciplines to maximize the chances of encountering fresh insights and thus build innovative solutions.
My impression is that since around 2020 Signal devs have been trying as quietly as possible to tell people that the service can no longer be trusted and everyone should switch to something else. First they started keeping sensitive user data in the cloud which upset and alienated a bunch of users, they've also refused to update their privacy policy to reflect that fact, then they added the weird crypto thing which upset more users, and killing off the ability to handle SMS/MMS as well as secure communications, one of their best features, seems like yet another attempt drive away users. Maybe going years without fixing important features with known vulnerabilities is just another hint being left to ward off anyone who really needs their communications secure.

I loved signal and recommended it to many people over the years, but I ditched it after they started collecting and insecurely storing user data in the cloud, and I'm still disappointed in what it has turned into. The folks behind Signal had a great project once and I hope someone outside of the US steps up to give us a real replacement one of these days.
They had reduced costs within each generation but the costs between generations increased wildly.

They never saw any kinds of economics of scale.

Have a look at Figure 25 here and add Flamanville 3 waaaay beyond the end of the scale at $12 000/kWe

https://www.oecd-nea.org/upload/docs/application/pdf/2020-07...

https://en.m.wikipedia.org/wiki/Flamanville_Nuclear_Power_Pl...
You have fallen into a trap. You are informed enough to be concern-trolled by fossil fuel propaganda, but not well-enough informed to realize it. Many battery technologies need no fancy metals. Even lithium is optional. But lithium, even if we have to get it, has an environmental footprint far smaller than fossil fuels production. Other things that have dramatically larger environmental footprints than lithium include soap and table salt.
Who are the unconsenting others? The people who chose to trust a Google ad?

I'm not sure what consent means if it doesn't mean "user clicked on a result after asking Google for results." The backstop here is the user doesn't come back because they got screwed by Google, not that some third-party makes that decision for people.

But yes, I suspect if Google can't get on top of this problem they'll lose their leadership position in search.
I don't think you read the article. It's about deploying resources onto k8s with ansible, not deploying or maintaining k8s.
It seems like unfortunately many governments have proven incapable of responsibly handling the money. In the case the government is entirely incapable of handling the money I'd at least see the worker get that tax waved to have something for whatever meager existence is left with the money.
> Suburban developments in the US are often in food deserts. There's usually nothing within walking distance and if there is it is prohibitively dangerous and unpleasant to walk there.

Is there data to back this up, particularly the "usually" part?

Having nearly always lived in suburban areas (a few times rural), food shopping is nearly always within an easy walk. I'm sure there are some cases where this might not be so, but I doubt it's the norm. For rural areas, sure.
Energy efficiency is always good, and I'm glad the government is incentivizing it.

A passive house can have 10% the energy cost/use of a regular "code" house. Even off grid, this can immensely help in the size of your battery required.
Why does this tool exist in an interactive form? Just do the thing and compile the code, and if that works check it in.
"Did you know I'm related to Benjamin Franklin?"

"Cool"
Let them pay the $20,000 in rates they will without subsidies from the inner core.

The free market will sort it out in short order.
These days, Microsoft requires model-checking proofs before accepting new device drivers. That's their secret weapon that finally got (mostly) rid of the BSOD.

I suspect that Apple is also using model-checking at various layers, but I have no proof :)
There is no right side of history. History is a set of lies that people have agreed upon (attributed to Napoleon).
I agree, and it will stay true for a long time.

Two issues, the first one small and improving : the smelting is energy expensive and does polute a lot. We're improving fast though, now that material scientific research got more credits.

The big one: as we use more and more minerals, it's harder to find ore as easely accessible or as concentrated. If in the next decade we manage to build tidal/solar mining rigs, I'll be more optimistic about the future.
I wouldn't discard the capabilities of the LLM. I've been using it to do relational reasoning of Java comparators and it is surprisingly accurate. https://twitter.com/marceloabsousa/status/163289383288582963...
We already have solutions in place being implemented in the next 10 - 15 years for electric cars and car-based carbon emissions. So carbon based commuting is going to get fixed.

People in the U.S. won't be living in dystopian China-style 40 floor housing anytime soon, in ways that is sounds like you're hoping for with dense city living.
Man, this is so reminiscent of Elizabeth Warren being excluded from leading the CFPB.

Corporations really don't like being regulated by outsiders when they know a lot about their business and are hard to bamboozle.
Note that the authors compared blood erythritol level, not _intake_. Erythritol is also a metabolite, which is produced by the pentose phosphate pathway, and has been associated with metabolic dysfunction before.

Check out this thread: https://twitter.com/Dr__Guess/status/1630548194907021313
I recommend: ChatGPT Is a Blurry JPEG of the Web by Ted Chiang

https://www.newyorker.com/tech/annals-of-technology/chatgpt-...
valid point, preferably don't have the passwords on the phone at all

on ios/android apps a least the walled garden plus universal sandbox makes stealing credentials quite difficult

vs. randomly downloaded .exe files on windows being able to take everything instantly
AMD's Motherboard Support for 24GB and 48GB RAM Is Wonky
Honestly, our system works really well for 90% of people. Look into it.
Longer jail terms for viewing terror content online (2017)
Add the —no-verify flag when working out of your cave.
Ah, I forgot the cycle-detector.

Thanks!
I like the old Softlayer / IBM Cloud cabling scheme: dual 10Gbps to TOR (red)and BOR (blue) and the 1Gbps green cabling into the IPMI. Here's a pic: https://newsroom.ibm.com/IBM-cloud?item=32774
Perhaps those who lean liberal but dislike nuclear energy?
Brexit was always going to be economically harmful to both the UK and the EU. I voted Brexit because I objected to the EU on political and economic grounds. Boris's lot were the last people I wanted to take us out; but I didn't think we'd ever be given another chance to get out, and I figured we could recover, in about a decade, economically. If we stayed in, we'd never recover politically.

I didn't know it would coincide with two other economic challenges: COVID, and Ukraine. Disentangling the effects of those three events is like trying to decode entrails; and anyway, I think "it's too early to say" (Chou Enlai).

I have no Bregret.