skysight-inc/HackerNews huggingface dataset:
>where one tentacle doesn't know what the other tentacles want to ban

William: "I'm sure we can all pull together, sir."

Vetinari: "Oh, I do hope not. Pulling together is the aim of despotism and tyranny. Free men pull in all kinds of directions.”

― Terry Pratchett, The Truth
JEP 410: Remove the Experimental AOT and JIT Compiler
Nice, I'd really like one to collapse all second-level comments. There's enough 1000+ comment links now that the top comment takes up the entire page and everyone wandering in tends to just respond to that or the children rather than numerous others making valid points.
The article writes about your point of general computation and purpose built computers:

"Likewise, Konrad Zuse never got a Turing award despite having created the world's first working programmable general computer 1935-41. [...] It was pointed out that none of the computers built during the 1940s were influenced in any way by Turing's 1936 theoretical paper, [...]"
Nice short implementation.

Here's a similar userscript I use: https://greasyfork.org/en/scripts/18066-hn-comment-trees/
Yeah, Russia optimising profits from its huge oil and gas market share in Europe is not the issue, the small amount of wind energy is responsible for the costs. The things you learn from the WSJ Editorial board.

If anything, this should prove that Europe needs wind and solar power not only to fight global warming, but to be protected from dependence on oil and gas producing dictatorships.
How to Debug Cloudflare Workers with AppSignal
I can only repeat my comment from down:

"Likewise, Konrad Zuse never got a Turing award despite having created the world's first working programmable general computer 1935-41. [...] It was pointed out that none of the computers built during the 1940s were influenced in any way by Turing's 1936 theoretical paper, [...]"
> I don't understand why Schmidhuber continues to ignore this crucial point.

It is difficult to get a man to understand something when his salary depends upon his not understanding it.

But wait a minute, you might say, facts are facts.

And if everyone had the time and resources to discover and digest every fact, your understanding would be the end of it.

But everyone doesn't have time and resources. To compensate, we rely on others to curate facts for us. When we encounter an internally consistent subset of facts that suits our ideals and our interests, we adopt that point of view.

There are infinitely many subsets of curated facts that can be presented as internally consistent. That's why there are so many different points of view.

What bearing does this have on Turing's role in computer science, and his latter day fame in a society which came to be defined by silicone logic?

The First Computers Were Human (and Mostly Women)

https://mjosefweber.medium.com/the-first-computers-were-huma...

Turing, in addition to stating an ontology of computing, dared to invite the question, what is the difference between a computer and a human?
I feel like this is left as an exercise to the reader and no proof is needed. Bettors in a prediction market are not divine speculators causally divorced from the real world. They are embedded, and when there are a lot of them and their financial incentives are towards a particular outcome, they might act in ways that aggregate to a greater likelihood of the event transpiring than in the counterfactual setting where they are pure observers of the simulations waging in a vacuum. It seems to me there are multiple ways to formalize and prove this and this contributes to my perception the original comment seems self-evident. If that is not the case then something is wrong in my intuition.
> It can be costly and cumbersome

That's the opportunity cost of defending. It's like walking through treacle at times, but you have to visualize the worst case scenario in your head and act as if you're gonna get breached. You need to essentially enact the situation in your head so that it gives you the momentum you need to keep defending.
I used that particular trick as my escape route during tag. We would play on this structure made from wooden rolls, it spiraled upwards, about 3.5 meters high at the top and I found that I could easily jump down as long as I bent through my knees upon landing and touched down afterwards with my arms. Magic :)
Rent seeking ruins economies. We see a lot of rent seeking by the current power structure (where boomers have accumulated >80% of the wealth).

1+1=2
This is showing an extreme ignorance of history, and of copyright.

There are countries (e.g. Sweden) where it's legal to rip a CD and give a copy to your friends. "Always" has been.

But it's not legal to sell copies. Or to put the music in a "holywood" movie you made and make a profit.

Copyright protects both of these. And if you think holywood movies don't properly license their music then you are mistaken.

Copyright absolutely makes sense.

Could a reform be in order? Well, could you come up with a laws or precedents where me putting a funny meme picture on my facebook wall is legally fine, but holywood taking my art and selling it as part of their product is not?

Because when you say "abolish copyright", that means no more games or movies as we know them today. You may say "good riddance", but you don't have to watch them. You can choose to only listen to music and see movies made under creative commons license. But you'll be pretty alone in that. Your life will look like that of Richard Stallman.
Shame, Atiyah was senile at that point. A sad note to end on after a brilliant career. But whatever you may think about him, Wolfram is not senile.
As far as I know state IDs are free. Well at least here they are anyway. They aren't drivers licenses though, you definitely can't drive with one.
You did have to go wait at the DMV, that was before Covid. I would hope they would've modernized the process now.
> Wouldn't it just be easier to tax capital gains like ordinary income?

Eliminating the carried interest loophole would cure the problem you observe without the distorting effects of capital appreciation taxes.
Huh. My own goal in philosophy was to explore various doubts, things that didn't quite make sense, and it ended up opening a huge space of new ideas for me as I started to peel back the layers of ideas I took for granted. I feel less confident know in knowing "what's true" or "what's right" but much more confident in my ability to understand and think through various arguments and ideas. Notions like "the meaning of life" and "morality" took on new shades of meaning for me, or perhaps became ideas that I could no longer consider "as wholes" but that demand understanding in terms of their parts, i.e. to be studied formally rather than in terms of content.

I also went in attempting to resolve my emotional difficulties and become more open to the world and to others, which led me deep into psychoanalytic theory. A lot of the results there involved a lessening sense of shame about my own experiences, which made me more open to sharing with and receiving from others.

Anyway, I guess to some extent one gets out of philosophy what they go into it seeking.
Show HN: All-in-one product analytics and automation platform
Being the first one to claim a formal proof to a theorem is not the most important thing. What's really important is to prove things that improve our understanding, which both Goedel and Turing have done, in the fields of logic and computing respectively.
Latest Google subsea cable has landed in the UK
> Nobody I met came with any of those skills out of college.

Exactly. Experience is key.

> Meanwhile, management applies pressure to ship new features.

This quantity over quality mindset, combined with the industry's rampant ageism and veneration of newness over all else, is making things worse at an alarming rate.
Best Kids Trends
Facebook tried to make its platform a healthier place, but it got angrier
> I've heard speculation that you could improve your odds of surviving by e.g. throwing down a pair of keys or similar to break the surface tension right before you hit the water, but I'd like to see that investigated further.

Mythbusters did it, it didn't help.

https://mythresults.com/episode5
Reminds me of this: https://youtu.be/oZIzreiseMk

I'm not sure if their analysis is accurate, but it's sure fun to watch :)
Ah yes, good point. I assume modern (commercial) ghee is too, but that certainly makes preservation origins make more sense. Thanks.
Is it ok to mock people who die from AIDS now?

(this is intended as sarcasm to point out the morality of mocking people who die from a preventable disease)
List of sole survivors of aviation accidents and incidents
Nitpicking: Note that JScript[1] is not Javascript. The common abbreviation for Javascript is js.

[1] https://en.wikipedia.org/wiki/JScript
The framing on this makes your head spin... "Abandoning college"

Hard to imagine that language being used with other demographics.
I'm going to have to find a way to work "naked domain" into my lexicon today, thanks!
think of it as a self-closing element. Like <br/> became <br>.
I don’t think that’s quite right is it? As I understand, mp4 is based on mov. But they still very much are distinct container formats, and an implementation of the mp4 standard would likely not be able to correctly read mov files as is, would it?
Here's a site with the Corpus Inscriptionum Latinarum: https://db.edcs.eu/epigr/epi_einzel.php?s_sprache=en&p_beleg.... Replace the last four digits in the URL with the number before the quote on the site you linked to see the Latin.

"Bugger" is probably gonna be "paedico". I do find the whole "Classics scholar translates back-alley graffiti" vibe of the translation hilarious.
NanoBSD?

I feel like an important part of "hardening" a server is to remove/disable unused services. Does anyone know if NanoBSD is actively worked-on by the FreeBSD team and/or still in use? For those note aware, NanoBSD is an official build from FreeBSD team that allows you to compile a slimmed down FreeBSD build that is read-only yet can run any/all FreeBSD software.

I can find very little about NanoBSD other than a handful of posts from 10 years ago. It seems like a great foundation for hardening a server.

https://docs.freebsd.org/en/articles/nanobsd/
If there are no limits on betting, then this is just plutarchy with extra steps. Guy comes along with $100B and directly changes the policy landscape.

If there are limits on betting, then it's direct democracy with extra steps (everyone gets one "vote" worth up to $limit).

What if improving society was a reward-in-itself and we trusted competent managers to do the complicated bits?
Better than just upvoting everything, which is how I track this now.
I agree. It even features a basic IDE, IDLE, as part of the default install. No need to figure out how to configure your text editor to interact with the Python shell. I remember trying to learn Ruby before Python, several years ago, but then got stuck trying to configure Geany to work with Ruby.
That will likely increase wear and decrease traction. What's happening is that the contact patch is getting narrower and the sides of the tread aren't helping support the weight as much.

I worked in a tire shop, and chronic overinflation caused tires to go bald in the center of the tread while the sides had tread left. Have to replace them more often then.
rob.monster is still available apparently
Feel silly I had to look up what THHGTTG was. The Hitchhiker’s Guide To The Galaxy
There is no science and no scientific progress in Stephen Wolframs work.
Because a lot of people are happy to have any job. You need some level of understanding of the market and qualifications to be able to pick better jobs. And if you have worked in bad jobs for a while you probably don’t even know that things are better somewhere else.

The same happens in higher qualified jobs too. Why do so many programmers work in abusive companies while there are better companies out there? Maybe they lack the initiative, qualifications or just understanding to apply at better companies. Whatever it is, the fact that people go for those jobs shouldn’t be an excuse for abuse by employers.

Otherwise we could tell abused spouses the abuse is ok because they should have left if they don’t like it.
Arguably our storytelling was an efficient hack in an age before writing. A story is a very high-overhead, low SNR way of communicating kernels of truth, but it's robust over time, so it allowed transfer and accumulation of knowledge across societies and generations.

But then we've invented and perfected writing, developed symbolic languages and notations (e.g. math, musical), long-duration storage media for text, and eventually networked digital computers. In terms of communicating and preserving knowledge, stories are pretty much the worst possible option you can choose.

We're comfortable with narratives because we didn't have anything else for hundreds of thousands of years. Stories are pretty much hardwired into our brains. But that doesn't make them the right choice, now that we've figured out much better alternatives.

More than that, I'm personally suspicious of stories being used in communication. There's no good reason to use them, and there's plenty of bad ones - it so happens that what makes a good story robust over time is the same thing you need to manipulate people into believing lies and shut off critical thinking.
> two major wars

These “wars” did not even have an organized enemy, so I cannot classify them as major in the context of other wars in history. I would classify them as major exercises in enriching military vendors.
What are some computationally demanding things you can do with a latest generation phone that you couldn't possibly attempt with any phone, say 4 years ago? Besides "browse the web in general". Specific necessarily demanding (as opposed to needless resource hog) web apps would be interesting to know about, though. Not rhetorical questions.
It's not so much about copycat games per-se but about the ability to run whatever software you want on a device that you own, and in that respect those games consoles are quite good representations of the walled garden concept.

In fact, the 'general purpose computer' will historically be seen as some kind of very stupid aberration, who ever thought that giving end users that kind of power was a good idea? /s
It seems wrong because it is.

> Question marks and exclamation points have their own rules.

> If they apply to the quoted material, they go within the quotation marks. If they apply to the whole sentence, they go outside it

https://www.grammarly.com/blog/quotation-marks/
"Computation" would have been a more felicitous term for the field, but that ship has probably sailed.
This style of punctuation is "logical quotation", not necessarily British: https://en.wikipedia.org/wiki/Wikipedia:Logical_quotation_on...
Classic Apple.
major in terms of my tax dollars wasted.
> Now their private details have a risk of being public

They are public. A simple torrent away.
Name me a single mathematician - or honestly a single scientist or thinker ever that didn't stand on the shuolders of giant
> None of the algorithms enabled by default has any known security issue.

For the tinfoil among us, jump on the post-quantum key exchange train, there's little overhead, it still uses traditional elliptic curve crypto, best of both worlds.

The jump-off: sntrup4591761x25519-sha512@tinyssh.org
This is so useful! I've previously resorted to searching the page for the word "minutes" to see the recent comments, but that's been unsatisfying.

I only wish that we didn't have to use third party extensions for loading scripts like this. I can never quite bring myself to trust them with full access to all of my pages. This really should be a part of the browser functionality already.
Aim for the whale, not the petunias. They are already having a worse day than you.
*boomer owned military vendors.
Yes. When spiped was released (2011) there were no really good VPN solutions out there.

Now there is WireGuard, but it wasn’t launched until 2016.
There likely isn't one outside of Drew DeVault's commitment to supporting open source projects. He sponsors many OSS projects to my knowledge.
AFAIK, these telescopes produce a lot of data. Do we send this data back to Earth, or keep it on the moon and work on it remotely? Do we have the bandwidth to send it back to Earth? I’m really interested to know how much bandwidth can be achieved with an Earth-Moon link.
I came here to ask the same!
Isn't it normal for people who have more productive years behind them already (and thus more savings etc.) to own a bigger share in the economy? Today's Gen Z-ers will too be retired 40-50 years from now, and will also own lots of assets then.
Years ago there was a libertarian proposing this as "assassination politics": simply create a system that allows people to bet that "politician X will be assassinated before time T". People who want X assassinated take the other side of that bet. Eventually there may be enough money in the pot that someone considers it worth making the hit and collecting the bet, and the people on one side have paid for it without directly paying for it.
Oh my how we love labels! And arguing about pointless sh!t. Question actually is wtf we going to do about the current challenges. Finger pointing doesn't move that forward.
Because they are cheapskates and want to squeeze out the maximum profit with the least effort.
They may be trying but everything they’ve done has put a California in a death spiral like a declining civilization. Driving the 5 is like Mad Max Fury Road. Every year the state gets more lawless and hellish and poverty increases. Democrats have a super majority and just put embarrassingly woke policies into place that do nothing to solve the opioid, meth, crime, or other problems ravaging the state. Last night I was in a parking lot with my 14 month old daughter and there were literally 3 screaming insane people in the parking lot within 40 feet… How are people supposed to feel safe with kids?
I don't know if this is too basic, but we tried to make butter from scratch one time and everything we saw said that if there was even the tiniest bit of liquid left when you're done churning, it would cause the butter to go rancid basically overnight, and sure enough, that's what happened the first time! The next time we made sure there wasn't any liquid left and it lasted much longer. I don't even know what the liquid part is called, but it would get stuck in tiny little air pockets while you were churning and it was very difficult to ensure that it was all gone by the end.
> Are you OK when Apple locks down the Mac line? What if you couldn't use Brew to install open source software?

I’ve wondered about this for a while. After about 2015 when the MBP was steadily losing features and gaining problems I was certain that my next machine couldn’t be a Mac. I was certain that the Mac would be rapidly becoming a glorified iPhone.

The trick is, I don’t know where to draw that line. One thought about jumping ship to Linux full time, but I haven’t been able to trust the setup. I’ve heard Windows with WLS is good, but haven’t tried it.
I don't need to. Wikipedia does it for me.

https://en.wikipedia.org/wiki/Eradication_of_infectious_dise...
Unless they can establish theft of IP, I don’t think that Eleftheriou has any chance to win on the grounds of monopolistic behavior. Apple can claim that they were developing for years the feature and did not release it for UX reasons. Apple also does not charge for the app, so consumers were not harmed.

I think that spotify has a much stronger case, given the fact that apple is selling a directly competing service with an obvious price and bundling / integration advantage
The extension “Refined Hacker News” for Chrome lets you click to collapse a comment thread.
Found where the Intel PR people are.
The responses I wrote can (and should) be delivered in a friendly, half-joking, and easy-going manner. I don't believe you should ever get into a defensive and argumentative mode in a job interview. Well, not just job interview, ever, really.

However, I only agree with the last of your bullet points, as that's basically what I'm suggesting, just expressed in a more straight-talking manner.

Regarding the other points. The first bullet-point is not something I'd do. I mean, for the right position at the right place I might be willing to go for a salary reduction as well. The second bullet point is not really workable, as another commenter says, you can't know their comfort zone. Moreover, they will note it down that this candidate wants more than we are willing to offer, and therefore might soon start to look for other opportunities. Unless you go for a hyperbole, in which case this is pointless, and may be even worse than just not giving an amount. Depending on delivery.

So, basically, there is nothing to gain if you are the first one to state an amount.
State of the Software Supply Chain 2021
If you like Wireguard's security, you can emulate it in your sshd_config:

Ciphers chacha20-poly1305@openssh.com
KexAlgorithms curve25519-sha256@libssh.org
MACs hmac-sha2-512-etm@openssh.com

The MAC is irrelevant, as that function is built into the AEAD cipher, which are to be preferred (the alternate is AES-GCM).

This will shut off a lot of legacy SSH clients. Android Connectbot specifically needs the AES cipher; adding it causes problems for putty.

Otherwise, this is the classic "best practice" site for SSH:

https://stribika.github.io/2015/01/04/secure-secure-shell.ht...
> I think it’s weird that a punctuation mark inside a quote can end the sentence that contains the quote.

It doesn't. The end quote with a period inside it ends the sentence.

> I’d argue like this: in the above case there are two sentences

There aren't. English doesn't nest or overlap sentences. Ever. Therr are plenty of ways in which English combines multiple units which each could otherwise be their own sentences into more complex sentences, but none of them involve having something which remains a sentence inside a longer sentence.
> the explicit ads

as in "THIS IS AN AD" or as in "this is a porn ad"?
Thanks!
Yes, the overlapping position is a tricky one, not sure yet whats the best solution for it. Perhaps then the vertical timeline bars should be split into multiple bars that are parallel. I need to test it. Thanks for pointing that out.
Then you have no signifier for whether the quote is partial or not. Did you quote part of something someone said or the full sentence?
You're missing the point.

They rejected his app while going ahead and releasing a clone. Why?
In that case, not capitalizing the word immediately following the quote will work as an indicator that the period is not part of the parent. This doesn't work in the case that the word following is a proper noun. But that's an edge case on something that doesn't really matter.

I agree that maintaining punctuation of the quote is important for context. But outside of the quote, it practically never matters if there is a period or not after the quote. The reader may choose.

> He looks up, "This is it." Bob says, gazing at the sky.
I see what you mean now, and I think you are completely correct in that!
This is most likely the case. Searching for "drew devault openstreetmaps" comes up with next to nothing.

Drew is very pro-OSS in this regard.
This is now a feature of hacker news itself, as of a year or two ago (?). No extension required. I think the parent comment wants a feature to collapse all comment threads at the same time, so only the top level comments are visible.