skysight-inc/HackerNews huggingface dataset:
> video games cause violence

They don't. Nothing harmful can come out of reading a book.

> DnD leads to Satanism

It can't, ever. No subculture can wander so close to satanism that would lead their elements to coopt it.

> TV rots brains

It doesn't. There's no way of consuming TV that has a negative impact on people.

> movies lead to illiteracy

They don't. Having the choice of a movie never prevented anyone from having to practice spending time learning to consume literature.

> books lead to dangerous thought

They don't. Nothing dangerous can be transmited in print.

Well done, everything is harmless.
Go and live out in the country for a few months. Take nothing with you but the clothes on your back. You'll be amazed. You don't really need all the stuff you think you need. From my perspective growing up in the 70's if you had a microwave, a sewing machine, and an Atari machine, you were wealthy. This video is good evidence of that.
Cars are popular because government has built infrastructure for them.

The idea that bicycling and mass transit are a novelty and dedicating 75% of the most valuable real estate in the world to tonnes of metal to transport 1 person at a time while killing 50k Americans a year is just normal is ridiculous and little more than a reflection of the pervasiveness of auto centric thinking.
What it takes to get home (when your passport has been stolen abroad)
So what? I don't get your point.
> Something like a thousand wind turbines would be needed to replace a nuclear plant (and remember: wind turbines does not work all the time)

Your calibration is off by quite a few years. The current off-shore turbines being built are 15 MW with capacity factors of around 60%.[1] So lets do 50% for wind and 90% for nuclear.

Wind: 1,000 * 15 MW * 0.5 = 7.5 GW

Nuclear: 1 * 1650 MW (EPR) * 0.9 = 1.485 GW

The HYBRIT plant, a pilot project for fossil free steel is going to utilize an over sized green hydrogen production side to enable it to work as a smart consumer and therefore balance the grid. Thus it is completely dependent on cheap renewables to operate and enables deeper penetration of renewables.

> The HYBRIT initiative was launched in 2016 by the three owners; SSAB, LKAB and Vattenfall. The hydrogen storage facility will play a very important role in the overall value chain for fossil-free iron and steel production. Production can take place without a storage facility, but storage provides the opportunity to vary the demand for electricity and ensure stable production. By producing hydrogen gas when there is a lot of electricity, for example when there is a lot of wind, and using stored hydrogen gas when the electricity system is under strain, will ensure production.

> “The hydrogen storage facility has a stabilising effect on the electrical system. It reduces the risk of the system overloading. We want to develop HYBRIT technology so that it is in line with the future electricity system with more weather-dependent electricity generation,” says Mikael Nordlander, Development Manager for Vattenfall’s industrial partnerships.

https://www.hybritdevelopment.se/en/hybrit-a-unique-hydrogen...

[1]: https://www.vestas.com/en/products/offshore/V236-15MW/V236-1...
I have an idea:

1. When creating a Google account, you can choose that the account will be owned by a specified library (or other institution). This can also be done for already created accounts.

2. When that account is then locked out due to missing 2FA, the library holds the backup codes and can be provided upon identification.

This is similar to how Google accounts can be managed by a company that you are employed at.
I didn't mean to imply that people should be using Coq or another proof assistant in their development workflow. More that understanding formal verification aids in thinking about typed programs.

However no type system of a Turing complete programming language can ever be truly trusted as a proof system because looping forever or other non-termination can be used to prove any proposition.

const proveAnything = <A>(): A => proveAnything()

The above function can prove any proposition including 1 == 2, by just recursing forever.

However, take Rust's ownership system for example, it uses a type system that corresponds to a kind of logic called a sub-structural logic that denies one of the axioms of typical classical logic systems, namely, the weakening axiom, e.g. a function of the type

fn <A>(a: A) -> (A, A) { ... }

is not possible to write in Rust, but easily writable in most other programming languages. Because of this, Rust is able to "prove" that the program is free from data races which is pretty cool if you ask me.
I just mean that, I don't see how to properly integrate the josh-server with my SSH keys to do access, how to apply basic roles of who can push/read to what workspace, etc. If I wanted to do this at work "How does it integrate with authentication" is like a #1 concern from an infosec team who'd sign off. If the answer is "It doesn't, use something in front of it" that might be OK too.

In fact I think authenticating and authorizing access to components of a monorepo is definitely in scope for its design, and could allow really powerful and cool things. But I just don't think it does that yet. Maybe it shouldn't. That's all I mean. It's not like a hard rule. There were some other things that I thought might hold me up, but I can't remember them now...

Not sure if you've ever used it but there's some self-hosted software out there called 'gitolite' that does a lot of this. Perhaps they can be made to work together seamlessly...
There are a lot of Prius cabs in Washington, DC. There are also a fair number in private hands.
What you are saying is a false root cause, i.e. "TikTok causes rare mental disorders". Which is not what OP is saying.
Yeah, I'm sure the fossil fuel industry would be overjoyed if they couldn't dump CO2 into the atmosphere without first contracting with every person and animal on earth to reimburse them.
I wouldn't feel confident assuming that the homeless can feel secure in retaining their yubikeys from theft. The optimal solution would probably be some sort of multisig solution where a trusted party like a librarian and maybe a person's parole/benefits/welfare/etc officer hold on to keys.
what do you mean? Elon?
And this is the reason why Elon Musk made a mistake by saying LIDAR was unnecessary for self-driving cars by assuming that cameras could fulfill the role of vision (He used first-principle thinking: our eyes can drive, so why do we need anything more than cameras?). Our eyes and brains do way more than any camera. The part about estimating the size of baseballs depending on one's intention to hit it also shows that our brain takes our intent into consideration when making moves, something no AI/ML-enhanced camera could ever do.
I think the frustrating thing about HN is the (relatively) high number of comments that are both dismissive and substantive. It's much easier (for my brain at least) to ignore comments where the entirety is "this sucks" or "lame" (or even "If I made something this crappy I would throw myself off a building" which isn't uncommon in some forums).

In comparison, gp comment is both dismissive and substantive in that it brings up SQLite VFS layers that can accomplish a similar goal. Author of TFA even updated the README to mention these, addressing gp's complaint.

The whole "this is crap because of X" where X is something that subjectively could be considered legitimate criticism is relatively common on HN, so comments that I don't automatically skip over are rather more dismissive than on other forums.
Ha. I somehow love and hate your last sentence. Generally, this criticism is spot on.
> For ages the source was obvious in "the West" - it was God all mighty armed with the Bible.

which inalienable rights come from the bible?
I think it is a good question that isn't well answered by "they are smart so just figure it out".

Credential stuffing is a big problem. It is a really big problem for email accounts, which often are all you need to reset a password for other critical accounts. 2FA, even SMS-based 2FA observably reduces the rate of account theft. 2FA also fundamentally requires access to some extra thing that you posses, often a computing device. So it also adds friction and can lock people out (as can losing passwords). I think in part because 2FA appeared later, we seem to be okay with people getting locked out of accounts if they lose their password but not okay with people getting locked out of accounts because they cannot access their second factor.

Library computers are also untrusted devices. They are also not the only untrusted devices that people want to use to login to their accounts.

As for solutions.

Printable access codes are supported in gmail. This is a pain to do over and over but does permit 2FA without any additional computing device. You can let people disable 2FA (which is possible), though you can expect another letter pointing at the suffering this causes and arguing the opposite.

You could enroll the library in a "Bob uses this library to authenticate, don't ask for 2FA here" mechanism that does not use cookies but I'm not sure what this would actually be given that the library is deliberately resetting state on the machine after each session. Perhaps there is some acceptable state that the library could keep around? A solution in this vein requires coordination between email providers and libraries but is maybe the most promising approach. Or you could do something like a family account that permits the librarian's account to tell gmail to temporarily permit 2FA-less logins for a particular account/device pair.

You could recognize that 2FA most protects against stuffing and not let people choose their own passwords to guarantee uniqueness, but I suspect you'll get an equal number of people who fail to remember their long password of random characters and get locked out, leading to a similar letter complaining that Google is harming people who need memorable passwords.
> It’s a shame that more engineers don’t have the time or interest to learn formal verification

That's the problem with CS, which is full of beautiful and intriguing topics. Graph theory, game theory, formal logic & semantics, automata, compiler design, theorem proving, type theory, computational social choice, resource allocation, coding theory, cryptography, distributed computation, etc..
Reminds me of an 80’s anti-drug TV ad: “I learned it by watching you” where the kid reveals his drug problem comes stems from his parents.
I really don't see any way for the impact of a supply-side shock not to be passed on to consumers. After all, it inherently restricts the production of goods and services for them to consume, and that directly leads to consumers being worse off in real terms as the amount they can buy with their income drops. Not sure why this would be different from the 1970s, though it's likely more of the profits are ending up in Western economies rather than the Middle East this time around due to increased oil and gas production there and the supply side shock being a bit broader and more distributed throughout the economy.
Friend of mine that I worked with had a Vectrex! I was also blown away seeing this, it was such a neat machine. That was back in the day when video game systems hum was a definitive part of the experience.
But that's not a bailout, it is compensation for harm that Intel had caused AMD by anti-competitive behaviors
that was the idea, great to hear it resonates!
What's TypeScript compiling? Use a treemap to find out
I wish the stupid youtube compressor hadn't hit it with the "SD doesn't matter" settings. VHS should look way better than this, but there's digital macroblocks everywhere, and as sibling comment said, no longer 60i.

I agree though, for a videotape that old, it must not have been played very much for the tracking to still be that solid. Also modern "record NTSC Video to your computer" USB dongles tend to be unable to deal with even slightly unsteady CSYNC signal, so they must've used good equipment. Too bad about the youtube.
Nomad + Consul(with Consul Connect) + Vault. With Terraform obv.

We don't really have a use-case for Boundary but it looks pretty neat as well if you do.

Was on k8s for years and I don't miss it one bit.

While there definitely is some complexity once you get serious and set everything up properly with raft, federation, Connect, CAs, proxies, ACLs, proper secrets lifecycles... I find it's worth it. With the current assumptions that HC will keep improving and existing bugs and edge-cases will be ironed out.
Lazy Pre-Browsing with Prefetch (2019)
we have used k8s for about 4 years and are now slowly moving back from k8s to fargate

creating a scalable system is complicated within aws account limits

all we really want is to shove docker containers behind a load balancer and not worry about having to manage yet another system
There are three types of traffic: Paid, Earned, Owned.

Paid - PPC and the like

Earned - Press, News Coverage, etc. Basically, causing a way to get yourself in the news cycle

Owned - Email is the best example. You, for the most part, control this and it's the easiest way to control your future. By getting newsletters people begin to know, like, and trust you and become more likely to buy.
Went to nomad, which is working better for my workloads.

There's still use-cases where k8s wins; but nomad handles state a bit better and is easier to reason about from scratch.
Longer story with more biographical detail:

https://gizmodo.com/nichelle-nichols-star-trek-uhura-actor-o...

Photomontage of her life (including a great photo of her and other Star Trek cast members in front of the Space Shuttle Enterprise):

https://www.theguardian.com/tv-and-radio/gallery/2022/jul/31...
Heavy metal mines, like uranium? Because what other heavy metals are you imagining?
Well the problem with ADHD is the same problem of pretty much all psychological disorders - diagnosis is only ever really fuzzily falsifiable.

You get diagnosed with it if you tick enough of the boxes of behaviours/dysfunctions associated with it - you can fall short of a diagnosis by one behaviour and still be in a very similar condition to a diagnosed person, or tick enough boxes but fall short based on the diagnosing physicians judgement of severity.

The interesting thing is that despite the condition being composed of a wide gamut of seemingly unrelated behaviour, ~90% of people with ADHD respond extremely well to the same treatment - stimulant medication. We also observed notable neurological similarities in aggregate among people with the condition, but not enough to have much utility as a diagnostic tool.
Officially declaring a recession makes it more likely for a recession to occur
> The entire tradition of thought around natural law and limits on the legitimate scope of the state have simply disappeared in Australia so far as I can tell

Counterpoint: this is usually code for "the government did something I didn't like".

I don't know where you're from but this reads like a very American slippery slope fallacy type way of thinking. You may not be Americans but this line of thinking is popular among Americans. Canada maybe (ie America's hat)?

There's a lot you can criticize the Australian government for. Top of mind for me would be the treatment of boat people. The anti-eryption stuff is really just laughable because it's performative with very little actual impact. It's old people who don't understand technology trying to regulate technology in the most ignorant way possible. Ties to the two old media empires of Murdoch and Packer are more problematic.

But the Australian government still has done a lot of good things (eg the assault weapons ban following the Port Arthur massacre).

> ... immense power concentrated in the PM's offices

This... shows a lot of ignorance about how the government works, at least in Australia's case. First, PM isn't actually a constitutional position with any explicit authority in Australia. The government has been dissolved by the Governor-General (ie Gough Whitlam). PMs have been frequently ousted by their party (eg Kevin Rudd, Julia Gillard, Tony Abbott). There was a period where in 10 years not a single PM had survived their entire 3 year term.

As a counterexample to the "autocracy", Tony Abbott as PM was largely undone by giving an Australian knighthood to Prince Philip. This was deeply unpopular and at the same time completely irrelevant.

Calling this level of accountability to the voters (even though the party-room coup against Abbott had nothing directly to do with voters) an "autocracy" betrays a gross ignorance of how the Australian government works.
For a columnar database, this would probably work fairly well as it would put data of similar compressability adjacent to more of its kind, but more row-based databases where various types of data is intermingled would probably not benefit nearly as much.
If you wear glasses that invert the image, your eyes will adapt to the image after a few days. There is some information on the Wikipedia page of the guy who discovered it (https://en.wikipedia.org/wiki/George_M._Stratton).
I agree that social services should be administered in a way that helps people succeed instead of constructing barriers to benefits...

But is your position really that losing access to your email isn't a big deal with real-world consequences? Forget government services, nearly everything you do online requires access to an email address.
If there were no discernible conservative/liberal divide, what reason would the National Review (or The New Republic or The Nation or...) have for existing? And this sort of piece requires no research and fills space.
To the target audience of the library?

Outlook.com as it's the simplest to use. Their immediate concern is their livelihood so they need a free email account and not have to think about anything else including its lifetime.

To a techie audience?

ProtonMail, FastMail, Tutanota, GMail, Postfix...
If I get really close to the mirror, so close I can barely focus, look at my dominant eye, then look at the general direction of my non dominant eye, but trying to focus some distant object, I can see it moving.
> Copper is used for pipes. They are much more expensive than plastics.

According to my plumber, who now does all plastic, plastic is indeed cheaper, however, connectors are more expensive, so in the end, it ends up being about the same price. He does plastic mostly because it is easier to work with. I believe it is just manufacturers making bigger margins, it is impressive how expensive all these small parts are.

And yes, it is a sign of the industry adapting. It is just that if may not reflect on the final price the consumer pays.
> With the internet and especially media like TikTok parents are exposing their kids to untold bad influences

Some parents. Elite schools in Manhattan and Palo Alto send home fliers that parents (or at least those I know) read.

Screen time of all types is monitored. And the children have a somewhat hilarious self-protecting pride in their control over digital intake. (Most of them. Thinking of two brothers, one who eats his veggies because he, and I quote, doesn’t like his poop going soft, and self moderates cartoon watching and phone fucking around. The other who steals my phone to watch loud videos.)
"The Holy Roman Empire was neither holy, nor Roman, nor an Empire. Discuss."
Recasting this as "Social media is bad for mental health" would be more truthful. But it would not villainize just one new social media platform at a time when legacy platforms struggle with growth.
Apple is not going back to x86; and server side computing is also moving away from x86 - either to ARM or specialised AI hardware.
, as it says in the original post.
You can gear yourself write security related tooling as /u/uaas mentioned, but you'd effectively still be a developer and not a pentester. If that's what you're after, you'll get exposure to InfoSec but you will never do actual pentesting to find vulnerabilities etc. I mean you might, but the companies that offer you both are very few.

I made that exact jump from development to pentesting 6 years ago, after about 10 years of development. Will you miss development? Absolutely. Are there opportunities to scratch that itch? Yes there are - but it's with scripting. The things that can be scripted to make you more efficient are insane. Your ability to understand not only what is broken but also why it's broken will help you advance yourself. You have probably even coded that exact bug in the past so you know where else to look, and you know how to do code reviews. In general, the need for pentesters with a dev background is very very high, especially since now companies worry about supply chain attacks, SDLC, etc.

My solution was to keep coding in my spare time, when I have an MVP I show it at work and then ask for time to work on it. I've significantly improved internall processes, and I've released a few offensive security tools, two of them I even presented at security conferences - as in full blown applications rather than "here's a script that does X". This way I get to pentest and provide solutions to industry-related problems. One thing to note is that most of the security tooling out there (the open sourced ones) is very python/C#/Go centric. I've seen applications written in Rails/Java that didn't get the love they deserved just because it's a pain to install them. I had to learn both python and C#, but it was totally worth it.

If you do make the jump, get ready to take a salary hit as you'd be hired as a mid-level consultant at best - and that's only if you've proven that you know a lot about cyber security, OWASP vulnerabilities, etc. But don't let that stop you, I've seen people join the industry as juniors and in 6 years making over 6 digits (UK). YMMV, but if you put in the time and effort, it's worth it.
Hiring: Ownership Is a Requirement
To a certain extent maybe. I have adhd. Was diagnosed as an adult by several professionals. Not self diagnosed. There’s a difference between “this media is addicting and I can’t stop” and “I went into hyper focus for 6 hours and I forgot to pick up my kids”. In fairness I also have a hard time with consuming things online, but I also can completely forget the world around me. It’s not just a time management deficit. I have no concept of time-passed in that state.
Prediction, operating at the limits of human ability in an extremely limited (but very impressive) application.
Text entry fields in mac programs accept emacs mode ctrl combos. c-a, e, u etc.
Why do we need an authority? When I first heard 'open source' I thought it meant that the source code was open access, I would imagine most people don't put much more thought into it until they see one of these debates on use of the term.
Kind of curious what made it too slow for your use case? I'm guessing you did not users to wait for something like kube-dns to update or the workload scheduler? Of course things like spinning up a Pod can be slow. Or non-Kubernetes things like doing DNS ACME challenges could affect things.

But on other hand, I can't quite figure out why something would prevent, you, yourself, from running the service that hosts the VMs that hosts the containers on demand on Kubernetes.
Young people on the internet have been doing this since at least the 90s, though it's definitely become more popular (mainly due to internet culture spreading to normal society). Just think back to the LiveJournal/MySpace era - it was the same exact thing back then. All the kids that I knew who did this have grown up to be completely normal adults.
When you're focusing/tracking something your eyes do a different type of movement called smooth pursuit [0].

To see this in action, look around normally - notice your eyes move and then stop, taking in "still frames".

Next, look at your finger and move your finger around. Notice that your eyes smoothly follow the finger around.

When the batter is watching the ball, he is similarly tracking it.

[0]: https://en.wikipedia.org/wiki/Smooth_pursuit