skysight-inc/HackerNews huggingface dataset:
Could you cite the "much touted paper" you're talking about?

In my view, making the noisy physical magic states is the easy part of the distillation process. You reset a qubit, then rotate it 90° around the Y axis, then 45° around the Z axis. That's the magic state. Note that the tolerance on those rotations is forgiving: getting them to within 10°, 95% of the time, is sufficient. All the error correcting code stuff that follows has fidelity requirements an order of magnitude stricter.

As you note, there'd need to be some unforeseen obstacle for state prep to be the showstopper. Given how apparently easy it is to make these states, I think any obstacle like that would basically have to falsify quantum mechanics as we know it. It would be like finding out that light can't be diagonally polarized.
Are people so entrenched in dogmas that we need “Stop doing X” type articles every few months?
Think about the personality of someone who is so dissatisfied with the lack of verbosity in his test suites, that he needs a side project of writing a book about unit testing. Of course they will advocate testing one assertion per function, and make up nonsense to justify their recommendation.

Secretly, they would have the reader write 32 functions to separately test every bit of a uint32 calculation, only refraining from that advice due to the nagging suspicion that it might be loudly ridiculed.
Vim is not really an editor. It is a way to edit text, you can use vim in almost any environment. You are also totally wrong about vim or emacs not having code completion, that is just nonsense.

I use (a version of) visual studio, the first thing that I did was installing a vim extension.

Also vim itself already supports almost any of these features with some basic plugins for the completion logic. If I type "." in my vim I get the same thing I would in visual studio.
If you are saying "vim is bad because it lacks X IDE feature" you are missing the point.
I'm not saying that you are not right but it seems to me that you have been so close to realization but missed it because of your own believe.
Is this like OpenSnitch + PiHole combined?
'It looks like' - so the big headline already contains a 'maybe'?

recent tweet of his: 'To clarify: I'll likely continue to post new stuff (blog posts, project releases etc) here, and I'll watch out for DMs and mentions, but I'm not going to be refreshing my timeline or actively seeking out conversations to engage in any more' - link for the curious: https://twitter.com/simonw/status/1588778119422701568

reminds me of all the "Quitting Facebook" memes.

I'm gladly going to be wrong, but Mastodon will never be mainstream _anywhere near_ to what Twitter was/still is for all the reasons that have been pointed out on every HN thread about it for days now... How about waiting to see what happens instead of an ideological knee-jerk 'pat myself on the back' half-quitting but not really reaction? Sigh... and the love it gets here, I can't understand it...

It's going to come off as harsh but I can't read this and not think of a petulant child not getting what it wants.

Maybe it's just because I don't have Twitter, Facebook or any of that crap so I guess I can't understand it because I don't have a stake in any of it... guess that kind of reaction is typical for someone living the messy life of hour by hour social media craze.

(sorry I could not refuse to write this comment)
Where does the OpenAI APIs fit into this?
Thank you for the nice tool, and for all the nice things released by Mercury. I loved ["On"](https://www.pouet.net/prod.php?which=65350) so much, and [hg_sdf](https://mercury.sexy/hg_sdf/) is a very nice library.
Lol I was just thinking the same thing. Why do I think this is going to end badly?
"A foolish consistency is the hobgoblin of little minds"

- whoever

I definitely write tests with multiple assertions, the rule I try to follow is that the test is testing a single cause/effect. that is, a single set of inputs, run the inputs, then assert as many things as you want to ensure the end state is what's expected. there is no problem working this way.
Pretty interesting. Would love to see if users can choose their own servers as the underlying identity pool.
PS: SPN: Safing Privacy Network, https://github.com/safing/spn
No, but I expect a reasonable politeness.
This is FUD. You did not need ME to update the firmware.
User-wise Facebook seems to be doing fine:

> One area where Meta showed promise was in adding to Facebook’s massive user base

> Facebook has 2.93 billion monthly active users. 1.98 billion daily active users. That was up from 1.97 billion three months ago.

> Facebook has 264 million monthly active users in the United States and Canada alone. The majority of Facebook’s users belong to the 25 to 34 age group.

> Twitter has 206 million daily active users.

> TikTok has 1 billion monthly active users (MAU’s).

Facebook is going through a massive pivot and spending a wild amount of $$ on the Metaverse. All tech stocks are down. So I wouldn't put too much weight on stock price.

The other major thing is how Apple changed ad tracking works which reduce ad prices by 20% on average. That's a major decline in revenue for any company ("Advertising represented 98.2% of the company’s total revenue"). But YoY revenue only declined by 4%.

https://www.wsj.com/articles/meta-facebook-q3-earnings-repor...

https://www.demandsage.com/facebook-statistics/
Windows has "alt+tab"?
It seems we're still a long ways off from diamond semiconductors becoming mainstream. I wonder what the forcing function will end up being to dethrone silicon.
So they created selection pressure to maximize LOC created? Intentionally?

I can just see the remaining devs frantically running everything through code obfuscation tools. Double the size of everything! That’ll look great!
No, there really is no new insight OP or anyone else has.

At the end of the day, the only thing that matters is writing something that works and works well. Hackers go through too many moodswings to be worth paying attention to when they start telling you how you should code.
Yes, you got us rubyists there. :-( Its the unfortunate result of trying to avoid premature optimization and strive for clarity instead. Something thats usually sound advice.

Enginnering decisions have tradeoffs. When the testsuite becomes too slow, it might be time to reconsider those tradeoffs.

Usually though, I find that to road to fast tests is to reduce/remove slow things (almost always some form of IO) not to combine 10 small tests into one big.
No not at all, but the severance package they're getting (pay until february) is not worthy of condemnation. By all means... they're getting a sweet deal. First, a high equity payout (since Musk overpaid by all accounts) and now a great severance. It's sad, but I find it distasteful they're seeking to be objects of sympathy.
If all assertions are at the end of the test, then yes. Sometimes this can be made nice with custom matchers, eg:

assertThat(fooReturningOptional(), isPresentAndIs(4))

Or

assertThat(shape, hasAreaEqualTo(10))

Or

AssertThat(polygonList, hasNoIntersections())

Custom matchers can go off the deep end really easily. One of those cases of learn the principle, then learn when it does not apply
Ever so slightly longer compile times. It's pretty close to a free lunch.

There are only tradeoffs when we are at the frontier of what's possible with a set of technologies, and so must trade off on something in order to move along that frontier[1]. Many languages aren't operating at that frontier, and adding static typing is free (in the marginal case, ignoring the substantial effort to implement the type system). If you start a greenfield Python project, and you start typing right away and incorporate MyPy into your CI and IDE - it's as close to free as you can get, and the benefit is substantial.

[1] Eg, like in this diagram, http://image1.slideserve.com/2488675/production-possibilitie... - we only need to trade off on guns & butter if we're along the frontier (the blue line), if we find ourselves somewhere in the middle we can just make more stuff until we reach the frontier.
Write code? Fired. Refactor code? Fired. Delete code? Believe it or not, fired!
I'd be pushing for your bonus if you were on my team and had -50,000 LOC contributed
According to Linus, the Text is still not clear enough

https://www.youtube.com/watch?v=lT1sps72_sE
Is it possible to have this discussion without calling him a grifter and con man? Why have people decided that it’s okay to bring the Twitter-style tone of discussion to HN?
If this is true.. then all those people that were let go now have a lot more ammo to use in court. Basically they publicly discussed their termination strategy of making up reasons to fire people.
Delayed post from me - came back here to see if anyone had mentioned TSM and they hadn't so I'll do my infomercial thing.

I would highly encourage you look into The Sinclair Method. It's based on the work of Dr Roy Eskapa and a book called The Cure for Alcoholism.

I struggled with alcohol for all of my adult life. Trying every thing possible to moderate or stop - AA, hypnosis, strange chinese herbs, counselling until I was blue in the face but The Sinclair Method worked like magic. For years now I have been entirely indifferent to alchohol and and my life is so much better for it.

There's a subreddit with lots of info and support if you're interested. https://www.reddit.com/r/Alcoholism_Medication/

All the best.
Claims made without evidence can be dismissed without evidence.
I cannot say. It's possible the vehicle was tampered with, it's even plausible that they tried this a million times with 100 different mannequins and did a montage of edge cases. It's possible it only does this because the mannequin doesn't move like a human. It's possible it only does this at that exact location. I don't know.

What I do know is that other people tried to replicate their former "test" [1] and weren't able to. So there's likely something special going on, but I don't know what.

[1] This test: https://www.youtube.com/watch?v=qTEP-DURtkg
What I will say is that it seems quite unsexy.

I would be quite hesitant to use it in public, especially in the office.
> But I am also 100% for targeting private jet users. Private jet users are exactly the people who push climate change policies but feel zero impact of their agenda.

I cannot strongly disagree with your point. But by that logic, targeting Rolls-Royce/Bentley/Aston Martin drivers (or, more specifically, owners, given they are likely to have chaffeurs), as well as house owners in Calabasas (SoCal) and Los Altos Hills (Bay Area) would work just as well.
I found a blog post (https://safing.io/blog/2022/09/06/spn-vs-vpns/), but you have to go fairly far down the page (to the header "Cryptographic Identity Protection") to begin to get the gist of what it is.

"This was originally invented for Tor and is called Onion Routing. This way, every server in the chain only knows the previous and the next hop. No server ever knows who you are AND where you are going to."

"As VPNs are centralized, all their servers are operated by only one entity - the VPN provider itself. They can, therefore, monitor all you traffic and see what you are up to. This is why they tout their “No Logging” policies so loudly, because they know they can see everything."

"SPN on the other hand invites the community to join the network and strengthen it by adding diversity to the operators of the network. This way - in addition to the cryptographic protections - it is made almost impossible that anyone will ever be able to track you through the SPN."

It sounds like it is a next-gen VPN service which addresses the shortcomings of the current VPN services by splitting the service into relays and exits, each with limited knowledge and each potentially operated by different parties.
The quest now has a feature whre it can passthrough a user defined portion of the bottom of the screen so that you can see your desk while in VR. You can also passthrough physical items such as just a keyboard and a cup or everything bar your virtual screens in apps such as immersed.
It's also the best part of software engineering. The only thing I love more than deleting other people's code is deleting my own code.
Sounds like a fine approach, and I wasn’t criticizing. Mostly I was pondering out loud why people come up with blanket statements what good tests should look like.
I don't know who is making petty excuses or doing witchcraft. I make no profit from fossil fuels and I would rather see decarbonization at a much faster rate than we are doing today. The problem is, we are going to heat the Earth quite a bit at this point no matter what. Something has to be done about that as well as about the emissions that are making it worse.

This is not only about morality and profits. It is also about our actual Earth and what happens to it. It's still going to heat by several degrees even if humanity has the enlightenment that many people here seem to dream will happen soon.
You can challenge redundancies or dismissals fairly easily, they need to prove that your position is no longer needed and that they couldn’t find you an alternative position at the company.

If you have a very specific role it might be easier for them to argue that, however for example a developer is quite an interchangeable position.

They also aren’t allowed to hire for that role under most circumstances for a 2 year period.

If you aren’t in a union or even if you are always get a lawyer to represent you they aren’t that expensive and they more than pay for themselves, companies that offer you a settlement would also usually cover your legal fees.

Another reason why to get a lawyer is that companies have to follow the law, and most of them acres it up, putting wrong dates on a document, counting consultation days incorrectly, people chatting about it on company comms etc.

This is also why most companies would attempt a “without prejudice” negotiation first because those cannot be brought up as evidence in court or a tribunal (the employee doesn’t have to accept negotiating under no prejudice).

So the moment you get an email or into a conversation that starts with “without prejudice” you should contact a lawyer or your union for legal advice, and preferably both.
I guess i'm jaded, but I find it hard to relate to this kind of hero worship -- maybe i'm just from a different era or region or whatever but i'd find it personally embarrassing as an adult to talk about my broken-heart that was caused by the actions of some distant hero figure, if i had one. (Maybe Knuth counts..)

if author is here, really -- I don't say this to try to be rude to you or anyone else with a similar reaction; I just don't get it. It's simply unsurprising to me that a person in that position would act ruthlessly -- that's exactly how they got to that point, no?

>Elon entered the stage in his early 30s with the creation of Tesla and SpaceX (haters be damned, those are his companies).

aside : Elon by no means entered the stage in his 30s, unless you're referring to your own attention towards him. Maybe that's the difference -- I remember PayPal Mafia Musk and all those smug twenty-something interviews, maybe that flavors my view.
if(true): fired
Guess I’ll just add a couple NPM packages. Easy 6k LOC.
Are multiple desktops well supported on Windows now? It's been a while since I've explored it.
No.

It is important to understand the foundation from which all these decisions originate.
If they weren’t being measured on LOC before, it might be a decent metric, since they wouldn’t have been trying to “game” it. Now I know as well as anyone that LOC is mostly bullshit, but I also know a lot of developers who slack off. For example, if John Carmack was at Twitter, I highly doubt he’d be anywhere near the firing line.
Not for the ideological mob lacking emotional regulation and self-control.

Edit to add: I see I triggered some of that mob.
I have some background in this space in undergrad. Non Si materials are used in industry, germanium is used in some special applications and i believe its the #2 semiconducting material, however it is harder to use than Si because it's very difficult to keep it clean of impurities. Not the doping kind.

Source: I helped with a research project using Ge. Here's the paper if anyone is curious
https://ieeexplore.ieee.org/abstract/document/8653561
It’s totally backwards to suggest that all information should be assumed to be true, and that false statements this need disclaimers, and parodies need to be so obvious as to cease to be a parody. The public should confront all claims - no matter the source - with ample skepticism and indeed an assumption that the information is likely false unless proved otherwise.

Liability for slander, libel, etc. should only arise if the speaker has gone out of their way to state that their views / claims are true and should be relied upon, or if there’s another special reason why consumers should believe the speaker (eg it’s their doctor, lawyer, etc).
I think the most valuable work in applications development is the ontology work to figure out the mental models. If that is right the code is much easier to write, shorter, and less buggy. In fact it often works right the first time.

The wrong mental model will turbocharge your LoC but not your business.
Making Things Hard/Easy
Intel kind of tried this. In their presentations when they were struggling with 10nm, they tried focusing on transistor density count. That failed; people remained confused, especially with the (nm)+++ convention for same-node improvements. Intel gave up their old naming convention last year and are now using a marketing naming scheme similar to TSMC/Samsung.

Moreover, density is only one metric of improvement, the other major one is power efficiency. Foundries want to market these improvements too.
emacs has plenty of plug-ins that turn it into an IDE. For people who are already comfortable with it, these tools are great. I’m more productive in it than with “modern” tools. For newcomers the learning curve is going to be steeper. I’d recommend learning at least either vim or emacs (or perhaps other text-based editors with similar features, if they exist) though, as it does provide versatility for oneself. Those GUI IDEs aren’t available in every environment where one might want to code or debug.
Did you mean Tailscale, or Tailwind? I'm interested in replicating your setup, so if you happen to have a blog post or some other HOWTO resource, that would be deeply appreciated. Thanks in advance!
For the people responding to you who are saying you can get all the same things in vim, they're right of course, but a lot of this modern functionality is now built on top of the Language Server Protocol[1], which is an open standard created by microsoft for VS Code.

Kudos on the people who have ported this to Vim[2], but I suspect the support for LSP features will still be better in VS Code

[1] https://microsoft.github.io/language-server-protocol/

[2] https://github.com/prabirshrestha/vim-lsp
Reading the article, they assumed Slack channels were private by default (coming from MS Teams), one dev floated the LOC idea, and another dev linked to a fire list.

The post title is misleading.
Ok, I’m ion board with the idea that musk has to act authoritatively, fine. Maybe he had to lay off the staff and there was no way to “do it well”(disagree he couldn’t have made it at least someone more humane but I digress):

> But I am saying that the call to urgency, the focus on the customer, and the willingness to start making decisions knowing some of them will be wrong is uncannily similar.

Where is the focus on the customer???
But there's a paradox.

Why does 100,000 lines of code of python tend to be safer and more manageable then 100,000 lines of C++ despite the fact that python has no type checker and C++ has a relatively advanced type checker?

Why do startups choose a python web stack over a C++ web stack?

I don't think it's "self-evident." I think there's something more nuanced going on here. Hear me out. I think type systems are GREAT. I think python type hints and typescripts are the way forward. HOWEVER, the paradox is real.

Think about it this way. If you have errors in your program, does it matter that much if those errors are caught during runtime or compile time? An error in compile time is caught sooner rather then later but either way it's caught. YOU are protected regardless.

So basically compile time type checking just makes some of the errors get caught earlier which is a slight benefit but not a KEY differentiator. I mean we all run our code and test it anyways despite whether the system is typed or not so the programmer usually finds most of these errors anyways.

So what was it that makes python easier to use then C++?

Traceability and determinism. Errors are easily reproduced, languages that always display the same symptoms from certain errors and in turn deliver error messages that are clear and are readable. These are really the key factors. C++ on top of non-deterministic segfaults, astonishingly even has compile time messages that can confuse users even further.
Oh right so the bargaining power you have is to claim that the redundancy is illegal and offer to accept them paying you off instead?

If the redundancy is properly done though I can't see how you can do anything but take what you're offered.
> but I don't think e.g. Haskell98 can do it out of the box in an analogous way?

This is basically the runtime representation of `data Email = Verified { email :: string } | Unverified { email :: string }`, but promoting `Verified` and `Unverified` to type level requires an extension:

data Email (verified :: bool) where
Verified :: string -> Email true
Unverified :: string -> Email false
Only if you cut n’ paste them.
How Do Computers Work? Exploring Computer Main Memory –| DRAM DDR5 [video]
This comment is completely uncalled for and unrelated to the conversation at hand.
They could print on the entire shirt as that is an option when they setup the store but the profit margin would make it too expensive for a third-party.
I've been running LuLu and it works great.

https://objective-see.org/products/lulu.html
Thank you, I feel like I am going insane here.

About 90% of stuff I ever worked does email things here or there, and I never had the desire for some hyper complex abstraction with 10 pages of documentation just to store email. I also never experienced a bug that would have been fixed by this.

I mean if the user is putting in some bullshit there, the basic validation of type="email" or pendant if I am not working in HTML is gonna tell him that and after that he does or does not get his verification email. Boom, problem solved along with other one's.

Need just the domain? Well I'll use a damn 1 liner function with split() or something for this hyper specific use case, don't encumber me with the probably faulty abstraction of email some library designer cooked up 8 years ago just for this?!

I do use types when they are actually convenient, but these types-are-the-best-everywhere-all-the-time articles keep failing to convince me...
Definitely. And likewise, if my manager told me to do something I thought was stupid, I'd feel totally comfortable telling him (politely of course) why I thought it was a bad idea. Either I know something he doesn't, or he knows something I don't, but either way we want to not do dumb things.
The extreme right is literally the fundamental problem. People keep saying "both sides" in this thread and honestly in most places in the world (especially US, Europe and as mentioned on this thread often, Brazil) the extreme right IS the problem. We don't need to invent scary leftist groups that threaten to overthrow the US government by storming the US capitol with nooses, we can just admit that it is the far right doing this on mass not the left and drop this stupid need to portray these global changes as a political radicalization on both sides rather than white nationalism becoming more openly violent and extreme.

Far right extremists are the problem, keep "both sides" out of this.
Fear based mgmt