skysight-inc/HackerNews huggingface dataset:
> A type checker won't catch everything.

That's a strawman, nobody has claimed a statically typed language will catch all possible errors.

It will however catch an important category of common errors at compile-time, thus preventing them from reaching production and blowing up there. Other types of logic error of course exist, in all languages.

> Something like c++. You get a runtime errors. You have no idea where it lives or what caused it.

I don't know what this means? You seem to be suggesting that code in a statically typed language cannot be debugged? Clearly that's not true. Debugging is in fact usually easier because you can rule out the type errors that can't happen.
I can see how it could cause problems if they weren’t using the type system correctly.

typedef float cm;
typedef float meter:
cm a = 1;
meter b = 1;
if (a == b) {
// launch rockets
}

I’ve done something similar (not including rockets, don’t worry!) in Swift with its typealias feature. Thankfully there is a way to actually force compiler errors in such situations with something like https://github.com/pointfreeco/swift-tagged
Huh, it’s almost like he has no fucking idea what he’s doing.
fwiw Elon promises "half" the ads, not just fewer. If Twitter increase the total number of ads, as you say, then the value proposition of this arguably goes up.

Regardless I think the problem is ads on a site like Twitter aren't really worth paying to skip. I have Spotify premium because it really is annoying to listen to an unskippable audio ad in the middle of a playlist, but scrolling past a promoted tweet is not much different than scrolling past a tweet by a follow that is about something I do not care about.
Can somebody name one practical application of QC? Perhaps not right now, but within 3-5 years? It can’t be prime number factorization in encryption, since people will just switch (and already have) to elliptic curves.
Oh, so many different issues.

Big businesses have an interest in stability (business as usual is predictable) and in being left leaning (pretend to care about people, lobby politicians to lobby for policies that entrench you in a position of power), it's to be expected they won't like change and that they won't like Elon.

I don't think Elon cares too much tbh, he's obviously going to pivot Twitter into something like Line in China which does everything. I'm half expecting payments with crypto soonish.

Trump biggest mistake was not to decrease public spending. You can't really scream at big government while doing exactly what your opponents are doing. He was decent policy wise and was positive for the economy. Overall he did much better than I expected out of a reality show contestant.

Berlusconi did some good things policy wise but ended up facing a system that doesn't want to change. Italy doesn't have any hopes of redemption.
The government is designed so that radical change is impossible (it's different in the US).
Italy will keep on piling on debt until the government completely chokes the entire population and the country collapses.

Trump and Berlusconi share a lot. Elon is crazy in his own way and pretty different.
I have some unpopular opinions about developers, and I'm likely to be downvoted on this site for them, but anyway:

* Most developers have negative productivity: they cost the company more money than the company derives from their work

* Thanks to the bubble in the tech sector and lavish startup funding, a lot of developers are producing software that brings in no value

* Thanks to the bubble in the tech sector, and great pay, a lot of developers have distorted ideas about the value they bring to their companies

* Thanks to the bubble in the tech sector, a lot of developers overestimate their productivity and importance

* Even if you work really hard, and have great skills, it does not mean you are producing something valuable and demanded by the market

* If your company makes more money from your work than it pays you, your job is likely safe

* If the company does not make money from your work, you should be thinking about plan B

* Sometimes it is very difficult to estimate the impact of your individual work on company performance. Your job is not safe, and you should be thinking about plan B even if you are doing something really important.

In conclusion: always be thinking about the real $$$ value your employer derives from your work. If you are paid a lot only because there is a shortage of developers, you might be in a bubble, which can pop.
Sure:

> Trump provided a lot of engagement and popularity to the platform, so banning him was igealogy-driven and was very much against their business interests.

You either have those engagement numbers or you don't. Which is it?

You either know how much advertising revenue he generated -or- how much he drove away. Or you don't.

You either have evidence that banning him was against their business interests or you are just guessing. I don't think you have those numbers. You suggested Elon Musk might have those numbers. So it's pretty clear you yourself don't have the internal business numbers that would be used to make those decisions.

Lacking sources to back up your claims, then you were arguing in bad faith.
But I'm open minded. Feel free to back up that claim with actual evidence.
I think he should've said whatever he believes is the truth. I have no idea if he did or didn't do that though.
There're tools that analyse and report on code's actual complexity. Using, ya know science.
must be a really smart businessman with deep pockets.
Is mastodon accepting new members?
I've tried joining 3 different instances, but no confirmation email has found it's way into my gmail inbox or spam folder.

Is the mastodon network accepting new members? Or having technical issues?

Curious to learn if anyone has successfully joined today.

Servers tried:

https://mastodon.sdf.org/

https://mas.to/

https://c.im/
All right, well, I respect you for trying, at any rate. Politics just poisons everything, I suppose.
On a phone it's a bunch of boxes and the text is too small to see, so horses for courses I guess.
I tried with the Quest Pro. It’s cool to see the giant screens and set things up, but the pixel density and resolution is really not there yet. It’s like working off of a 65 inch 480p TV.
I can't load the website by entering the IP (66.111.4.148) in my browser and can't ping it from termux. Weird.
I bought these for 34.99 last month, but it appears to be gone now.

https://www.amazon.com/gp/aw/d/B01N4IRIWK

If you're looking for more features and a more known brand, Costco has these for 99, which is a pretty good deal considering their size and that they come with all extra filters.

https://www.costco.com/winix-true-hepa-4-stage-air-purifier-...
You shouldn't compare a Python web stack with a C++ web stack, as C++ and Python target very different use cases.

You can compare however with a Java or C# web stack, both of which offer a superior developer experience, as well as a superior production experience (monitoring, performance, package management, etc.).
Yeah, will have Part 2 up shortly (author here). If you try to make a Wordpress post too long, typing gets extremely laggy to the point of being unusable. So splitting it into two parts lets me go a little more in depth without waiting two seconds for a word to show up after I type it.
I Love Parsec and Homekit
A quick write up on how awesome parsec + homekit is for remote work on personal projects.
Let's take the case where we need to add to any element of the structure, with uniform probability.

For an array, this means we'll have to move N elements if we need to add at the beginning, N/2 if exactly in the middle, or 0 if at the end. Either way, we'll need to re-size the array, which has some chance of requiring N copies anyway - say, half the time. So, on average, we'll perform 3N/4 moves per element added, requiring 1 cache miss every time.

For a (doubly-)linked list, this means we'll have to traverse 0 elements if we want to add right before Head, 0 if we want to add right after Tail, and worse case we'll need to traverse N/2 nodes if right in the middle - so, we'll have to do on average N/4 traversals per element added. Each of the nodes traversed will generally be a cache miss, so N/4 cache misses. So, the Linked List will indeed be require a third the number of operations on average, but many times more cache misses, so should be expected to lose. If you store the middle pointer as well, you'll again half the number of operations for the list, but that still won't cover the amount of time wasted on cache misses.

Of course, if the distribution is not uniform and is in fact skewed near a predictable element of the linked list, at some level of skewed-ness vs cache speed advantage, the Linked List will overtake the array.

Note that linked lists also have other advantages - for example, they can be used as in the Linux kernel to store the same object in multiple different lists without any copying and without extra pointer indirections (at a small cost of one extra pointer in the object per list it could be a member of). They are also easier to pack into a small address space that has to be dynamically allocated (since you don't require a large contiguous block).
> The quest won't work in a car as it uses gyros.

I did try the quest 2 on a plane and it worked well, apart from when the plane was turning or in turbulence. I suppose the visual tracking makes an assumption that the world is static, which is usually true but breaks down when the plane is bouncing up and down.
> with the option to change the provider.

Ah right, that sounds good. So the user is aware of it.

> But especially with a VPN the privacy is increased as it effectively becomes DNS-over-TLS/HTTPS-over-VPN.

I disagree; VPN providers use an internal IP as DNS server and your connection to this DNS server goes through a secured VPN tunnel anyway.

So, by sharing your DNS requests with an external 3th party you gain nothing, and it's even a decrease of your privacy since now Google/Cloudflare/etc collects all these requests.
If you have a better idea than supply and demand to determine price and hence allocation of resources, the world is all ears.

Until then, it will be like democracy. The worst system, except for all the others.
> A string value is not a great type to convey a user's email address or their country of origin. These values deserve much richer and dedicated types. I want a data type called EmailAddress which cannot be null.

Sure, I'm on board: I also want an e-mail address type. Just not in your shit language in which something can be of type String, yet be null reference.
Sadly seems to be the way of the world in general.

Growth at all costs.

Heck even if you grow at a smaller percentage of what you grew by the year before the markets get spooked and the headlines of doom begin, even for companies doing insane numbers.
They should print out the diff ;)
These consequences-free "I take responsibility" among C-suits is becoming too common. if he really felt responsible for screwing up as CEO, he should be splitting the millions he had received in compensation with people who are laid off. Show some action instead of just making appearances.
oh so that's what the Tesla engineers were doing there. Migrating Twitter to run on Autopilot. Makes sense.

No wonder 50% of innocent pedestrians are being trampled.
I agree for a lot of activities multiple monitors doesn't help that much, but there are some. The most obvious is web dev. Whenever I get into heavy front end work I end up wanting 3 displays: (a) IDE/primary editor (b) actual browser UI and (c) the browser dev console. These all need to be on screen at once because of how iterative and feedback driven the process is ("nudge the button 2 pixels to the left, no 3, no 2, now click to invoke the dropdown, why is the padding wrong" etc).
Unless you're an apple user, youtube premium has 1 feature that you cannot get through extensions and that is offline play. Everything else is accessible, for free, on every platform save for unjailbroken iphones.
Because it's so obviously easily gamed. There are some very specific contexts in which LoC is actually useful. A codebase with 1M LoC is vastly different to deal with than one with 100,000, no matter the language.

Goodhart’s Law: when a measure becomes a target, it cease to be a good measure.
>We accept that a random person jumping on the stage, grabbing the mike, and saying uncomfortable ideas is against social norms, even antisocial.
You are confusing reasoned debate with shouting/trolling. This is the difference between scientists trying to figure out the truth versus two trolls screaming at each other.

>explain why echo chambers are bad.
If you are leader who makes decisions that affects the lives of your team mates and their families, you want to make the best decision possible. At the most simplistic level, decisions are choices between option1, option2, and option3. You weigh each option according to its risks and its benefits. If you have clear and accurate facts, making decisions would be easy. The problem is that rarely you know what the risks and benefits are. In your words, "different interest groups" are shouting their own version of the facts. In other words, determining the facts are the hard part. That is why echo chambers are bad. You only hear what you want to hear.
The above, while carefully tailored to tickle HN biases, has no connection with reality.

Types are exactly equally as "traceable" in C++ as in Rust.
Whatthecommit: Commit Message Generator
in 2015, Deep Dream hardly replaced artists.

Five years later, and Imagen/Dall-E/SD are on the cusp of blowing up the entire field.

Sure, the celebrity artists will be fine, but the twenty-somethings who took out 90K of debt to attend SAIC are in for a miserable five decades.

Coding, like illustration, will evolve, or die, or both.
That part is a pain, yes. It's pretty much just hanging on for now until people migrate off of it. But I don't mind the UX much, find it pretty easy to use.
one could also say that tech companies get an unjustified amount of the money that should go to the journalists through their capture of ad networks.
You can get rid of the overlay by clicking "login" and then clicking "x" in the upper left corner rather than logging in.
We Know Where Your Family Lives
It's funny how BBC annotated American/Oxford spellings with "[sic]".
I would argue the bloated 10+ book series that fantasy and sci-fi have devolved into is the exact bad outcome of LoC or word count metrics.
The voting public didn’t like the slow economic growth and high taxes, which is why they voted for parties who promised to reform the system.
Sega is keeping mini consoles alive
Should we expect H-1B visas to stop being renewed?
There is more to complexity than how nested something is.
Construction seems a good fit?
Mining maybe, too.
I mean, I'm sure there's an element of truth to that, but I also wonder whether post-Musk Twitter is just on a different footing and trajectory than public Twitter. Public Twitter had to concern itself with Twitter's competitive position among the other tech media giants. It made sense for them to be doing a bunch of research projects, AI, AI ethics, moonshot platform projects, and product launches that might not pay off for 4+ years but also served as competitive hedges against, I don't know, TikTok or Substack or whatever.

Post-Musk Twitter can't really afford to do any of that stuff, at least not on spec. They're running (I think by necessity?) a classic private equity playbook here: figure out the core revenue drivers and strip out everything that isn't directly associated with them. Bring costs sharply down, wait for revenue to stabilize, pay off the loans, and then figure out what to do with a much more "efficient" company?

All this just to say: I'm sure they probably did grow Twitter too big. But even accounting for that, private Twitter just has different needs than public Twitter, right?

(The layoffs appear to have been done cruelly and capriciously.)
> harming the extortative textbook business

This.

The government doesnt seem to be doing anything about the textbook business and their questionable practices like:

- Moving a few words/chapters around and calling it a new release

- Selling "activation codes" with the text to kill off the resale book market.

When i went to school (long ago) there was a very active/healthy used book market, not anymore.

My kids were being gouged for books, often written by their prof's and you cant use last years book because the textbook integrates with the testing and you need your code?

But sure, let's not focus on that at all.
The video mostly seems reasonable, but the economic arguments toward the end seem off base to me.

Hossenfelder describes a situation in which universities rent equipment from large companies, but fits this into a worldview in which quantum computing as an industry will not be commercially viable.

But isn't this exactly what happened with the internet and other new forms of large scale computation? Initially demand came largely from academia (or government via defense), companies competed on cost and usability. After a few years or decades of competition and scaling, the technology became so commercially useful that it's now ubiquitous. Why won't that happen with quantum computers, why would that be a bad thing, and why shouldn't academics want to be working on that?
Side-question: Is it normal to write [sic] after an alternative but not wrong spelling of a word? Jack is American, and uses American English, which I guess is against the BBC's style guide, but "I realize [sic]" seems to be going too far?
They're already getting three months severance.
Try turning airplane mode on/off, and/or disable wifi. You wont be able to load the site by IP either way. Also completely exit/terminate the fastmail app before doing any of this.
some of it definitely relates to window management features and their limitations
“Growth for the sake of growth is the ideology of the cancer cell.” —- Edward Abbey
> I think he should've said whatever he believes is the truth.

Not really. If your words would hurt other feelings with no upside, it's better left unsaid.

In this case, his words can be interpreted in a bad way easily. The bar for good and unambiguous communication for a 7000-company CEO is very high.
> Another simple case is stripping out any "+whatever" from gmail addresses and to flag that sort of thing for other eomains so support can verify it's not a case of someone creating 72 trial accounts.

trial1@mypersonaldomain

trial2@mypersonaldomain

trial3@mypersonaldomain
If you want to work in VR, I recommend getting the highest resolution possible. I love my Quest 2 for everything other than reading text. It was nausea inducing.

The Valve Index is better but the resolution still isn’t there

With HP’s reverb G2, it’s definitely possible since it has a higher resolution at a good price point. You can get used headsets for less than $300. It’s not great for games that require moving around since tracking is horrible, but it’s really great for work and sim games
> It's English. I know that this could be enforced by my manager or HR, but would prefer to handle it in a more direct/personal manner.

It probably should be. I assume you're not the only English-only person in the office, and likely not the only person feeling uncomfortable. It's really not okay that they are deliberately cutting you out of import conversations.

> Honestly though, there are a host of issues I've seen crop up across my org that I suspect are products of a weak engineering culture caused by our partially-distributed setup. I don't think we're ever going to switch to being completely co-located, but I do wonder if I would have a better experience working in either a completely IRL or completely remote team.

Some will suggest that remote work is as (or more) productive as IRL work, but you're seeing a massive push to get people back into the office after the pandemic for a good reason. For example, it's bad enough that you are being left out of engineering conversations, but if you were all remote, you wouldn't even know there was a Mandarin only group chat for these things.

I won't re-hash the point about remote management, but this situation you find yourself in should have been picked up and dealt with by an IRL manager.

> Hadn't thought of this. I think they like me? But I guess both can be true.

I mean that they would no longer have the 'inconvenience' of having to facilitate you in English at all. They would also not have to follow any English (Western) cultural norms in the office either.
Can you name some? I'd be interested in trying them out. For, y'know, science.
I doubt Twitter takes 3500 infra engineers to keep online.
> The lack of supply is why you are paid more, not because startups are rich.

It's both. If software companies were poorer across the board, without changing the supply/demand ratio, salaries would be lower.
I think you are just feeling impostor syndrome or attributing it to the general developer population.

In reality, there's a lot of boring software which does its job and has meaningful value in companies.

I am not a great developer; I get bogged down by needs for perfection or distaste of inelegant solutions (when I know the _must_ be a proper solution to be found). Even still, I get things done, and I periodically hear about old code I've written that is still valuable to the companies I wrote it for. So imagine what the good devs are doing!

Also don't underestimate the immense developer effort that goes into making enormous, complex systems "work". These systems, and the developers working on them, are essential cogs in a big machine.

That is not to say that hardly any software is correct or reliable. But on average, at least as we see evidenced by software failures only being periodic rather than constant, the many people behind most software must be doing a halfway decent job.
Reddit has a similar number of MAU and 1/10 the number of staff Twitter had. And I don't think their tech stack is all that spectacular, probably worse than Twitter's. Yet, their site runs just fine.
> Extending that logic, if the observer can also move at superluminal speeds, he could prevent the cause of the event after seeing the event happen, leading to a paradox

This is a guess, i.e. one possible outcome physicists are considering.

People have proposed alternative outcomes of FTL like the (in my opinion much more sensible) Novikov consistency principle, which roughly proposes that spacetime and the entities it contains (e.g. an observer's wordline) should be looked upon as a whole, in the sense that they need to be self-consistent. Spacetime is not time-dependent and does not evolve, so it does not make much sense to say "something something leads to a [spacetime] paradox".
Thank you for this comment! I never made the connection between my Aphantasia and my seven monitor setup!