skysight-inc/HackerNews huggingface dataset:
That comparison is pretty weird. Electron is more extensible than JavaFX? How does that work? Browser engines are not exactly famous for their sophisticated API extensibility or advanced text/graphics APIs.
> customers didn't know enough to demand DVI

Really, it was more that we didn't have DVI outputs.

Its the smartest way to break the chicken-egg situation -- for many (I'd wager the majority) the advantage of a flat panel at first was more about space saving then picture quality.
"The purpose of the sentence is to put them all in to the same category and create a false equivalence."

In which category do you think Boghossian was trying to put Flat-Earthers, Christian apologists, global climate skeptics, and Occupy Wall Street advocates?

My understanding is that they are all in the category of guest lecturers. That doesn't seem like a false equivalence if they were all guest lecturers.
Sibling dicussion (apnews.com)

https://news.ycombinator.com/item?id=28471302
You are right: I did not remember correctly[1]

1. https://www.1040.com/tax-guide/faq/did-president-trump-s-new...
Using GPT-3 for root cause incident summarization of incidents
There used to be a place just outside of Las Vegas proper called "Buck's war surplus" that the teen version of me would go to and imagine what I would do with all that neat stuff. They got the top turret from a B17 once which I thought would make a nice addition to a large car. Nothing like pointing twin 50's at the traffic jam to encourage it to move along. Alas, I did not have the means to convert such speculation into rolling hardware.
The thing I kept wondering through the saga is why didn't they pivot?

Ok, their initial vision was complete science fiction. But what about building a better testing machine even if it requires more than a drop of blood? A cheaper one any small clinic can afford. That's still valuable. They also had access to some of the best software engineers in the Valley. Could have tied their machines to a pretty great SaaS to help with lab data and record keeping.

Not a sexy business, but a business that won't land the founder in jail.
What does "natively" mean in this context? Because my impression is "the Cloudflare Workers environment" defines WASM as its "native" architecture.
I'm inclined to think its the Russians deliberately messing with US intelligence and the like. I'm surprised the US isn't more actively countering it. Like they should install more measuring equipment and try to find the source instead of covering things up.
A lot of anime characters have highly unusual but descriptive names. Ex.: Katsuki Bakugo from My Hero Academia is a narcissist preoccupied with proving he's the best, and has explosion based powers. His name incorporates the kanji for "self", "win", and "bomb". Many of the other MHA characters are so named according to their traits, superpowers, and even signature colors.

It's kind of a shame that you don't see a lot of this in popular Western media.
Yes, it’s equally ridiculous and anti-worker either way. Trust is the foundation for good management and culture.
Is it possible to even check such a proof programmatically? Do we have that kind of technology? Do you also have to review the proof checking code to make sure you didn't make any errors in transcription from the original paper?
I gotta say, hats-off to you for answering all of these emotionally charged posts with nuance and without losing your temper. Cheers!
Ray-Ban and Facebook's Camera-Equipped Sunglasses Mix Cool with Creepy
Twitter tests Facebook-like tweet reactions
It did to me. I worked there for 12 years. It had immense prestige when I started the first time (2007) and it was totally justified. By the time I left (2021) it was a sad excuse for an employer. Terrible managers (that's you Megan K), constantly misleading information from leadership (that's you, Jeff dean), lack of ethical and human behavior from leadership (lookin' at you Megan K) lack of resources for high priority projects (that's you Urs), slow reduction in benefits (that's you, Ruth Porat).
> Math is the most formal science there is.

That's assuming you ascribe to viewing math as science.

> Why don't serious math journals require programmatically checked proofs for all publications

Presumably it has something to do with why formalized mathematics is rare: it's hard. Even relatively simple concepts become quite hard to deal with when fully formalized. I suspect that mathematics on this level is simply not amenable to the treatment that you envision (at least today).
I think I vaguely recall the explanation from a classics course many, many, many years ago, but I can't find a source without investing a ton more effort, so take this with a grain of salt: IIRC, Plutarch wrote the sayings in intentionally archaic (for his time) Greek. He lived hundreds of years after Sparta had disappeared as a power in the ancient world, so he could have intended it to demonstrate the great antiquity of the quotations, or he could have done so to paint the Spartans as rough-around-the-edges rustics. The translation attempts to mimic this effect by translating the archaic-sounding Greek as archaic-sounding English.
Multicomputation as a Fourth General Paradigm for Theoretical Science
They are tracing cryptographic hashes that represent transactions in cryptocurrencies, as thats how cryptocurrencies work.

Who cares what you're interested in. Skim the first paragraph and move on.
I've wondered about the legality of the spikes I see on semi trucks in the US. I can't imagine these spikes veering into the rubber of another vehicle's tires would end well. Though based on some cursory searches, it seems many of these spikes are made of plastic [0]

[0] https://bigrigpros.com/why-do-semi-trucks-have-spikes-on-whe...
You seem to be redefining the "built to last" to encapsulate backward compat, which is an odd definition, but let's go with it.

The only aspect of HTTPS that isn't backward compatible in the way you're talking about is, effectively, the algorithms keeping up with modern attack vectors. That's not an aspect of HTTPS the spec, it's an aspect of the arms race in network security. So pinning this issue on HTTPS is odd.

The reason you can't use outdated software to connect to modern servers isn't due to protocol design, it's due to threat actors.
Unless Amazon can do the same work for less overall cost with robots.

I guess my point is that the potential for automation doesn't seem a compelling argument to worsen working conditions
I would imagine that there will be medical exceptions. I gather from the article that either get the shot or show your exception. Showing a negative test is not an option.
Full list of vehicles: https://www.lloydsonline.com.au/AuctionLots.aspx?smode=0&aid...
Watch the video. It's pretty interesting, but it also addresses your comments. I watched it from Germany, and I found that it applies to Germany just as well as the UK (where it was recorded).
OK, so person a deposits cash, person b in another country withdraws cash. Eventually bank location a will have an excess of cash and bank location b will have a shortage of cash. How do you square that?

Now think about the fact that 25% of el Salvador's GDP is remittances from the US. Country wide, banks have a shortage of cash deposits every Friday. Bank location a will need to eventually ship that cash to bank location b, and maintain a channel to keep the money flowing.

It's not that simple, if it were that simple that's how banks would do it. There are logistics involved.
I'm pinning my hope on the frame.work laptop.
Not to mention messages are almost impossible to google.

In fact, I used to play all my games in english for the same reason: items, places, starts... When you want to know more, the only good wikis and tutorials are in english.

I used to write a blog in french, it became super popular. Yet, it's a shadow of what you can achieve woth an english audience.
I'm tempted to pick one up just because I already use Colemak.

I'd be really tempted to try to change the keyboard firmware to behave more like my Pok3r keyboard (particularly replacing capslock with a function key and making fn+IJKL act as arrow keys).

That sounds like heaven!
I acquired a Rockpi4 in the hope to use it blob-free. But I'd love to see vendors trying to ryf-certify it. Do you (or any other vendor) have plans to sell or certify it?
They are tracing cryptographic hashes that represent transactions in cryptocurrencies, as thats how cryptocurrencies work.

Its the proper use of the word in one, two or even three contexts. If you're not interested in it, you'll find out from the subtitle or the first paragraph and move on.
Formality is technically the degree of mathiness applied to a domain, since formal logic and any other framework of formalization decomposes to mathematics.

So... it's a tautology. Math is the most mathy math. Biology or psychology are less mathy maths.

https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...

Having provablility holes in the formal system doesn't imply the existence of other systems that could be decomposed from currently known or unknown symbols. In this universe, information at the level of string theory seems to describe the limits, so math, as she is wrote, is as formal as it gets.

The map is not the territory, so math, as a map, will always be less "formal" than reality itself. It's pretty firmly in second place, though.
Hates on Electron and bloat, but is fine using vdom which also adds memory bloat? Seems like a wierd combo.
The issue with long distance transmission is not efficiency. It is the raw amount of material needed.

Feeding 100% of Europe electricity use with solar panels in North Africa would required many years (!) of the world’s current aluminium production, just to build the transmission cables.

Do the calculation, you’ll see.

Long distance power lines do not work to transmit massive amount if electricity on a global scale.
begin()
loop {}
Such a system would very much compete with deposits in banks, given that savings account interest rates are already effectively zero. So why would a person give their money to a bank instead of keeping it in their DigitalDollars wallet? They would have no reason to do so, unless keeping their money as DigitalDollars was somehow worse. If keeping money as DigitalDollars is worse, then nobody would want to have them except possibly briefly for transactions, making it more of a payment network than a currency, and pretty ineffective as a monetary policy tool.

Plus I have zero confidence that the Fed would be able to competently implement such a system to get the benefits they want. they would end up with a system that is somehow slower, less reliable, more fraud prone and more expensive than paying with a debit card.
I thought it was an oral pleasure joke, not a pick one of one joke.
Queue the Ray-Ban smartglasses spam links in my Facebook feed.
The other problem with RDRAND is that you just can't trust them to get it right.

How about always returning 0xffffffff? https://arstechnica.com/gadgets/2019/10/how-a-months-old-amd...

How about a bunch of collisions? https://github.com/systemd/systemd/issues/18184

Thanks, AMD...
GCF might be what you're looking for https://cloud.google.com/functions/docs/quickstart-python
> Why don't serious math journals require programmatically checked proofs

... Because that would take 2+ orders of magnitude more work, and nobody has the time/attention budget for it.

This is sort of like asking: why did you single person write this 10-page short story instead of making a Hollywood-style feature film?
In France that's the law, you must add a label on photo / video ads that were digitally altered.
> Even the QBists speak of “agents” that are abstract entities,

Do you have a reference for that?
A lot of that is absent from or contradicted by https://en.wikipedia.org/wiki/Terra_Nova_Expedition

There were 3 motor sledges, one was lost, and none were planned to travel on the final journey: The motors and animals would be used to haul loads only across the Barrier, enabling the men to preserve their strength for the later Glacier and Plateau stages. In practice, the motor sledges proved only briefly useful, and the ponies' performance was affected by their age and poor condition.

Scott brought dogs and ponies, which were both proven on other expeditions and were both useful on this one.

That wikipedia page is a gem, reads like a novel. It sounds like with a little more luck (or more optimal choices), they would have survived. Sure there were mistakes, but nothing reads as gross negligence.
Gaming in Python: PyGame vs. Arcade vs. PyGame Zero
Isn't that at the core of the "right to repair" debate?
Show HN: Get notified about GitHub releases
His schtick is claiming he’s real “father of deep learning” and that all major work in ML has been built off of work done in his lab, and that he’s unjustly remained unrecognized while other pioneers in the field have received tons of awards and compensation from big tech companies.

When I say it’s his shtick, I mean that he basically brings it up whenever possible. When another big name in the field receives an award, he’ll write up a huge blog post about how ackshually they didn’t invent XYZ, but rather modified A and B, which is related to work C he did at his lab in 1980.

See
https://people.idsia.ch//~juergen/critique-honda-prize-hinto...

https://people.idsia.ch//~juergen/naturedeepmind.html

https://people.idsia.ch//~juergen/critique-turing-award-beng...

At 1:03:00 in this video he interrupts a lecture at NIPS from Goodfellow (another leader in the field) to try and claim credit for the subject of the lecture in a sort of slimy way.
https://youtube.com/watch?v=HGYYEUSm-0Q&feature=share

Honestly I’m not equipped to tell whether Schmidhuber’s claims are true since I haven’t followed the progression of ML research since the 1980s - but the impression I get of him is that he’s kind of a jackass who’s willing to spend a ton of time tearing others down in really petty ways. If there is some truth to his claims, perhaps the reason he’s unrecognized is because he’s a bit of an ass to work with?
> Internet email has never been considered a highly-reliable messaging system

While that may be true, it seems vastly less likely to be the cause for the GP not receiving precisely this mail... Given that several other commenters only on this page mention not being able to find any evidence of having received this particular missive, William of Ockham would fall over with laughter at the idea that they all just happened to have email system glitches at the exact same mail.
If you're a old-timer, plain text email is the only way. Didn't Microsoft start the HTML mail and top posting when replying?
Sure, it was just a succinct way to make the point, since as you say and others are commenting on, it's trivially worked around (in any CI system) if you're trying - it's only really supposed to stop accidental leaks.
Perhaps Amazon Music app?
I believe a significant component of this division, in academia at least, concerns whether people can or can't generally be trusted to think critically, for example, about subtly incoherent and/or morally repugnant viewpoints that Prof. Boghossian may have publicly interrogated (e.g. James Damore's). "Does giving him a platform to speak do more harm than good?"

I don't generally trust people to think critically. The last ten years have showed us all how easy it is for people to be manipulated and misled at scale if the belief is accepted by their respective communities. This was shown scientifically decades ago[1]. And we all know some anti-vaxxers and/or cult followers.

Of course, most attempts to repress misinformation inevitably cause bigger problems than any alternative, including doing nothing. Attempts to repress opinions based on misinformation sow divisions which are even worse.

There is a tension between efforts towards a weak form of "prior restraint" and a belief that people are smart enough to discern truth from fiction. But don't fool yourself -- no matter your feelings here, everyone including you is subject to in-group favoritism.

[1] https://en.wikipedia.org/wiki/Asch_conformity_experiments
This is not a comparison of "budget and time overruns for fusion reactors to budget and time overruns for skyscrapers". It is a statement about management practices, regardless of the project.

The statement is that a blue-sky project such as a fusion system is easily recognized by people on the lookout for sources of unlimited money with no strings attached. When they get control of the project, the bulk of the money will not end up spent on the extremely difficult problems entailed. If the problems are as difficult as expected, handing the money over to people who benefit by not solving them will reliably fail to solve them.

We know with absolute certainty, already, that there is no "holy grail of energy production" at the end of it. The most favorable imaginable result is a system much more expensive to operate than a fission plant that produces no more power.
For the same reason Google does not formally prove the correctness of their code. It's technically feasible but impossibly complex to actually achieve.

Fully formalizing a proof with a tool like Coq or Isabelle is in and of itself a nontrivial problem.
Full Control with the VirtualKeyboard API
It was always clear that gnu would create newer versions of the GPL and start releasing under it. The blame is pretty clearly on the people who editted the license text to be GPL2 only.
So that person takes existing GNU bugs with patches:

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=50009

Strips all attribution and authors' names and submits under their own github handle:

https://github.com/dickmao/commercial-emacs/pull/55

I am not sure if this is legal or not, but it is certainly unethical.
I have always been somewhat skeptical of Docker, for example due to how horribly it has always worked on Windows. My first real exposure to containers was when getting into Red Hat certifications and being introduced to Podman, and with the benefit of hindsight I don't really understand the benefit of Docker today when comparing the two. Podman seems just as easy, more restricted and more in line with what some might call "Unix philosophy".

Of course when it comes to distributed environments I'm sure Kubernetes still reigns supreme, but for relatively simple container setups I don't think there's a need to even run Docker anymore on Linux.

Obviously, I'm still not well versed in containers so this might all be overlooking something.
>researchgate
It's on my TODO.
Because programmatically checked proofs don't work the way you think they do.

And even programatically checked proofs are still programs. And programs still need code review.
Reminds me of "Surveillance Camera Man" [1] from several years ago. His YouTube channel seems to have been scrubbed of videos, but basically the guy just stood out in public recording people, just like thousands of surveillance cameras currently do, with lots of subjects objecting, berating him, becoming scared, upset, even violent. Point being, it's no different than all the surveillance that is already done, except people freak out when there's an actual human visibly holding the camera.

1: https://blogs.harvard.edu/internetmonitor/2013/07/10/surveil...
Makes you wonder what's the most impactful thing you could build given the possibility of seven years of isolation and single-minded focus.

Would be interesting to know, at which point did Freedman decide to commit full time to his research---based on what, an intuition? And how did he decide to stop at 7 years and not 4, 9 or 10?

This is advanced stuff for me but I'll still be getting a copy of
_The Disc Embedding Theorem_ to support this kind of niche research. Findings like these could be stepping stones towards bigger discoveries in the future.
That world is, broadly speaking, the world we currently live in. Changing that is a long-term effort that starts with reducing their stated powers.
The bit about Romans dressing and acting like Greeks reminds me of the Gilbert and Sullivan play The Mikado, which satirized British life but was set in a comical version of Japan. When the Crown Prince of Japan visited Great Britain, all exhibitions of the play in London were cancelled so as to avoid giving offense. Unfortunately, His Highness had wanted to see The Mikado while he was in town...
Online “Wormholes”: How Scientific Publishing Fuel Covid-19 Disinformation
Sharing a selection of hyperlinks to scientific papers, with the request from the user to “do your own research” fulfills a position similar to the notion of “wormholes” in science fiction. They transport the user between Facebook, Twitter and other messaging and social media apps, jumbling science and facts in transit.
Could you please give 2 specific examples on how this would work? Are the functions only for UPDATE/INSERT, or also for reading data? I'm using views to simplify queries, but still via ORM.
From Cloud to Edge: A first look at Public Edge platforms
I think four other competitors came also, so the fortuneteller realized that either a) he was going to lose because of the competition or b) he already told someone they were going to win so couldn't tell multiple
This article is about NFTs.
It's possible, but difficult. Proofs written by humans tend to not include a bunch of relevant details and assumptions. They consist of lines like "We have some property/object/logical statement X, then by theorem Y we have Z", but often don't state how exactly they are using theorem Y to get result Z. There's often some additional algebraic or logical manipulation, or some simplification of terms, or implicitly using some other theorem or lemma that seems obvious to the writer.

Getting a computer to automatically find proofs of statements is difficult (impossible in general), and I wouldn't be surprised if converting a standard human-written proof into a formal proof system is just as hard.
I checked the documentation for the ICU Unicode library and Apple's Foundation library, and they both say that numerical formatting is a property of the locale rather than the language. I'd be surprised if other major platforms did otherwise.
Apple Sight?
Tangle – Event Driven State in React
While this is true, as another near-native speaker of English, reading things in my native language always feels easier. There's a slight stress on the mind when reading and using English that I don't even realize exists, except for the 2% of the time when I get to interact with UI in my native language and realize that it feels significantly better this way.
Getting a proof, even in one that is amenable to computer verification into a form where you can actually verify it is a monumental task, like it can easily take multiple experts multiple years.

Adding to this problem the intersection of mathematicians who understand computer aided verification and who understand a particular piece of research mathematics is often empty, and even if there are a handful of people who could do the necessary work they're often busy doing more interesting stuff.

Finally I don't think a big proof that has been accepted by the community has ever been found to be false by programmatic methods. I think its unlikely that this will happen for a long time, for the simple reason that to feed a proof into a computer requires someone to dissect the proof to its logical bare bones in the first place, and the person doing the dissection is likely to notice any errors before they get round to feeding the problem into the computer.