skysight-inc/HackerNews huggingface dataset:
Dependently typed languages may fit what you're asking for. See Idris and the book Type-Driven Development with Idris for an example of encoding critical information into the type system.

Beyond that, see SPARK where you're limited to a provable subset of the Ada language (the subset has been extended with each version) so you can make assertions and it will attempt to prove (as part of compilation) that the assertions hold. As in, you could have a function that should always return a non-negative integer, but if it does something like (not fluent, so may be wrong but the principle is correct):

function Foo(A : Integer; B :integer) return Integer with
Post => Foo'Result > 0;

function Foo(A : Integer; B : Integer) return Integer is
begin
return A - B;
end Foo;

This should fail when the proof checker is run on this program.
doesn't esp8266 have wifi built in?
Two simultaneous connections unnecessarily drains the battery of whichever device is not currently being used. It would also provide an inconsistent user experience when using more than two devices (say an iPhone, iPad, and a MacBook). I can see why Apple prefers to make actual switching as seamless as possible rather than support simultaneous connections.

Do you have to choose which device you are listening on by interacting with the headset, or is there a way to toggle that from the source devices?
Sure, it's against the TOS, but I've been using an external client for probably 2 years and haven't been banned or warned. If Discord are aware then they've explicitly chosen to do nothing.
I'm really disappointed that JWST doesn't support visible light imaging. Maybe there's better science value to non-visible light sources but for PR it is great.
It's just a simplification, many people experience dyslexia differently, but for some people with dyslexia that may be a good way to describe to someone what they experience. It's not actually a medical diagnosis, though can achieve the qualifications to test for it, it's a learning disability that doesn't have a well understood physilogical mechanism behind it.

For me I was slow to learn to read, and was in remedial classes until halfway through elementary school, but I was eventually able to get it down and am now a very active reader with an average reading pace. Spelling was the issue that never went away for me. When I try to spell a word I can remember the general set of letters it's composed of, but knowing the precise order, or if a word ends in one or two ls, are things I really struggle with. I'm constantly having to look up the same words over and over, It just doesn't stick.

My first job was a short term remote developing contract. My coworkers thought I was foreign for the first few weeks because of my poor spelling in code comments. It's better when I have access to good spelling or grammar checkers, but often times I misspell a word so completely that even the software has no idea what I'm trying to say. I also still mess up you're/your and their/there/they're all the time. In my head words are auditory not visual, so I have to put extra effort into resolving homophones.
When I see "no code on disk" I see that as a downside. What happens when this generated code has a bug? How do I set a break point in this code? How do I see the code to know what it is doing?

Extending the compiler is great... until it isn't. Imagine a feature in java the language not working correctly due to a compiler bug. Debugging or working around this issue could be very difficult. With compiler extensions, you are now widening the opportunity for this type of bug to occur.

More principled code generation systems like Racket's macro system do in fact let you expand the code to see what's generated while avoiding having a separate build step, and even have a macro debugger for interactive debugging. Mainstream languages have a ways to go before we get this kind of tooling for language extension frameworks. Until then, I think I prefer having a separate build step with on-disk, visible, and debug-able code.
An open-source CI/CD tool flow.ci
"Given enough projects, all eyeballs are elsewhere."
What is "impractical" about "shut the whole website down"?

When it was discovered that tetraethyl lead was widespread in the environment and caused neurological damage, it was banned. Yes, that materially harmed several chemical companies whose livelihood was based on producing tetraethyl lead.

So what?

If your business model harms people, I don't care if stopping harming people eliminates your business. People matter. Businesses do not.

Are we supposed to just go, "Yeah, we know Facebook is harmful to millions, but won't someone think of the poor shareholders?" Then shrug and accept it?
Sounds like a solid case to use std::string_view.
if 2DS was foldable I would buy it instead of 3DS. Didn't really care about the 3D.
> Facebook by its nature takes stances on deeply political topics

I use Facebook to say in touch with old friends. If they want to share last Tucker's video, not sure why FB should block them if I don't block them.
Hover and AWS Route 53 don't do this either. It's just the GoDaddy scumbags, and same (GoDaddy jacking a searched domain name) has happend to others I know.
Fast eats like this are total rubbish in the UK. Don't know why. SF is so much better. Walk downstairs, grab a quick sandwich at Working Girls, or Specialty's (now dead), or Chipotle. Pret is like 7-Eleven food. Probably for the best that it dies.

Fortunately, lots of food carts out in London that'll benefit.
> I don't think that's what people want from their social networks nowadays. FB, Twitter, YouTube, TikTok, Snapchat, etc all do not work this way anymore.

They don't work this way because it makes shareholder's the most money, not because it is the best experience for the user.

> Advertising plays a very small part in this. Most of what you would call "disinformation" is spread through reposts, which are not affected by advertising.

A completely false ad about a candidate of a different political party is much less likely to be called out or reported because it is only shown to a highly targeted group of people. This lack of accountability creates disinformation. These ads could not be ran as a billboard advertisement or in a non-personalized ad space.

All of the counter arguments always come down to this: Facebook would make less money. And, yes, of course that is going to be the case because if any of these changes would make them more money they would have implemented them themselves. It requires a public corporation to accept that they are making the world a worse place, and to choose to make less money to stop doing that.
It's in a different field, and I'm being very tongue-in-cheek - but the Twenty-Seventh Amendment to the US Constitution has it beat.

https://en.wikipedia.org/wiki/Twenty-seventh_Amendment_to_th...
Internet? I can get all of that from the dude sitting in a wheelchair outside my coffee shop. (Pre-Covid, at least. Hope he's doing okay.)
Because it’s not a problem:

> https://www.energy.gov/ne/articles/5-fast-facts-about-spent-...

It’s the best waste we have due to being solid and extremely compact and it can be recycled by 95%:

> https://www.anl.gov/article/nuclear-fuel-recycling-could-off...
> Do you also shout loud when Microsoft set a precedent for shutting down products and services?

Relentlessly. If you get me talking about MS you won’t be able to get me to shut up.

They’re a bully who was never broken and that just invites more bullies.

Whatever tiny power I have to prevent another Microsoft from ever happening again, I will happily use it, and proactively. I think you’ll find that some of the “unfair” venom FB, Google and Amazon get is from people who feel the same way. Take them down a notch while they’re still in arm’s reach.
How does one disentangle interruption of medical care due to nuclear emergency from interruption of medical care due to tsunami?
Hate to say it, given that I've been using Firefox as my browser since before it was called Firefox, but I think Mozilla is done if they can't find a way to monetize these services. There's just a complete of leadership. I hope there's a non-Mozilla fork of Firefox that keeps it going. A big challenge I know but Google gets all your data once Firefox is dead.
This is Jonathan Blow's goal with his in-development language Jai, see for example this video:

https://www.youtube.com/watch?v=YGTZr6bmNmk
Just how big are Internet Archive’s servers? I can’t fathom how they’re able to store so much of the web in so many versions.
Really sad to see transfer.sh go. It was an extremely useful service for sending files to people, like Firefox Send but with fewer limitations, and didn't require signing up for an account.

Obviously it's extremely difficult to keep a service like this running indefinitely, but it's obviously of great value to many people. Maybe one day we'll be able to work out a successful method for community funding of services like this.
I presume bandwidth and storage are the main concerns since I doubt compute dominates in this kind of service.
The main problem with "nuclear waste" is that it is not waste at all.

If it is sufficiently concentrated in Pu238, then people might want to steal it to make bombs with.

Current LWR(s) use about 1% of the energy in the fuel.

Burying the waste in Yucca Mountain is like buying a gallon of gas, filling your car with a thimble, then carefully trying to store the rest of the gas so it doesn't ever get burned up.

The one reason we were going ahead with Yucca Mountain was a matter of "cutting off our nose to spite our face." That is, if we recycled nuclear fuel, somebody might use the recycling plant to make materials for nuclear weapons. If it wasn't for that policy of kneecapping nobody would have once suggested that we bury perfectly usable nuclear fuel.

People are slowly waking up to notion that burning carbon is slow motion suicide, so maybe policies will change.
Some journals have the date of submission and the date of acceptance in the paper header for this reason. Unfortunately, it is not a common practice.
Is it increases in obesity a Coronavirus lockdown fault ?
There’s two different types of “management” being discussed. One being the modern approach of fire suppression. The other, the one taken by native Americans, involved annual burns which did not make the situation worse and in fact kept things in check.
I have only one domain on namecheap, but since a few month I cannot access it any more. There is a captcha service (hcaptcha) before it which totally locks me out.
Where would you recommend searching?
You can write code to do that in your process_record_user hook, but it's probably going to be flaky. I would just use a modifier other than shift; people tend to call them "raise" and "lower" and just change the layer. That way everything is in control of QMK.

The disadvantage of using layers is that you can't press the layer-activate key on one keyboard and then press your key on another keyboard. With shift (and OS-level modifiers) you could technically do that. But it's a weird case that probably doesn't come up very often.
Worry Dream
That was my point of view when I considered myself a libertarian. If you actually give the stuff a chance and read it - it’s just facts, often untold and unknown. It did shift my views far to the left, but the only thing holding me back from that was ignorance of the truth.
The context here was for the Switch, where emulation is not a problem but a very wide screen is.
because humans are halting oracles
I don't think this comparison works at all except through Godwin's law. Nobody argues that, say, Walmart store clerks bear personal moral responsibility for their company's decisions.
Why even bother at this point? PGP encryption in email is... not a good way to do secure communication.
Rust is scam. Stay away.
But they don’t lose the liquid coolant - which seems like a pretty reasonable scenario.
> extension points to the way engines are implemented that could better enforce boundaries

Can you expand on that? I'm not sure I follow.
It's a data warehouse engine, for running SQL queries, hosted on cloud EC2 instances and s3 storage (and Azure, etc. equivalents).

It's like Vertica or Redshift, or older examples like Teradata. It runs on a cluster of machines which process queries and data loading, etc. in parallel, for a read-heavy workload.

It offers some ability to scale up and down, and to throttle CPU independently from storage.

But it's not cheaper or faster than other products, which makes the scaling somewhat moot.
The DNSimple API for updating records makes me super happy. Easy to roll your own little DDNS script or to have proper domain names set in your Heroku Pipelines builds and test apps.
https://en.wikipedia.org/wiki/Iodine_pit
You're right! Luckily files have a maximum lifetime of 1 day, which helps with storage. Almost no computing needed. Expensive en/decrypting operations are done on the client.
Reminds me of Let's Encrypt issuing 90 day certs instead of 1+ year so that you're forced to find a better automated solution and not have a panic when your cert expires in 5 years
Every Google product I've used has had hilariously awful recommendations.

For a company that has so much of my data and indexes the entire internet, it sure is surprising how bad they are at recommendations.
ESP8266 does, source, have several and:

https://en.wikipedia.org/wiki/ESP8266
Even without considering the amount of energy produced, it’s nothing.

The US has accumulated 83.000 tons in decades. Compare that to the billions of tons CO2 that coal plants blow into the atmosphere.
Thanks, I knew it was some permutation of those words.
David Graeber: Debt the First 5k Years – Talks at Google
The secret, troubled history of the military’s ‘pain ray’ weapon
> Facebook doesn't profit from divisiveness, they profit from engagement. The fact that divisive posts encourage more engagement tells me more about people in general, rather than Facebook's business model.

"Crack dealers don't profit from drug addiction, they profit from the pleasurable effects of consuming crack. The fact that very addictive drugs are pleasurable to consume tells me more about people in general, rather than crack dealer's business model."
That "limited and specific" thing, it's been going on a while... I found something funny on wikipedia the other day:

Ad extirpanda (named for its Latin incipit) was a papal bull promulgated on Wednesday, May 15, 1252 by Pope Innocent IV which authorized in limited and defined circumstances the use of torture by the Inquisition as a tool for interrogation.[1]

"limited and defined circumstances"

It actually goes on to enumerate those defined circumstances, but I can guess how it turned out in practice.

https://en.wikipedia.org/wiki/Ad_extirpanda
Shouldn't the hospital have been able to treat the patient without networked computers?
Rand wrote fiction novels, and Marx was - irrespective of your views on his output - a well respected philosopher and well known, if controversial economist.

Equating the two is... super off base. Crucially, you can make any point you want when writing a novel, since you set up the world and the characters and get to choose the reactions of everything. Marx at least wrote about the real world, and our ability to critique that work rests at least in part upon its claims about the real world.
Hey, I think we’ve had a good understanding of renormalization group for at least a couple of decades! It might have been considered a hack before that, but I think by now we appreciate exactly what role it plays, and how to exploit it to the best of our abilities (Eg: effective field theories). See my other top-level comment for an interpretation.

Btw, what was your thesis on? :-) PS: My thesis also touched on some of these ideas, but from the hep-th side.
How we moved to GitHub-based Kubernetes config management
I think Open Office and Libre Office have some contenders back from Star Office days. I still use LO daily though.
If you were to go a step further, the eShop actually trusts the client and you can download the entire 3ds library direct from Nintendo with the right hack. Google "freeshop" and read their FAQ if you're curious. I won't link it here in case it offends anyone.
For one, it works.
There are so many service that Mozilla could charge money for that tons of people would use because we are paying someone for those service already so it might as well be Mozilla because they are trustworthy and open source. Stuff like file hosting, photo hosting/sharing, password management, blog/site hosting, etc etc. I just don't understand how Mozilla can be this bad at monetization while sitting on top of a gold mine in terms of reputation, developers and organization.
Things that puts you in the Best Dev Bucket
First time I saw one was when I was interviewing in NYC. I walked in and grabbed a sandwich and couldn't believe what dry flavorless garbage it was. 7-Eleven is honestly a step up.
“Plastic bodies is a required read” (2017) […]
1 and 2) From https://en.wikipedia.org/wiki/Virus

> Since Dmitri Ivanovsky's 1892 article describing a non-bacterial pathogen infecting tobacco plants, and the discovery of the tobacco mosaic virus by Martinus Beijerinck in 1898,

For more details see original paper in https://en.wikipedia.org/wiki/Martinus_Beijerinck#cite_note-...

3) I think the biggest test was in 1954 for the Polio vaccine by Salk. From https://en.wikipedia.org/wiki/Polio_vaccine#1950%E2%80%93195...

> Salk's vaccine was then used in a test called the Francis Field Trial, led by Thomas Francis, the largest medical experiment in history at that time. The test began with about 4,000 children at Franklin Sherman Elementary School in McLean, Virginia,[68][69] and eventually involved 1.8 million children, in 44 states from Maine to California.[70] By the conclusion of the study, roughly 440,000 received one or more injections of the vaccine, about 210,000 children received a placebo, consisting of harmless culture media, and 1.2 million children received no vaccination and served as a control group, who would then be observed to see if any contracted polio.[39] The results of the field trial were announced 12 April 1955 (the tenth anniversary of the death of President Franklin D. Roosevelt, whose paralytic illness was generally believed to have been caused by polio). The Salk vaccine had been 60–70% effective against PV1 (poliovirus type 1), over 90% effective against PV2 and PV3, and 94% effective against the development of bulbar polio.[71]

Some links related to the test https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1114166/ https://www.history.com/this-day-in-history/polio-vaccine-tr...
Namecheap did me wrong in a major way. In 2018 I registered a domain, all went fine. I register a second domain a few minutes later. In addition to the confirmation email I received an additional email requesting personal information. I assumed it was optional. Nope! The domain was not registered. When I looked into the matter the domain had been registered by domainbright.
I'm not sure what to make of it. Although compared to all other domains I have registered with namecheap this was probably the most coveted, valuable.
Never again namecheap. You make me angry!
Banning a harmful substance, and banning a platform for communication are not comparable.

There is no shortage of sites that will take Facebook's place.

What is the legislation you propose to prevent Facebook, or the millions of other existing or soon-to-be existing apps, from doing harm to people?
Maybe off by a president or two - Bush started breaking the rules by making all his judicial appointments between sessions as 'emergencies' to avoid Congressional oversight.
How are you getting to 1000 kWh/m2/yr?

From what I can find, Saudi Arabia is one of the best locations for solar power globally, and they have a total solar influx of 2300 kWh/m2/yr. Commercially available solar panels have efficiencies of 22% at best.

For the second point: I'm not saying people aren't recycling solar panels in a good way. I'm saying it doesn't look like the cost of that is significantly lower than for cleaning up after nuclear power.
I think the point is resiliency. The real world is resilient. In the face of massive threats to the infrastructure people will find new ways and keep living. But the average webapp is not resilient. If one out of 3700 libraries breaks then the whole thing can go down. A webapp is a very complex and rigid machine, it does not have the organic nature needed to be resilient. Making it simpler makes it sturdier.
If a business wants its employees to leave politics at the door, the business should too. If Facebook is going to have departments for government affairs, public policy, and lobbying, then it is entirely reasonable for employees to be politically active too.

Otherwise, you're basically saying corporations should participate in the political process but individuals should not. And that's exactly how we got the Earth into the increasingly shitty state it is currently in.
It would hurt engagement.
Far fewer than other forms of energy such as coal.
Neither an ISP nor phone company has a feed algorithm or spam prevention* as a central part of its operations.

These are key to the usability of any social network. And they are inherently biased. Any such organization also has to take money, so ads are also key to their operations, and they have taken political stands on ads too.

The attempted comparison to utility companies is not compelling.

* arguably they do now by limiting "scam calls"
Interesting perspective, thanks for the response. How many bookmarks do you keep at any given time if dont mind me asking?
John Deere DRM has such a bad reputation there's a lot of goodwill to be won back before people will listen to some of the good reasons for it.

Honestly, I'm a fan of price discrimination through DRM. It leads to better economic efficiency. But John Deere DRM must really be something else. I'm not even in the field and I have a negative reaction to the brand. Like they're going to nickel and dime me and then give me the run-around on fixes.
Facebook is not your average workplace. If your platform is profiting off of active political misinformation, you have an obligation to not only discuss these issues, but solve them. If you determine that you can't solve them, it's time to stop accepting the money.
4. The Russians and the French do it, the US is still researching:

> https://www.rosatom.ru/en/press-centre/news/the-first-serial...

> https://www.orano.group/en/nuclear-expertise/from-exploratio...

> https://www.anl.gov/article/nuclear-fuel-recycling-could-off...
I have an interest in electronics and would call myself a "maker" (well, I have a growing box filled with various arduinos and microcontrollers)... but after scouring the repo and the website, I can't figure out what this is, or what I could do with it!

What is an "ESP8266 board"? Is that something that is so common it doesn't need explaining? Of course I will google it [and probably buy one], but just pointing out that it's not very clear from the website!

[EDIT: ok, after 10 minutes of googlin', it seems no one will explain what it is - it's just "an esp8266 system on a chip". It must be the first rule of ESP8266 club...]
We’re more interesting.
Good recommendation. I'm not even a casual user, but may be once every few months where 100mg would last me almost a year at 10mg bites. But yes, definitely start with a tiny bite. Who knows, may be the "micro dosing" may be enough.
Why not create a Firefox+ subscription service (for like $10 per month) and then make Send, Notes, VPN, and more exclusive to that service?

Some people over here are dying to start paying for Firefox.

(Mozilla donations go to the much smaller non-profit part of Mozilla and are unrelated to Firefox.)
Thanks, I'll update it right away.
But doesn't the article make the case that both of your example children need the same treatment?
https://news.ycombinator.com/item?id=24505183