skysight-inc/HackerNews huggingface dataset:
From what I've read on Scott Aaronson's blogs, NP-complete is also wrong. The general suspicion seems to be that polynomial quantum algorithms (BQP) are separate from NP - they are suspected to be neither a subset nor a superset of NP.

Some problems in BQP are suspected to be in NP (integer factorization, for which the best known classical algorithm is sub-exponential, but we have a polynomial time quantum algorithm), but there is no known NP-complete problem for which a quantum algorithm is known, or even suspected to exist.

Edit - some links:

[0] https://www.scottaaronson.com/papers/npcomplete.pdf - chapter 4

> If we interpret the space of 2n possible assignments to a Boolean formula φ as a “database,” and the satisfying assignments of φ as “marked items,” then Bennett et al.’s result says that any quantum algorithm needs at least ∼n/2 steps to find a satisfying assignment of φ with high
probability, unless the algorithm exploits the structure of φ in a nontrivial way. In other words, there is no “brute-force” quantum algorithm to solve NP-complete problems in polynomial time, just as there is no brute-force classical algorithm.

[1] https://youtu.be/0jrybODBUpA?t=30m28s "P versus NP"
Maybe they were playing Total War Warhammer instead, that would explain why they put their leaders so close to the front line...
It's true that the product state is exponential in size. That's why the size of the quadratic matrix SU(N) matrix is N = 2^M, where M is the number of qubits. To my knowledge that's the only thing that is exponential there.
Ask HN: Is there a PayPal Mafia Put on their companies?
Sure, ln cache misses. With a linear search through pointers you have n cache misses.
Physical Warp Drives (2021)
"Conceptually, we demonstrate that any warp drive, including the Alcubierre drive, is a shell of regular or exotic material moving inertially with a certain velocity. Therefore, any warp drive requires propulsion. We show that a class of subluminal, spherically symmetric warp drive spacetimes, at least in principle, can be constructed based on the physical principles known to humanity today"

https://arxiv.org/abs/2102.06824
> That sounds like an argument against excess validation rather than against types (maybe because of blog-driven development showing minimal examples of the power of types?).

A lot of developers confuse types and validation.
Nonsense. For example Yahoo had the opportunity to buy Google for $5 billion in 2002, and 20 years later Google is worth more than a trillion dollars. Or look at another trillion dollar plus company Microsoft--and remember that it was IBM that came out with the IBM PC in 1981--and then IBM totally blew it.
World is full of technologies that would be cool if you also had a Time Machine. But other tech outpaces is so if it is born behind it never takes off.

Some of it is pretty fun for playing what if with (enforced) pastoralism. Using primitive materials with a modern understanding of them, instead of limiting yourself to historically accurate processes.
Yeah. Apple sold hardware and software to its end users/customers. Twitter sold its end-users. Not really the same kind of market.
The actual discovery is reported in one of the last paragraphs:

>The breakthrough relates to a new set of materials that can create monolayer—or two-dimensional (2D)—transistors in a chip to scale the overall density by a factor matching the number of layers. The teams at TSMC and MIT have demonstrated low resistance ohmic contacts with a variety of existing semiconductor materials, including molybdenum disulfide (MoS2), tungsten disulfide (WS2), and tungsten diselenide (WSe2).

So it is a better way to make a contact to a semiconductor material that noone knows how to manufacture reliably on a large area wafer.
Ah but those are Americans commenting on the state of their country.

I'm assuming the person who made the comment is not from India in which case it truly is a sly remark. If my assumption is wrong, feel free to discard my original comment.

This is my stance on these things:

- If the discussion is regarding topic A about a country X, pointing out an unrelated shortcoming when you're not from country X makes you sound like a douche.

- If the discussion is about that shortcoming itself, it's open-season for discussion regardless of where you're from.

- If the discussion is about country X, you are from country X, and feel that something else about the state of your country should be brought into discussion, it's valid.

Again, this is just my stance.
Unfortunately, reveddit has stopped showing content that was removed by reddit administration-- which is also usually hidden from the user-- it's made it much harder to appeal screwups by reddit itself because you can't see the content you're being punished over.

Ever since someone started an off-site campaign to false-report bomb me I've had to screenshot every comment I make myself just so I have records when reddit inevitably screws up and suspends me for a completely innocuous comment again.
Red Bull does music? TIL
What exactly is this? Windows application firewall? Network proxy I install on a separate computer? Is it available for other operating systems? I skimmed though the website and am already annoyed because I didn’t find answers to those simple questions.
It's the hermitian conjugate of the corresponding ket.
https://www.charitynavigator.org/ein/810535303

You should always look up any (US-based) charity on Charity Navigator. Some of them are basically just jobs programs for the founder, their families, and their friends. Not this one.

This one gets a hugely positive rating. Although it's hard to see what it's based on. The latest IRS form 990 available for it is for 2019.

It's always a good idea to look at a charity's actual accomplishments, not its intentions.
Imagine how many toilets the cost of a single helicopter can buy :)

Clearly not both topics are given the same attention.
The author's know-it-all attitude and intrusive politics make it very hard for me to take the rest of the article seriously. I’m up for a discussion, but not when the starting position is ‘everyone who disagrees with me is a malicious idiot.’
Gallium could only produce microchips larger than silicon. What we need are diamond microchips which should outperform silicon chips by a factor of 23K and be a third smaller.
My first programming role was on the back of work by an engineer in this article. The core of the solver was a FORTRAN implementation of a paper on p-convergence. It was really amazing seeing our software predict how a small crack in a part of an aircraft would propagate. The 3D model produced matched the photograph shared later.

The lead developer (at the time) once said that the biggest software failure we can have is not incorrect results, but incorrect results without the user knowing. This is probably why I am so bothered by silent failures in my big company role now.
Not yet! I don't think there would be any basis for it. The site is all code. Data comes from Pushshift and Reddit, and even Pushshift hasn't had any trouble as far as I know.

On top of that, legal action might draw more attention to the issue. The funny thing about censorship is it ends up helping promote the censored idea; that is, once the censorship is discovered.
Traefik can listen on individual addresses on a machine, which lowers the barrier to making a chained ingress. If chained ingress doesn't make sense, think of how Kubernetes has a load balancer pointing at several nodes and each of those nodes run an ingress internally to route traffic across the private-to-the-node network.

For instance, I didn't want my sharing URLs to enter directly on my home IP. I felt that would expose my house to an enumeration of vectors that I couldn't possibly control. I ended up creating a small server in digital ocean that runs Traefik on a public address with various public DNS records pointing at it. That instance of Traefik then points to my home servers Tailscale addresses. I actually go a step further by running Traefik on each server so that I can host multiple services on port 443 on each server, but this isn't absolutely necessary.

Hopefully that all made sense!
It seems hard to generalize lessons about wars. I remember commenters who thought the couple day timeline was realistic, presumably because they were used to the way the US invades countries. Most armies aren't Russia, most aren't the US...

I dunno, maybe we need to get, like, France and the UK to duke it out again? (kidding obviously).
> First, it’s not like bees get to negotiate their salaries and seek employment elsewhere.

They switch hives by accident, the beekeeper can cause it (to beef up a weak colony or by accident) and sometimes they do it intentionally, the males in particular.
The $8 doesn't moderate anything. Most spammers, scammers and paid trolls already spend money on software to help them spam, scam and troll. $8 a month is hardly a deterrent.

In my eyes, $8 creates more problems than solves. It's the normal, human twitter users who are more likely to NOT want to pay. The people who use Twitter to make money or obviously going to be most likely to pay the $8.
Tim Cook did an excellent job pivoting towards Twitter's business model, in fairness.
I worked for about a month using the Immersed app and an Oculus 2. I judged it workable for me, but probably near the borderline. The positives were that the software generally worked (modulus some bugs), and I could code, attend Teams meetings (as an avatar with a VR camera) and have multiple monitors. Interestingly, Teams meetings with the other participants on a virtual monitor about 2 metres away were very noticeably less psychologically stressful. (I suspect some evolutionary/neurological thing about faces in a monitor 60cms away). The resolution was fine, but not great. I wear spectacles (slightly near-sighted, a bit too much to drive without) and the headset was comfortable enough. With the Oculus 2 the pass-thru was rubbish, so touch-typing and a tidy desk vital. The negatives were that a good wifi connection to the laptop was necessary; the battery-life on the headset meant I had to trail a wire across to keep it on for >2 hours; it was slightly sweaty (I didn't get the serious discomfort other people have experienced); the default headband wasn't great; and in the end it wasn't better than my physical multimonitor setup. I seem also to not suffer from VR-sickness (or motion sickness for that matter), but YMMV greatly.
Finland is doing it. It's a smaller country but it's possible.
https://en.wikipedia.org/wiki/Onkalo_spent_nuclear_fuel_repo...
From the pictures is does look like they integrated some of the most common upgrades, but I haven't seen one in person yet, so I can't say for sure.

But I can see they sell an upgraded facial interface that is billed as "full light blocking", which usually means thicker and softer, so they probably at least have that accessory. I doubt any other accessories exist yet, since it's too new and not a big enough market.
Integer factorization for codebreaking is a military or criminal application, not a commercial one. Someone will make money doing it, but it won't be contributing to society in the way we normally mean when talking about commerce. It would be like saying nukes have commercial applications.

"Quantum simulation" is too vague to speak to applicability in any domain. There is no proven or empirically demonstrated exponential speedup on any simulation problem with known commercial applications.
Yes because they took LIDAR and other sensors away.

Its a data (features) problem, not an algorithm problem at this point. More of the same approach wont yield a breakthrough as is
> Subs cannot "shadowban" users themselves.

That's not technically true, they can set an automod regexp to match the comments and set them for review and then fail to approve them.

The comments are effectively shadowbanned.

Automod rules are flexible enough to direct it at specific users, classes of users (e.g. new or low karma), or keywords in the posts.
I am grug. More benefit type when there's red line in editor. More benefit type system when F2 rename everywhere.
> Create wildlife corridors from Rocky to Mississippi

Are there any funds which currently seek to do this? I’d be interested in doing it myself
"It's not me doing the bad things, I just work there."
I evaluated this a few months ago and absolutely loved it. It was more polished and easier to use than I expected. Since the website made a big deal about it being alpha I went in expecting a little pain.

The only major problem I hit was that everytime a snap would update it would appear as a new application and I had to reapply the rules. At the time there was a proposal for a change to fix this but it hadn't been implemented yet. I think once that lands, if it hasn't already, I'll be a loyal daily user.

EDIT: Adding GitHub issue link https://github.com/safing/portmaster/issues/398
There is a company called Simula that makes a headset specifically for work. I know about them because Meta subpoena'd them a month ago.

https://www.youtube.com/watch?v=x293SiEdv4M
I think this space, for all the energy already being poured into it, is still having a tough time finding the right abstraction for deeply-linked note organization without resorting to reinventing the wiki. I'm really glad to see an approach that isn't trying to be a Roam replica plus a couple extra features, the whole space is desperate for better abstractions. It seems to me like the flexibility of existing tools can lead to everybody building a subtly different and incompatible notetaking strategy, which is fine, but sacrifices a lot of the benefits of standardization and opinionated tooling. Exploring different structural patterns like you're doing might be just what the space needs to jump out of the local maximum it's in.

For a proof-of-concept, I really like your approach to hierarchical notes here! I'm a student and that structure makes sense for a lot of what I need to take notes on, but existing tools for linked notes don't have a great answer for that (and sometimes actively discourage it). I think you're onto something, looking forward to seeing how you develop these (and more) ideas over time!
Thanks Gus!
It's great that UK has these laws. Although there is clear and malicious effort from Twitter to put obstacles in the way of employees trying to get representation (notices sent on Friday evening with period ending on Tuesday morning, usual communication tools being frozen in the company), it still beats being fired without any conversation.

I am sure that they will find interested law firms on Monday, if the firms won't reach out to Twitter employees first.
People can still get your ip and ddos you on discord. its just a little expensive. theres a forum where you can pay $500 for someone to send an EDR to Discord from a police email. Also there was a file attatchment bug in the wild that leaked your ip as recently as 6 months ago which im not sure was even fixed. A guy I befriended in a hacking community proved it to me.
Not too much on the usability, but here is a Common Lisp REPL in VR:

https://invidious.dhusch.de/watch?v=eMsMm_q-akI
It's advertising, literally the only thing that matters is public perception. If Elon dickishness makes public perception toxic that's all that matters.
I'd like to point you to a detailed rebuttal of this claim in text [1] and video [2] form. Wikipedia should not be anyone's only source.

[1] https://springtimeofnations.org/2021/04/yes-ancaps-are-anarc...

[2] https://www.youtube.com/watch?v=hJb2-bsWP6Y
Alt/Super-tab + page down if I had to guess. I work on a single high resolution monitor and have a similar workflow, that's how I do it.
On a semi-related note, bra-kets are just magical. Programmers who deride mathematical notations, and claim we should abolish equations in favor of pseudocode, should try to get a glimpse of their power.
> since the shared libs have generics and I'm always casting things.

This indicates to me that you're trying to write code that isn't correct (not doesn't work, but rather only works because of implicit couplings between components) and/or doing exotic lisp-style metaprogramming.

In the latter case, yeah, C#'s type system isn't powerful enough. Others are (to an extent: arbitrary code execution at compile time is never going to be completely safe).

In the former case ... that should be difficult. Forcing you to be explicit is half the point of a type system.
If I can get my buddy to write one, I'll make sure to post it to HN. Thanks for the idea, it may be enough to get him to write something up.
Germanium is bigger, right? It’s used in DSP chips and now in power transformers. The fact that it’s used for high frequency circuitry has always made me wonder why we don’t do large scale chips in it. Surely cheaper than the acrobatics we are doing for <5nm, no?

It’s used in current-dense applications and leakage current is out boogeyman with silicon.
Because these plastics are marketed as compostable (and therefore eco-friendly). However, they know and deliberately leave out the fact that most municipal composting facilities can't actually compost them.

It's completely deceptive. The same way some plastics get marketed as "recycleable" plastic, but in reality few recycling facilities are actually recycling them. Companies are claiming they have made these "eco-friendly" recycleable products, but they know they will just end up in landfills.
Not just Tesla - all self driving cars are murder machines. All.
I take the slightly more patient approach with this. LCD used very old discoveries, something need to mature through a few industrial cycles before it gets discarded I guess.
This is just a very poor taste advert for their lidar product.

Can we please not encourage this kind of thing.
Sheesh, they even put shoes on the mannequin. Seeing one on the windshield really gets you thinking...
HDMI beat DP, it’s one that will always bug me.
Was just reading their site and wondering about that myself. But I use NextDNS on my router to cover all the devices on the house and this seems individual client based.

Still, I can run it on my main machine.

The networking looks a great blend of onion routing and secured connections. Really clever way of constantly changing a client IP. As someone else noted it's like a client/outgoing version of Cloudfare's DDoS mitigated network design.
Immersion Lithography Is Still a Workhorse
Yes. An intrusive list puts the pointers to next & prev in the struct itself. IntrusiveList<Member>::iterator is a Member*, then member->next points to another Member*. An extrusive list puts the pointers in a separate node structure, which then has a pointer to the actual member type. ExtrusiveList<Member>::iterator is a ExtrusiveListNode<Member>*, node->next points to another ExtrusiveListNode*, and you access the actual Member* with node->data. Basically it's a double indirection.

The advantage of extrusive linked lists is that you don't need to modify the data layout of Member at all. All the linked list manipulation happens on ListNodes, which have a pointer to the actual member, which can be accessed with just a cast. That's why they're so well-suited to class libraries: you can easily write a generic ExtrusiveLinkedList that works with any data that can be represented with a pointer, hide all the traversal (and the existence of individual ExtrusiveListNodes) in accessor functions, and present a simple API with no codegen or modifications to Member.

The advantages of intrusive linked lists are 1) performance 2) no heap allocations 3) easy traversal when given a Member*. It's only a single indirection rather than a double, and usually that indirection is necessary anyway to avoid copies. Insertion and deletion are just pointer manipulation; you don't need to allocate new space for the nodes. Oftentimes your functions will take Member* anyway, and it's nice not to take or traverse the container if you just need to peek at the next element coming up.

The point of this subthread is that intrusive linked lists have very clear use cases in the kernel & embedded spaces, where these advantages are often critical. Extrusive linked lists, however, have very few advantages over vectors (which also require heap allocation but are more cache & locality friendly). In a common business app responding to user input, the difference between O(1) amortized and O(1) is negligible; you can eat the occasional pause for a vector resizing, because the user isn't going to care about a few milliseconds. They both require heap allocation. The vector will give you much faster traversal, because subsequent reads all hit cache. The vector takes less memory (1 pointer per element, with a max of 50% overhead, while an extrusive doubly-linked list is 3 pointers per element). There's just little reason to use an extrusive linked list because the use-cases where intrusive linked lists are not better are precisely the same ones where vectors are better.
What if this leads to the shutdown of Twitter UK altogether? Would that be so great?
Intriguing, do you have any good references or recommended reading about this?
By “protecting” do they mean influencing ?
Another product from them: https://safing.io/spn/
No. Quantum computers are not known to provide any speed up to any NP problems.
You are right that ADHD is a true neurological disorder that responds well to medication, but on everything else your are horrifyingly wrong. Medication alone is not a panacea for many people with ADHD and is most effective when coupled with better self understanding, self acceptance, and adoption of an ADHD-optimized lifestyle.

I have ADHD, my kids have ADHD, and most of my friends have ADHD. Was on Vyvanse for 5 years, then off for 6, and I just recently started taking it again.

During my first 5 years on Vyvance, I had my first experience of what was truly possible for me and it changed my life.

Then, triggered by unrelated health issues and unhappiness with side effects, but mainly because I wanted to run the experiment of seeing how far I could get without meds, I stopped for 6 years. I focussed on lifestyle, structure, health, exercise, nutrition, meditation, And it was pretty good, much better than before my diagnosis.

Then as my life moved forward it presented me with increasing responsibility and challenge, and this year I decided to go back on meds. Of course it was immediately obvious that meds improve my ability to focus and my general self-regulation to a level not possible through healthy lifestyle and earnest intentions. But… now I am getting a multiplier effect of an ADHD-optimized lifestyle working together with my medication, and its amazing. I'm taking a lower dose than before, but sustaining a better level of productivity and mental health.

I have seen in myself and others where meds on their own have failed because their benefits were squandered by a careless lifestyle. Now I get to see how this plays out with my kids, And guess what? Meds are essential, but they aren't enough. The hard part is changing their attitudes, habits and lifestyle.
5 million would be like 2% of their user base.

You don’t think they can’t get that? I bet they could closer to 10% in the long term. Which would be closer to 30-40 million paid users.

There are many paid add ons for Twitter. Imagining bringing that all in house with a native experience and then charging for it. There’s plenty of money to be made.
I hope someone more knowledgeable replies.
currently its looking to be either Pleroma or Mastodon.

Because Pleroma supports Mastodons API, so the app support is much better.

But I couldn't find any info about how Pleroma deals with user discovery
It really was a brilliant maneuver on the part of business to frame this as an issue of consumer choice.
> not being able to retire until I’m 70

I genuinely think that is optimistic. I'm not at all sure retirement will really be a thing in a couple of generations.

Certainly the 20-40 year retirements that are dangled don't seem likely for many people.