skysight-inc/HackerNews huggingface dataset:
> What I'm saying is that there is a set of incorrect runtime behaviors that can only be exhibited in a dynamic type system, that is, the set of type errors. I'm not aware of any runtime errors that can only be exhibited under a static type system.

But that doesn't mean they have fewer bugs! They might well have more.

> What I'm saying is that the set of possible incorrect runtime behaviors is smaller in a static language.

Not exactly. For every program in an untyped language, you could write a typed program with the exact same behaviours.

The assertion that typed programs have fewer bugs is simply false in theory, and failed to be confirmed empirically.

> However it is my belief that if there is an effect on bugs overall that it derives from what I understand to be a formal character of the runtime behavior of statically typed programs, that there are fewer ways for them to "go wrong."

I understand that that is your belief, but it is supported by neither theory nor practice.
Companies do not like risk. That kind of time off has high potential recidivism. If there are 2 candidates then lower risk one wins. Years ago I had HR decline a candidate because of a messy divorce because of perceived risk that I still don't understand.
Artificial usually refers to synthetic
Taking risks is a necessary part of the creative process. Making something less 'accurate' is one possible risk.

Whether something is on a good path or not is part of the curation process.
> Docker is useful if you have multiple applications with different versions of the same dependencies running on the same machine, as well as for deploying onto any machine

Different languages get a different amount of boost here. Ruby is an example which strongly benefits from docker deploys. You don't need to worry about what version of ruby (if any) will be installed on the host. And you don't need to worry about getting your gem dependencies installed on the host or figure out how to bundle them into your app code.

I think older dot net apps required the runtime to be installed on the host. Docker would have helped then.

The other big draw of docker is uniformity in deployment (the shipping container metaphor). Deploying code of any language and third party apps can be very similar. This is a powerful enough idea that giant abstractions like kubernetes have come to exist. This would be much more fiddly if each application needed to be special cased.
Couple of thoughts: does ai debug? While coding takes time, I spent way more debugging and trying to suss out code to fix it. While this can be a typo, it’s more often a logic or domain error that has to be found.

Does ai consume? Most of the HN readers live in a consumer society, driven by the wants of people-with-money. If this disappears, what’s going to pay for the toys and the ads?

Can ai innovate? I thought “ai” today is more of a pattern matching approach than the 5th generation/inference engines of the 80-90’s? If so, how can it expand beyond the underlying trends in its training set?
I may have gone with the following. Yes, some characters are repeated, but I'm not playing code golf.

stripped_lines = (line.strip() for line in buffer.readlines())
non_empty_stripped_lines = [line for line in stripped_lines if stripped_lines]
>Official reports are of a overwhelming correlation of LACK OF vaccination and OCCURRENCE OF hospitalization and death.

Study provided by the same people who said the vaccines immunize and prevent infection. I literally brought this up in the post you responded to.

https://www.cdc.gov/mmwr/volumes/70/wr/mm7013e3.htm

https://www.cdc.gov/mmwr/volumes/70/wr/social-media/mm7013e3...

This is misinformation we now know this is a lie. Why do you think the CDC is publishing misinformation? Why do the 'fact checkers' not fact check these lies?
Conversely, don't be afraid of aftermarket vehicle warranties (in the US, and after you've vetted them). Perhaps a YMMV moment, but I've had a very positive experience surprisingly.
That was probably me. Compliance has been even more difficult lately with my seasonal allergies. The silly thing is that the physician who prescribed it doesn't check in on me other than one checkup a few months in to having it, so it's really only used as a fiscal compliance tool.

Lots of manufacturers probably do it, but I'll name and shame anyway... it's a ResMed AirSense 10.
Such an initiative would involve reimplementing/proxying the entire set of browser APIs to Python: not only would that be a huge undertaking maintenance-wise for the developer of that project, but also, for any Python dev wanting to write userscripts, the learning curve for the new Python API wrappers would be much much higher than just learning JS.

If you like CLIP, just writing CLIP.js would be much much easier (and have more applications).

> x.isnumeric() and 10000 > int(x) > 5000

isFinite(x) && 10000 > x && x > 5000

Learning another C-like scripting language when you already know one is really not very difficult (certainly hella easier than learning a new set of platform APIs).
PH stands for?
Firstly it's great that you've got a lot of enthusiasm for this and a roadmap.

> I built the least straightforward board game: Battle Star Galatica ( https://boardgamegeek.com/boardgame/37111/battlestar-galacti... ), and I've also made hearts.

Sorry about that, I was being unclear, is this visible anywhere? Can I look at how you've done it?

In my experience authoring systems can fall into two broad categories:

1. You can think in them, so they're a useful space to prototype and if you're lucky the output is good enough to ship.

2. You can't easily think in them, but they have other positive qualities, they're performant for example, or target a wide array of platforms, so you sketch out ideas elsewhere and once you've worked out what you're trying to do, pull it in.

For some people, this is a non-problem, they've internalised a system well enough that they can do everything in one place.

If you can show what a prototype looks like, people can start looking at what you're producing and see where this fits in their toolbox of useful tools. Or they can point out gaps they perceive which you can look at and think about whether fixing those perceived gaps is within the vision of your tool or not. Maybe you're just not wanting to solve that use-case =)...

I would also suggest setting aside a day and showing what you currently have to some people who design games, either as amateurs or experts and see what feedback they give you. You may already have something they want to use, or you may find blockers that prevent them from using it. The mom test[0] may be useful here if you are collecting feedback to discern useful feedback from platitudes.

If you're not interested in doing this because you're building primarily for yourself, that's cool. I just think that this might be a useful exercise to work out if people would be more willing to engage with what you're building and what if anything might be holding them back from doing so =)...

- [0]: http://momtestbook.com/
Right, the difference here is that the calculation that determines the expected payout is the same as the calculation that determines how much it costs to switch. With the coin, the cost to play is set and is lower than the expected outcome.
I grew up gifted, but my life didn’t turn out the way I expected (2019)
Who said there is a uniform distribution on the natural numbers?
Is there a name for the fallacy you commited here - assuming it must have been a big deal, which was necessarily minimized by the effort?

It's a case of:

-- Why do you spend all these millions putting these plastic scarecrows all across Nebraska?

-- They keep sharks away.

-- But Nebraska doesn't have sharks!

-- Exactly! See how effective it is?
There is also clearly something fundamentally different about how humans learn language. Even if you are an extremely prolific reader, you will struggle to read much more than 20 million words in one year. GPT-3 was trained on several hundred billion words, which a human would need more than 20 000 years to achieve. If we get language models that can convince humans after training on 1000x smaller datasets than GPT3, and that would sound convincingly like a child after training on a 10 000x less words, we can start to argue they might function similarly to humans.
> I think you should quote more of that sentence

well, that would have made the requisites for the posts harder to meet :)
Yes, the ecosystem encourages complex hierarchies and abuse of "patterns" but at least the standard tooling has no problems with things like "find me all places this method is called from" or "find me all implementations of this method". YMMV, but my experience with plain Java is better than with Python.

That was about plain Java. Where it stops working is some "dependency injection" frameworks which jumped the shark and stopped being about dependency injection (cough Guice cough). A fracking argument to a method comes from god-knows-where because The Framework injects it based on a combination of its class and and annotation? Yes, now it is as bad as Python or maybe even worse :)
And NFT!
Some charismatics say that spiritual gifts have a learned element. “Teaching” is listed as a spiritual gift and no one expects teachers to not need to develop skills, why would prophesying, discerning spirits, speaking in tongues, interpreting tongues, etc. be any different. Of course, there are stories of people spontaneously speaking in tongues because their tongue was moving on its own. My view is that most speaking in tongues is … optimistic, but I also heard a story where one woman was just saying the same syllables over and over, and one day a visitor came over and asked her “do you know what you are saying?” “No” “it’s an African language, and I’m one of about five outsiders who have learned it; you’re saying ‘praise God praise God praise God’. I also met a Vietnamese guy that could not speak English, but his group needed to speak to the English-speaking admin of the camp to seek asylum. This group appointed him as spokesman, and prayed that he would be able to speak English. The next day he went in to talk to the guy, and had no problems being understood, because he was speaking intelligible English without realizing it, and none of them having ever learned English. Those stories are the exceptions, although since charismatics tend to value the experience of God, those tend to be the “expected normal”. The miracles make great stories to tell, but the more normal miracle is mixed with the mundane and not easy to identify (after all, Christ is human and divine, how do you tell which is which? This mixture of human and divine seems to be what the Bible describes God as seeking, so it would make sense he would prefer to work that way)

I’ve experienced tingling strongly one time. It was sort of like a non-localized internal “buzzing”, kind of like if you’d drunk a lot of coffee but without the tightening of the muscles. I’ve also experienced kind of an internal itch, where it’s just easier to shake my hands.

The charismatics I’ve been a part of are more of the love flavor, though. (e.g. “but we do not have a spirit of fear, but of love, power, and [wisdom]”) This feels like a warmth in the chest, and if you partner with it tends to lead either to feeling very relaxed and happy, or more energetic and happy.

It took me quite a while to be able to sense it, though, similar to how it took me a long time be able to taste the flavor of an individual herb in a dish of food. And there’s an element of partnering, too. If you’re resistant to the whole idea, or mad at God/the Church/people/life you’re a lot less likely to experience it. There are times where I missed the experience because I was resistant. Also, it seems like some people are quicker to be affected; by the time I sense something strongly, everyone else is likely to be on the floor. I’m not sure if it’s something about how I’m made or just a resistance to being out of control.
You seem to have some confused beliefs about what LessWrong people actually think. Theories like bayesian neurons aside, nobody thinks or advocates that people actually do bayesian updates as part of every thought. The point is that inasmuch as human thinking diverges from the formal math of probability, it will be less accurate - that there is such a thing as an idealized thought process, that thinking and learning has laws that can be understood and applied. That human minds aren't coincidental; that there are reasons why they work the way they do.
Prison for 5 years for being a black hat lol
Robusta has a higher resistance to insects due to the higher caffeine content. The caffeine that poisons them is what gives us a nice intoxicating buzz. It grows at lower altitudes thanks to this trait. With climate change, it’s unsurprising that this is becoming a more common crop. The coffee snob me doesn’t agree that it makes a coffee beverage equivalent to arabica. Maybe roasters will innovate a way around that. Ditto with instant, though it’s useful to me to find a good roaster’s version when I travel.

The environmentalist me also appreciates that arabica supports better biodiversity, and it’s a shame that farms are tearing down arabica plants to replace with robusta.[1,2] Climate change is wreaking havoc. In places like Ethiopia it’s especially disconcerting since these heirlooms are native species. In other parts of the world as disparate as Indonesia or El Salvador, it’s not too surprising that climate change is exposing the crop’s inability to withstand environmental stress because these were imported during colonial times.

1-https://www.worldbank.org/en/news/feature/2020/06/04/why-bio...
2-https://www.reuters.com/world/the-great-reboot/if-your-coffe...
Biden to meet Fed chair as inflation bites pocketbooks
You plug it into anything that records sound.

The earpiece has a good microphone that captures both sides.

I was skeptical at first, but It just works. It records both sides of conversation well.
I wouldn't consider MS Office "entrenched" any more, at least for the under-30s crowd. Word has been largely replaced by Google Docs, and Excel is slowly being phased out in favour of far more powerful programming languages like Python and R (but is still definitely dominant; I bought an office key mainly for that one app). Outlook has been replaced by web-based services like Gmail.

I remember being surprised when a couple of older people I was building computers for asked me to put Office on them. There was only one guy I knew from my generation who still used it.
Tool helps cities avoid rabid NIMBY arguments over housing
It's best to think of Docker containers as mini virtual machines. They let you have a system that always boots up in the same state. Thats not really possible with standalone apps because the state of the OS is not isolated, even changes to the PATH can easily screw things up. The problem is 10x worse in Linux with all its distros and that's where Docker was invented. Try making a standalone app in Linux and you're soon looking into flatpaks and AppImages which have their own problems.
There's some evidence that burn out and depression are linked. If you can afford therapy, through benefits or just writing it off as an investment in yourself, I would recommend it. What I've gotten out of therapy has been worth the cost and has helped me with burnout. The brain is a funny thing and it may or may not be your job that's the issue.

Choose a better job. There are a lot of software jobs that aren't as glamorous as working for startups. Sure, you don't get to build applications with frameworks invented 5 minutes ago, but they often reasonably well and offer better work-life balance. Why do you want to work at a startup? Why not a bank or a large outsourcing company like Accenture?

Ask yourself why do you want to be a developer? I've known people that love developing software to the point they would do it for free, on their own time, in addition to working. I've also known people that leave it behind the moment they move into management. They like technology stuff, but don't love building software. If it's more a lifestyle or culture thing, then, look for jobs on the analyst/product manager side rather than engineering. Maybe sales?

Go back to school. Why go to school if you already know how to program? Because that's not the point of a degree in computer science. CS is about the why we do things the way we do. It would do a few things for you: 1) fill in some of the gaps your feel are important and 2) allow you to reset your brain a little, and 3) allow you a way to reset your career.

The thing to remember is we're always suffering imposter syndrome at some level if we're growing. As you push into new areas you'll always feel like a bit of a fraud. I'm currently going through it as a I move into management and they keep adding people to my team. At the same time I need to present the face of "I know what I'm doing," inside my head I think "I have no idea what I'm doing." That's normal. What's not normal, is feeling like you're drowning.
This. So much this. It's natural human tendency (and quite paradoxical tbh) to have the comfort of a routine also be the root cause of so much pain, feelings of being stuck in a "rut", and general sense of "is this what the rest of my life is"

And I always tell folks that if you can afford to take a few weeks/months off, do take it out and travel. It doesn't need to be a fancy, expensive vacation to the other side of the globe. But as long as it's forcing you into an environment that is unfamiliar, where things like food, culture and even basic human interactions are so different to what you are familiar with, you'll realise how quickly your energies get replenished and the problems/envy/lack of ambition will all start feeling small in the rear view mirror.

As the saying goes, it's just a bad day, not a bad life. :)
I would not conflate lone cells committing acts of violence with state-backed, campaign organized terrorism like the citizens of Israel have to suffer from - which is why I wrote campaigns of terrorism.

I agree, every incidence of terrorism is one too many, but the scale is completely different - if you live in Israel's border regions, you are constantly living under threat of rockets or bombs made out of party balloons [1].

[1] https://edition.cnn.com/2021/06/16/middleeast/israel-gaza-in...
Yeah, that's a fair accusation. Part of the problem is of course that it's hard to have a novel where you only notice the primary conceit if you don't understand what the narrator is explaining. :-)

Like, since perfect synthesis is undetectable; it just sounds like what you're hearing is straightforward common sense. You only notice the process when it fails. So for sure, the book could have played with that a lot more, especially since Siri's tools are meant to be broken towards the end, when he's implied to be penning this. I think there's bits where the book suggests that's what's going on ("I can't tell you what it means, only what it says"), but it never came across well to me.

But then again, maybe that's just how a failure of synthesis would look. Like, you still want to understand what the book is saying, but if the mechanism is working it's invisible, and if it's not working, then you're still relying on it working to produce the thing you're reading. So it's just inherently hard to shine a light on the thing itself with itself, which of course plays into the central theme as well. Ie. because Siri is implied to not be fully conscious, it's hard for him to catch himself in the act of translating for us readers.

(Of course we may say that a book designed to be hard to read is still hard to read.)
Nobody creates anything from scratch. The idea that anyone does is a myth, and a harmful one. Everyone -- everyone -- builds on the work of others. Picasso and Einstein did. Everyone does. This is the fist thing you seem to be missing to realize there's nothing wrong with the work you do and the way you work. You are delivering value.
Excellent answer. Worth adding to the wiki page.
I’m convinced that there is no western country worse for doing a PhD than in the UK.
Please don't use preformatted text for quoting, it's painful to read.
Not true. https://www.youtube.com/watch?v=LItNFP7icUw
GoLang works for my team because it's boring, small, compact, not fancy, easy to pick up and start writing real production code in less than a week. It hits the sweet spot with regards to language constructs, performance, features, superb documentation, and a de-facto set of practices and design principles that make it easy to pick up a completely new codebase and understand it very quickly.

It works very well with VSCode and even better with IntelliJ IDEA, debugging is painless, and it even runs on our Raspberry PIs and other IoT devices. We use GoLang on a whole bunch of MIPS and ARM devices, it's a great option seeing as how quickly we can get production code up and running on small edge devices, routers, etc.

Sure, we can write embedded code in C, but GoLang allows us to roll out new features three to five times quicker.
>Its quite likely AI will…

A deus ex machina, if you will.
There was no need to wash it with chemicals, the larvae would have just died after they went to your canalizations... Or just boiling water ?

I am surprised by the amount of people who think everything needs to be sterilized. They will use bleach to "clean" every surface and do not seem to understand the basic of how soap works....

Grease --> Soap, Hot water

Tart --> Boiling alcohol vinegar

Everything else -> Water, the best solvant on earth.
Ask HN: Moving abroad at 30, no friends/girlfriend, need advice
I will move to London to work for one of the big techs, but I know no one there. Most employees work remotely. I have a few friends home but in the long term no one will follow me in London. I have been exploring options to make a few new strong and long lasting friendships and finding a girlfriend there.

Periodically I read on HN stories about how difficult it is to make friends after 30. How shared context and repeated interactions are important, proximity, situations that allow confiding in each other, etc, although in practice I can only think of university as a great option that checks all the boxes, both for finding high quality friends and girlfriends, but that's not an option anymore.

A few other options I considered: participating in activities around the city (e.g. going to the gym, start a sport, dance, go to meetups, join clubs, etc), although I am not sure which things/activities/contexts really work and are attended by smart, social men and women open to expand their social circles. I can think of a few things that might work for some things, but not for others (e.g. go to the office to meet smart people with similar interests, but good luck finding a girlfriend there, considering the gender ratios, or joining a dance class to meet women, but good luck finding techies there).

So, in short, what would be in your opinion the best things someone could do to make strong, long lasting friends and find a girlfriend? I am looking for the most effective solutions, I am open to try new things. My strongest interests are tech, investing, startups, playing guitar, acting, and psychology.
Wouldn’t pausing pihole allow, say, a Roku box or “smart” TV to exfiltrate data that was previously blocked? This is why I use a VPN for certain websites to bypass pihole filtering.
What you observe there is context limitation. GPT-3 as is, has a fixed length context window which limits its capacity to remember and be coherent across long horizons. A hierarchical version that contained summaries e.g. for previous sentences, paragraphs, and so on, could in theory, behave much better.

This is the more "sophisticated" approach. The brute force approach says to just throw more compute, larger contexts and see what happens.
Walter please
Off-limits in actual politics, not in futile political conversations between nobodies on internet forums.
The failsafe was probably rather to prevent you from getting rapidly lowered if the power went out, as it is with most elevators.