skysight-inc/HackerNews huggingface dataset:
Author here :-)

There's two layers to it, and you've described the first one. The argument you give about tuples of non-negative integers is what implies the consistency of PRA or Primitive Recursive Arithmetic (roughly: the finitary, computable part of arithmetic). This argument is done in a system that is the weakest that Gödel's theorem applies to, but you really have to start assuming a small amount of consistency somewhere. With consistency of PRA under your belt, you can then trust the proof that induction over the set of finite trees implies the consistency of Peano Arithmetic, which is done in PRA.

At that point you then need to make a second leap intuitive, non-formal argument for being able to do induction over the set of finite trees (there is a canonical ordering on these). So no only does one have to worry about height induction, but also induction over width at each level of the trees, so it's genuinely more complicated. Chow gives an argument (to which I link) in terms of Turing machines outputting descending sequences of trees as to why you should think this reasonable.

So it's all very interesting.
Isn't bytecode essentially a machine language for a simplified VM? Why would it be more transformable than a tree?
Underrated comment!

Here’s the footnote:

“Perlisisms: EPIGRAMS IN PROGRAMMING by Alan J. Perlis”

http://www.cs.yale.edu/homes/perlis-alan/quotes.html
PaaS Types Explained
Meat in Cetacea is red, strong and similar to beef, but fish flavoured. Would be like eating a beef fried on fish oil. Sounds a little gross to me (but anything with a high fat content would taste delicious if you are in the arctic).

On the other hand, some Beluga meat is classified in the Toxic waste category so, probably not a good idea. They are prone to accumulate contamination byproducts and heavy metals in blubber
The terms 'single-use' and 'throwaway' often confuse the discussion. For example, some plastic components -- those in in a car, in a refrigerator, in a sound-system, in a thick plastic rope -- are 'single-use', but are useful over a long period.

Some short-term forms of plastic use are a very poor energy investment. That's a problem because energy is finite, waste is a long-term threat. This is in part a design problem, in part a problem of ignorance, in part a problem of ignoring/hiding externalities for lower costs and quick profits ... etc. etc.

It's unfortunate that plastic has often become the only available option. I'd be glad to pay more (money, time) for some containers that I don't -have- bring home and -have- to toss into the recycling bin knowing their fate.

It looks as though until enough people are willing to make that choice, this ongoing energy waste (being charged to the accounts of future generations) will never end.
OK, have them listen to Mozart or whatever bourgeois parents these days think will turn their kids into geniuses :)
Florida city will pay $600k to get its comptuer systems back
I'm not all that sure that you can generalize between the time periods

a) prior to 1900

b) 1900 to 1970

c) 1970 to the present

In particular, the academic enterprise was so much smaller in period (a) and it was dominated by people who were born of nobility.

In the period (b) it was rapidly expanding and it was possible for people (good or bad at science or politics) to get in relatively easily.

In period (c) it has been a game of musical chairs in which being good at politics trumps being good at science.

An example of science in period (c) is high-energy physics.

People talk about Edward Witten, for instance, as if we was comparable to Feynmann or Einstein, but Ed Witten has never predicted that something would be observed that later got observed. (Nobody has in period c!)

There is a huge amount of research in "anti-desitter spacetime" because string theory might work in ADS, but the part of the universe we can see seems to be a "desitter spacetime" where it doesn't seem string theory will work.

This doesn't seem to bother period (c) scientists for some strange reason.
I would even say sometimes it checks too much. I've driven, actively looking ahead at the road, and then it will beep because I ignored the prompt on the dashboard (below the wheel). The prompt is white at the top of the dashboard and is a white gradient, that looks like glare on the dash.

I don't know how these people fall asleep behind the wheel unless they've done something that mimics an active hand on the wheel. Maybe with the model 3 which has a driver-facing camera, they will enable it and check the driver's eyes.
A gigabyte actually (which definitely has its downsides - I just wanted the new generation of CPU early)
Just run chromium then lol
Even medium range flying is tough to accomplish with near-term electric technology. A flight across the United States would involve 10 hours of flight time, assuming you did it in a single leg, which of course you cannot. Three stops, so probably 15+ hours total. People do seem willing to take one-stop jet rides across the U.S. now, but the gold standard is about 5.5 hours for a non-stop flight.
No, No, No... "Brilliant people" are defined by others by their work, the period when they were born, how they let others know of their work (a form of self-advertisement), hard work and random luck. Lose any of those and the person loses his/her title of "brilliant." Look at Einstein vs Feynman they both did brilliant work but Einstein is considered the smarter man. Einstein made himself a celebrity. He did as much as he could to make sure that people knew about him. Feynman did not. Einstein is considered a more brilliant man but he was not. Einstein was born a the right time in history. Had he been born 100 years earlier he would not have had the accumulated human knowledge to do his work. He was a hard worker. Up to his last days, he worked to advance his work. And ofcourse just random luck which you can't control.
The only one I have seen is this one: https://www.macrumors.com/2019/05/30/smoking-macbook-pro-whi...
Hack of US Border Control Contractor Way Bigger Than Government Is Letting On
What's the problem with Flask and PostgreSQL?...
And who could forget:

"But I have to admit, I’d never thought much about the next analog of hydrogen peroxide. Instead of having two oxygens in there, why not three: HOOOH? Indeed, why not? This is a general principle that can be extended to many other similar situations. Instead of being locked in a self-storage unit with two rabid wolverines, why not three?" [1]

[1] https://blogs.sciencemag.org/pipeline/archives/2014/10/10/th...
TSMC 7nm is production, Intel 10nm is (still) vaporware :P
Lots of cool stuff, but I'm curious for your elevator pitch of "VMS could do <awesomeness> but nobody does this today, if they did, they'd make cloud computing even more powerful".

Lessons for the lazy, as it were :-)
Science is supposed to be about the scientific method--a testable hypothesis. This strict definition has been forsaken for the benefit of all who would like to publish, and take credit for, science.
Programming languages can be categorized in a number of ways: imperative, applicative, logic-based, problem-oriented, etc. But they all seem to be either an “agglutination of features” or a “crystallization of style.” COBOL, PL/1, Ada, etc., belong to the first kind; LISP, APL– and Smalltalk–are the second kind. It is probably not an accident that the agglutinative languages all seem to have been instigated by committees, and the crystallization languages by a single person.

Alan Kay's "The Early History of Smalltalk:"

http://gagne.homedns.org/~tgagne/contrib/EarlyHistoryST.html
>> Why not just ask for permissions for a single app specific folder

Dropbox lets apps work on either a single app specific folder, or on your entire dropbox.

But the app has to be one type or the other, the user cannot choose what access they want to give out.

Disclosure: I work at dropbox, previously on the api-platform team.
Assuming battery swaps are the aviation "norm", it might be possible to design the aircraft so that the batteries could be jettisoned in an emergency. This would also give much better glide performance for the emergency, and make the possibility of parachute recovery a lot higher since suddenly there's half as much weight to bring down.
Is Eviation a Scam in the Making?
Exactly, I think that the Racket teaching languages were started to support teaching young/new students (and not necessarily people who are or will be CS majors) a particular way of approaching program design problems.

Racket itself arose from building a cross-platform toolset to support building those programming tools. It also became a toolset and testbed for PL research.

I appreciate what you're saying about Racket having a big library. I was recently talking about how to to teach Racket to experienced programmers. I'd put them down in front of a full `#lang racket/base`, but start with teaching them only a specific subset of R7RS, and incrementally introduce a few more concepts and exercises to try for a day or more (things you can practice while writing your own real code, even if it briefly seems harder than something we told you that you could use before). If instead I just dumped the full Guide and Reference on experienced people, they'd become productive pretty quickly, albeit colored heavily by what they previously knew, and they might have a much longer path to becoming strong in some unfamiliar fundamentals.

BTW, another educational thing that Rackets `#lang` does is support students working through SICP use DrRacket. It emulates the particular older Scheme variant used in SICP, gives an IDE maybe a bit easier for new students, and runs on the student's own modern computer.
> There are some "secondary market" services. But (IIRC) they all take a hefty cut from both parties, have zero transparency, act as an intermediary, have high minimum transactions, etc.

Does anyone know of any such services that are reputable and worth using? Even if it's expensive. Kind of to be expected in that field.
It hardly has to all come from one country.
To add a profit motive, which in effect accelerates the fruits of the research being made available to the public and not hidden on the shelf of a lab. At least, that's the theory...
A failed replication isn’t just a contradictory result. That would be if you tried to test the same hypothesis a different way. A true replication attempt is when you try to repeat the same experiment and fail.

Likewise, if the original paper is a data point, a failed replication gives you two data points that cancel out.
A lot of fun copy on this site!
The Alamo Village location is an old theater, but the other five (soon to be six) Austin locations have all been built in the last 10 years or so.
When I heard about Atrium's fundraising, I assumed they had shown some pretty sophisticated ML under the hood (or at least a plan to do so).

I thought that "conventional" platform tech - basically, document management - wouldn't be compelling enough for venture capital investment.

I guess I was wrong? There's nothing here that looks particularly unique. Not saying there's no demand, but I can't understand where the 1000x returns are going to come from.
Interesting. The fundamental question is: do journals have an ethical obligation to publish credible results which refute previously published results in the journal?

The authors argue yes. I'm not sure myself -- what is a refutation vs. a different perspective/interpretation or other addition and where do you draw a line?

But it's intriguing to think if this would be a meaningful force for better results -- and could be an incentive to replicate findings you think might not hold up, just from being in a prestigious journal.
MSPs need to start embracing Kubernetes now
What is the canonical ordering on the set of trees?

Given how quickly the Goodstein sequence explodes, the "finite" in these cases may be very, very large...
Have a digital frequency for routine communication: like authorization to taxi, take off, clearances, flight plans, pattern requests, confirmations, and traffic. Keep an analog frequency for communicating through emergencies (kind of like Guard).
Yeah, I've thought of that too. I think the vast engineering, scientific and industrial undertaking it took to cure the first patient in 1942, 14 years after the discovery qualifies it as an invention, but I can see the other side of the argument.

Either way, I enjoyed looking up the history of those 14 years: https://www.acs.org/content/acs/en/education/whatischemistry...
There are "torpedo cars", that transport around 200 tons of molten pig iron by rail. Some are insulated enough to transport iron for over 24 hours. The energy advantage is massive.
> ...publishing a paper with a positive result, when multiple studies--with larger samples and the same materials--had not obtained the result?

That happens all the time. Papers with null results tend to either sit in drawers unpublished, or never get written at all. Nobody knows about the multiple studies because nobody will publish them.
haha did your successors think it was worth the cost?
Cable TV, internet, phone, flights and medicine are all very expensive in the US compared to the rest of the world.

The thing they all have in common is high barriers to entry and very few competitors. So basically lack of competition.
My problem with Firefox on Android is extreme latency on initial page load.

I select a URL, and literally sit there for 5 to 10 full seconds before the page even starts to load (it does render quickly once it starts).

I load the same page on the same device with Brave, or Chrome, and there's near-zero latency. It just starts loading right away.

I'd love to switch over, as Firefox is my daily driver on the desktop and it's where all of my passwords are synced. But on Android it just hasn't been usable for me yet.
* I just failed to read the next paragraph, and should have finished the article first. Just ignore this.

"We conducted two “conceptual” replications (one in the Netherlands and one in the U.S.) that used different images to get at the same idea of a “threat”—for example, a gun pointing at the screen. Our intention in these first studies was to try the same thing in order to calibrate our new equipment. But both teams independently failed to find that people’s physiological reactions to these images correlated with their political attitudes."
Emphasis mine.

Why they didn't used the same images?
First-time homebuyers getting squeezed out by investors
There are plenty of areas where Japanese have lost to competitors. Their sweet is making things that are hard and expensive do well. The most important components of our iPhones can only be made in Japan because of their attention to detail. They still make pretty good swords and knives!
It's tangentially related but I have always wondered how different programming languages, frameworks, and developer tools faired when evaluated against ADA. Are there any you find easier to work with and what should we be mindful about to make them easier?
Continue reading down the article - they did do a study with the exact same images.
See "past tasks": https://en.m.wikipedia.org/wiki/ICFP_Programming_Contest
A bit cheeky to marginalize drugs to data, eh? Data won’t cause you to lose 3 days of work.
Yes, but ventilating the house itself plus the surrounding greenhouse is much more expensive than just ventilating the house itself. Reason being that the volume of air is much larger.
Came in here to post this. This guy is unhinged by the way. He came in to give a talk in a course I was taking at UC Berkeley and as he continued to ramble on he noticed the students starting to glance at the clock on the wall above his head. He went off on a half-baked rant about how clocks don't matter and we should think for ourselves or something, then he stands up ON A CHAIR WITH WHEELS and pulls the clock off the wall. This guy is not young obviously - I was standing under him ready to catch him if he fell and the whole class was horrified.
Just in the next paragraph. I should have finished the article first.
This gets into deep philosophical questions. Logic can be deductive or inductive. Your use of formal logic implies deductive logic, but empirical science is inductive.

With induction, one can only have negative knowledge (this is know as the problem of induction or the black swan problem), but it gets more complicated than that. Most studies are trying to look at probabilistic outcomes and are trying to get significant p-values. There is a myriad of problems with this beyond simply the existing probability that their sample was bias. E.g., their methodology could be improper, or even just less than ideal. There could even be unknown problems with the underlying assumptions and the model being used by researches.

To suggest that an opposite result refutes a previously obtained result deeply mis-characterizes how science and human understanding works, and the problems inherent in this thought process deeply overvalues the knowledge we have and undervalues the more-than-likely seriously uncertain data we work with every day.

If you're interested in these problems, i'd suggest Karl Popper's work on philosophy of science.
We rarely know exactly why a thing works. This is part of why successful businesses are scared of change: They may break a thing they didn't know mattered and have no means to figure out what went wrong.

There's a story of a sausage business that built a new factory further north in town. A long time employee retired rather than make the longer commute.

After the move, their sausages lost some of their unique characteristics that had made them so successful. They were baffled and didn't know what went wrong.

One day, people were reminiscing about the good old days and began talking about the guy that retired. It had been his job to move the sausages from one area of the building to another.

With talking about it, they realized it had taken him like 30 minutes to do this and they had inadvertently eliminated this stage in the more efficiently designed new factory. They added a holding room or warming room and, voila, their sausages resumed having the characteristics that made them so popular.

I also love stories about bands that break up and later get back together after discovering that none of the individual musicians can capture the magic the band had. Or even stories where one particular band member rocketed to success and the others didn't.

I just love these examples of how changing conditions can cast light on who the real talent was or where the real magic was. It often isn't what people thought before the change.
And from the consumer end at least, that marriage may be coming to an end. Apple is probably moving to ARM over the next few years starting at the low end and with Microsoft trying to get Windows running well on ARM chips, Intel may be “stuck” with just selling high margin server chips.

Whether being stuck selling high end chips is a bad thing, I’m not sure.
Lol, as if they have anything on the US wrt surveillance. They block more, but that's a heavy hammer to drop that the US doesn't need to do.
I built this awhile ago for that exact purpose.

https://chrome.google.com/webstore/detail/attention-budget/a...

It hasn't fully solved the issue because sometimes I cheat but it helps.

https://github.com/genuineBuildMonkey/attention-budget
Hmmm.. interesting to compare the two. I am a big fan of both, but like Feynman better as a nerd.

Wasn't Einstein 40 years older than Feynman? He did physics PLUS politics, including the letter to Roosevelt about the bomb. Even at the challenger investigation Feynman mostly stuck to science.

I think Einstein's ability to be interdependent made him a little more brilliant in my eyes. (along with the ability to reflect light)
How many are written off is irrelevant. What matters is passenger lives. Success is measured in total number of not-dead people because of not crashing as violently.
It was rejected by advisory board, not even sent for peer review.
"beginners mind"? I do think some people have to work hard to keep preconceptions at bay. And some people don't bother.
Make Your Own QCObjects Based Tool or Framework
They're not made by him anymore. A glassblower makes them. But he does the rest.
For those curious, this are the descriptions of the images from the original study, which they linked:

> a very large spider on the face of a frightened person, a dazed in-dividual with a bloody face, and an open wound with maggots in it
Depends - in physics it’s most definitely a refutation.
Chrome was essentially launched on V8. At that time, full JavaScript webapps were still pretty slow.

Neither MS, Mozilla, or Apple had a strategic interest in accelerating them by an order of magnitude.

And V8 begat Node.js, for better or worse.
In Spark2014, you could at least prove the absence of runtime errors, and in the near future, prove memory safety. Without specifying them since they're part of the semantics of the language. That's not bad for a start.
Please don’t use characterizations like “fanboys”
I honestly feel the opposite. It is so much easier to manipulate individuals into shilling for your product than it is a large company.

I would trust Wirecutter reviews more than my favorite YouTubers’ reviews, for example. The livelihoods of the reviewers is not dependent nearly as much on how well they are paid by their sponsor.
Gradual brain damage can strike at any time. You wouldn't even notice anything other than feeling more sluggish and having foggier thoughts. Imagine how many people don't even know they have sleep apnea that is slowly lowering their IQ. Imagine how many people have an oral herpes infection that reached their brain where it will now wage an endless battle to convert all of their neurons into derelict HSV-1 replicators. There could even be an evolutionary advantage to a brain automatically permanently entering a more dormant state after it senses it has reached the top of the pyramid, assuming tribes were less likely to self-destruct when members of the next generation had a fairer chance at usurping the throne.
I am the developer who ported Gecko a11y to multiprocess on Windows. Some third-party software unnecessarily tries to use the Windows a11y API to do stuff with other programs, but in Firefox that may incur a performance penalty depending on what the third-party code is doing.
Oh, thanks. I had searched the movie titles above, but hadn't tried the director's name. There's a bunch in Canada too.

Prime video has been pretty good for movies recently, seems to have more than Netflix.
Indium looks to cost $5 a gram, twice the price of silver, although it’s supposed to be as ubundant
> The problem is that the current gcc gfortran front-end doesn't do this for CHARACTER* 1 strings, and there's C code expecting that extra string length argument.

Is it? My reading of the article is that gcc gfortran expects the length argument for CHARACTER* 1 to be provided as usual, but there is a lot of C code that does not provide that when calling Fortran functions.
Mountain View adopts new affordable housing rules, after razing apartments
I don't have any expertise in aerospace engineering, but even so, this Twitter thread raises some interesting questions. I'm curious to see how this plays out.

The press has given Eviation a lot of coverage lately, but from what I've seen, there's been very little skepticism, very few tough questions.
Ah, I had a feeling I'd seen this before. Fascinating project, thanks for the link to previous video I had seen a while back!
There's a street in the American city where I live that's said to be about 400 years old.

http://alloveralbany.com/archive/2018/09/07/maiden-lane-alba...
That's an another win for electric and hybrid electric designs. For the latter if you can safely take off on battery power you don't need to idle the engine before take off. Saves fuel, reduces noise, and localized pollution.

You can also turn the turbine off before landing.