skysight-inc/HackerNews huggingface dataset:
> The Everett interpretation is just taking the Schrödinger equations and not adding anything else to it.

That's literally what people claim Copenhagen to be

Everett's interpretation requires positing a universal wavefunction and some kind of branching mechanism

It's not some basic, straightforward interpretation of QM without any additional postulates, and even if it was, that would not be evidence for it to be true over others
the legal notice period is determined on tenure. Think two years you are obliged to give 1 month. So while the 6 months is overly long you wouldn’t need to do it.
Wrong tense. Chalking it up on English being my third language :)
I'm engineering director in Russia.
Our labor laws guarantee all permanent employees right to leave after two week notice.
Notice could be cancelled by employee at any time during two weeks period.
Notice could be made by employee even while employee is on vacation/sick leave, so if you on bad terms with your employer, you could take a vacation, submit notice and leave without transitional period at all.

Only exception for that rules is temporary contract (i.e. for a year). If you have temporary contract, you can't leave without reason. But labor law strictly limits grounds for making contract temporary: basically you have to prove that job itself is temporary (related to concrete project or you filling in for maternity leave etc).
I wonder if it supports software control? I haven’t messed with this in a long long time, but here’s a C program for controlling USB port power via software.

It works on a pretty limited set of hubs, because most cheap out on including the switches.

https://github.com/codazoda/hub-ctrl.c
We use Caddy in production. The driving force for change was built in automatic https. It just simply works.
I mean, large sections of it are in Ukrainian territorial waters. No legal ambiguity there.
Show HN: Krptn: User Auth and Encryption of data at rest
Hello, all!

Encryption and user authentication are crucial to cybersecurity.

Encryption can be implemented at various levels. I believe that handling encryption at the application level is the most secure since it decreases the attack surface. For example, the SQL server doesn’t get to see the plaintext.

Krptn is a piece of software I’m currently building which could be used as a user authentication service, which also handles encryption (at the application level) of the user’s associated data (e.g.: the users’ phone number).

(Krptn only has a Python API right now.)

It would run in the same server instance as your Python code, so no need to host anything new (decreased complexity) - just install the Python module and call the APIs.

For additional security, I designed the system to derive the encryption keys from the users’ credentials. This prevents an attacker who gains access to the database from being able to decrypt all the data since the encryption keys aren’t stored anywhere. Additionally, each user gets an asymmetric keypair. This enables users to share specific pieces of information with each other.

I know that, for many projects, this level of encryption is not required to secure their system and hence not everyone would benefit from using this. But I hope that for the people who do wish to have such security, this project will help.

It would be much appreciated if you would try this out. Please let me know what you think of this! Also please provide some feedback if you have any!

Here is an example Django integration: https://github.com/krptn/djangoExample

Here is an example Flask integration: https://github.com/krptn/flaskExample

GitHub repo: https://github.com/krptn/krypton
Documentation: https://docs.krptn.dev/index.html
Homepage: https://www.krptn.dev/
Yes but you have to pay a LOT in bandwidth for a <10% savings to be worth the cost of supporting an entire extra toolchain and dealing with the support issues (better now but it took a decade not to have “I right-clicked and now I can’t open it” reports from users). Google and Facebook serve that much but most people do not.
> The general principle that governs taste is the association of ideas, and this, fortunately, can be most easily illustrated: “I like such a person because her voice puts me in mind of my mother’s. I like this walk because I was very happy the last time I was here with my sister. I think green is the prettiest of all colors; my father’s room is painted green, and it is very cheerful, and I have been very happy in that room, and besides, the grass is green in spring.”

This feels like an extraordinarily Modern view, in that it's not suffering from the idea of an ideal standard of divine beauty embedded in the universe, but rather that it is discovered by the viewer and their emotional associations.

It's also very pluralist, this advice to expose your child to the best examples of art from a variety of cultures.
So what is the replacement for Prolog as language for commit rules in Gerrit? Some Java DSL such as Drools, seeing as Gerrit went from Python to Java (and supposedly from gwt to other toolkits since)? Or some ad-hoc scripting for whatever language is used by the codebase managed in Gerrit (such as idk checkstyle for a Java-based project?). The latter case would be kindof understandable since templates/common configs for checkstyle (and alternative systems) are very common. But I'd imagine a Java parser in Drools would be infeasible compared to Prolog, and in any case absolutely unmaintainable. Maybe the problem was that the Java parser wasn't updated for current Java versions? I don't know, since nobody is using Gerrit for self-hosted git management compared to gitlab, bitbucket, and co. Without context, the argument "nobody knows Prolog" is pretty lame tbh, especially coming from Googlers.
Having spoken recently to a Barrister in Australia who has represented in such cases - he has yet to see a judge support these contracts or non-competes. The basis theory is you can stop someone earning a living and restrict their liberty to provide for family/self.
The contract is for Germany, where you generally cannot, as you have essentially cancelled the contract. You would need a new contract, which requires the other party to consent. This is not legal advice.
Really? There are millions of @companyname.com and @randomschool.edu domains. They can’t all have been whitelisted.

Where are you running into this issue?
Well yeah, NGINX is a highly optimized C application, whereas Caddy is written in Go, so it would be unfair to expect NGINX-level performance. Caddy is more modern and has more helpful features (that are easier to implement thanks to Go), but performance-wise... OTOH, if you use NGINX to serve a PHP or Node app, Caddy serving a Go app should be competitive ;)
I have been told that 6 months is typical in France.
I somewhat agree with this. I do believe that a larger provider is less likely to lose their domains than an individual is (there are always exceptions).

Domains expiring is one reason why I always have my domains paid for 10 years in the future and renew every year to extend it by a year. I’d like to see service providers who work on a prepaid credit model (not a monthly or annual charge model, where the cards or payment methods may have been closed or canceled) and renew the domain automatically every year as long as there’s a balance in the account.

Last I checked, even Cloudflare doesn’t allow prepaid credit balances to be used for domain renewals and insists on charging the payment method on file. And it’s not even the case that people haven’t asked for it. Cloudflare’s billing policies are weird. This is one of the reasons why I’ve avoided transferring domains to it.

I wish ICANN would allow paying for domains (at least the most common TLDs) for a longer period though. If my domains aren’t renewed in 10 years after I’m gone and someone is dependent on those, there’s nothing much that can be done.
This will be very interesting for not just FFI, but for GC-free allocations for tight loops!

I bet that games could very well be rewritten to use this to allocate memory. Though the layout and varhandles looks tedious to use, but may be it'd be fine.
3 months notice followed by a 6 month gardening leave.
> Entanglement is not a non-local interaction, it means that state of the system can not be separated into independent states of its constituents.

Yes, and then what happens when you decide to measure the state of the part of the system that lies in one region of space?

> That altering the state of one particle could non-locally influence the state of another particle far away is not really a mind-bending idea, pressing the power button on a remote control turning on the TV across the room is pretty much the same thing, at least to our human perception as we can not see the IR light and the speed of light is essentially infinite on a human scale.

That's irrelevant, because EM is local in physics.
In the US so health insurance and PTO, then 401k. Hate unlimited vacation, I like owning my time off.

I'm a hardware engineer so remote work isn't very important for me. I don't really want a full lab at my home. Other things are nice but pale in comparison to having good work, good coworkers, good boss, and management I can respect.
To be fair, usually those people are on credit card billing and at a usage level where they really shouldn't be.
To be fair issues in jpeg decoding libraries also have been used in the past as vector for malware payload.
While the webp ecosystem is far less mature, I am pretty sure that "older" format handling would also have its fair share of security issues.

But your reasoning is valid, it seems like a few weeks ago, netizen were arguing that jpeg xl should be adopted as fast as possible, and for that to be possible the browser developer "only needed to include the reference decoder code into their codebase" at "very little cost".
I went a week with no salt (and serious minimization of dietary sodium), no coffee or caffeine of any sort, adjusted my sleep schedule to be idealized, no alcohol (although I was a minimal consumer already and now am a zero consumer), very little sugar or simple carbs, took potassium supplements, etc. After seven days my BP was just as insane. And while people always have a stereotype of people with hypertension, I've been very active and fit over my entire life.

I started donating blood -- some report it as beneficial to BP -- and the effect was extremely short lived for me and very minimal regardless. I still donate blood regularly now as I'm an O- and they remind me constantly.

People are different. Someone who has mild hypertension probably can tweak some lifestyle dials and control it. I had severe hypertension with nothing to point the finger at (e.g. obesity, lifestyle, etc). For whatever reason my body was malfunctioning and in a recursive death loop of escalating hypertension.
You can write arbitrary kernel modules in Rust, I think there are a few floating around.

Core kernel will never have Rust in it, and that is a correct decision. Linux and C have a long history of just working, and there is value in making sure that C code you write is correct and explicitly thinking about memory and what gets modified where. Correct coding is more than just memory safety, and compilers can't check everything for you.
The onslaught of greedy Google and Microsoft execs on our education system will not allow this to happen.
600 years at 20% speed of light. So, we are not going to visit the planet unless we find a way to create worm holes at will.
The government coerced Twitter to delete posts. That's not nothing.

5th circuit court of appeals just had a ruling that this indeed violated the first amendment.

https://www.ca5.uscourts.gov/opinions/pub/23/23-30445-CV0.pd...

You'd think this would be much more prominent in the news.
That means that once you've successfully done your probation period, you are guaranteed six months of salary whatever happens (except for bankruptcy of the company or dismissal for gross misconduct, which are v. unlikely), with a possibility that you could negotiate a reduction in notice period, or be sent on gardening leave, in the event you find a new job. Not a bad situation to be in.
If anything this piece convinced me that robots aren’t actually that dangerous…
It sounds similar to Clojure libs. It might be an Illusion. Maybe those libs are done, zero to minimal need for further development! Our perception is shaped by regular bugfixes in other languages
> admit that they are ok with all the free shit they get as a result of advertising

I don't think people ordinarily make that connection. Many came from a
time when the Internet was solely an expression of generosity. The
thing about "culture" is that it carries on even after the facts have
changed. You're right that today (2023) access to 'free stuff' is a
tacit trade. People pay for free stuff by allowing themselves to be
abused.

But nobody ever made that bargain explicit. It was never announced, I guess
sometime around 2000, that the rules had changed.

We've had two decades of false "choice" based on a fundamental
misunderstanding backed up by a conspiracy of deceit.

> that is all worth more to them than privacy

I absolutely don't believe people make this value judgement. If they
truly knew what they were getting for what they are giving, Google,
Amazon, Apple and Meta would cease to exist overnight.

It is therefore of paramount importance that the "Myth of the
Internet" continues and that all attempts to educate and provide new
kinds of digital literacy are opposed by incumbent power.
I have no doubts of this, but I think it's fair to say they have vanished from public view in comparison to battery tech.
> "if it's worth doing then it's worth doing properly"

Big life lesson for me was "if it's worth doing then it's worth doing poorly" Even if it's more worthwhile doing it a little better (and once done poorly you can work toward that if it makes sense).
Unlimited PTO is a scam and if anything makes an offer look less attractive.
The lone American awake right now checking in. This thread is a bit of culture shock for me. In the US, most states are at-will, meaning there is no required notice period, but two weeks is the cultural norm unless you are a fairly senior executive in a mid to large company. My other reference point is Taiwan, where contracts typically specify a one month notice period. In either country, six months (or even three as noted in most comments here) would be considered extremely unusual, and possibly illegal(?).
If they agree to it, yes
Remote work, 30 days minimum vacation. The rest is governed by law in Sweden.

Edit: 25 days vacation is the minimum vacation
Isn’t such a long notice period a huge problem for the employer? Like they’re going to have a disengaged employee taking up space and salary for a long time
Some companies (especially in the US) have unlimited PTO. I don’t like that. I think the better benefit is a large amount of defined leave. Preferably the company will have a mandatory leave policy.
Control USB power on a port by port basis on some USB hubs
45 here. I certainly didn't and don't appreciate the fact that I spent hours on Saturdays improving my cursive during early education because my writing was horrible unless I took too long to do it. I envy the younger generations.
I get the feeling, but unless their business is something web-related, their attention to detail is better spent elsewhere.
Good health insurance is table stakes. 401k match is nice, but not as crucial to people making as much as well paid tech workers.

Remote work and unlimited PTO are amazing bennies. It just lets you deal with life as it comes and, when other things in life line up, go take extended trips/vacations and work from somewhere else and experience other locales. It truly enables working to live, rather than living to work.

I will say though that unlimited vacation has to have a good company culture around it, otherwise it's just a scam that encourages people to overwork and burnout.
SC Asked to Determine If Drug Dog Touching Car with Paws Violates 4th Amendment
Moderators sometimes put something on the homepage. HN is a little bit curated, it's not just upvotes.
Insofar as they create a shorter path for information to flow along, they are nonlocal.
(Quiet founder here)

I agree with the objection that not everybody can just contribute patches for major features to an open source project, and I think it's fair to say that the comparison to Slack and Discord is not 1:1 without voice and video calls (which we do plan to offer someday, FWIW) and to feel disappointed by that. Though I think when an open source alternative emerges it is usually understood that it could take a while to get to feature parity, and we try to be very clear about what Quiet already does and doesn't do yet on our homepage.

That said, Quiet is written in TypeScript and built on a web stack almost every engineer is somewhat familiar with, so it's really easy to get hacking on, and we'd love the help. :)

Here are the instructions to build Quiet desktop: https://github.com/TryQuiet/quiet/blob/develop/packages/desk...

And here are some good first issues! https://github.com/orgs/TryQuiet/projects/3/views/1?filterQu...
You can't really retrofit safety to C. The best that can be achieved is sel4, which while it is written in C has a separate proof of its correctness: https://github.com/seL4/l4v

The proof is much, much more work than the microkernel itself. A proof for something as large as webP might take decades.
It’s an ego preservation system,
it only shows downvotes to -4 :-)
There is a big gap between having the resources and providing service to others.

I'm curious what's the content of the cloud service? FSD SaaS for other automakers? Oh, that's a big deal! But I think it is a decade thing:)
Remote work (because I need to be near family), then salary/total comp. Those are the only two things I really care about. I take advantage of insurance and 401k match etc when I can but it’s not the deciding factor.
Haproxy is great in the end but it is pretty awful to work with. Once you've toiled in the mines of acl commands, going back to nginx/caddy is a breath of fresh air. Unless recent versions have completely changed the game, using haproxy when you don't have to is a massive time waster.
I've seen (rarely) unlimited with enforced minimum, which fixes the worst problems
Wait, that's still around?
How would we even get off planet if gravity was 5x what it is, we’d have no chance?
I've spent a lot of time hiking and backpacking. I've also had to walk five miles home (that's about 8km for those not in insane countries that start with "United") when buses or trains were cancelled due to weather.

I absolutely refuse to buy a backpack without a hip belt of some sort, because while you might not really need it for the five-minute walk from the bus stop or train station to the office, that changes when you're carrying it for a two-hour walk in the snow.
Truly life changing in general would probably be 3.5 grams of psychedelic mushrooms, especially if you have never experienced psychedelics before. Massive amount of reports of positive lasting experiences just from one trip.
That’s not entirely true.

Most companies use multiple products even if they could use less.

As an example, most companies using Zoom also use Slack. So they don’t use all the slack features although they could. Maybe because they think, for whatever reason, Zoom is better at conf call and Slack is better as chat application.

The same is true with Teams, that basically any company owning office licences get for free and still prefer using something else (because it’s garbage).

So if you can make a chat app that can make Slack look garbage as a chat app, you don’t need feature parity. Maybe adding an integration to external conf call services like Jitsi or Zoom can be enough for your potential customers, especially if they already pay for those.
Indeed. Like so many here, I listened to Car Talk plus Morning Edition and All Things Considered for many years. The degradation of NPR to where it is today—how it is impossible, impossible, to go five minutes without a mention of "racism", "sexism", or homosexuality/"trans rights"—is sad.
Interesting that the article focuses on the unintentional killing of people by robots. That is unfortunate and worth writing about, but society is good at proportional reaction to things like that. The more disasters there are, the more we'll take it seriously, and the more lawsuits & regulation that will follow.

See: self-driving cars.

The more challenging topic is military/government use of robots in war or citizen control scenarios. Areas like that seem very relevant if you look forward a few decades given the pace of progress of Boston Robotics and AI.

See: Terminator, the movie. Time travel aside... :P
Every employment contract in Germany I've ever seen explicitly removes the asymmetry, extending the notice period for the employee to the notice period for the employer.
It does not allow instantaneously affecting spacelike separated points in spacetime so it's not non-local
Beyond the typical, I have the luxury of working at a nonprofit where my day to day effort does not simply go towards the increasing of someone else's yatch purchases. I am an extremely jaded person and find it difficult to apply myself when I see the extraordinary waste that big businesses produce. Oh, you want me to work hard and be efficient but you get to expense everything under the sun and get above inflation pay raises. I see a lot less of that at a nonprofit.
> Even the landing page for WinUI starts off by comparing the differences between two versions of it.

It feels like they are trying really hard not to annoy developers by telling them their stack is now legacy.

They should take all old technology and put it on an entirely different docs website.

> We've been there before, and intermediate layers between the platform and the developer ultimately produces sub-standard apps and hinders the progress of the platform.
>
>-- Steve Jobs - https://www.engadget.com/2010-04-10-steve-jobs-responds-to-c...

I've heard Steve say this a few times, and it always caused developer backlash. But having seen how things have played out, I think he was definitely right.

Honestly though, Windows should have just gone with HTML. The majority of HTML-based apps are nicer looking and feeling than Windows apps, and the perf is fine. I just don't know how they f'd up XAML/WPF so badly.
> remembers buffers' size

Where?

Once you have a bare pointer, you've lost track of what the original definition might have been, so you (the compiler / runtime / programmer) have no way of knowing that you've exceeded the size.
I live in the USA, so if they don't have excellent health insurance, it's a non-starter.

I'm past the likelihood of doing another degree myself, but having a robust education reimbursement suggests that they are investing properly in employee growth.

If they aren't within about a 20 minutes commute, they need to have remote work available. I don't mind coming in occasionally for longer distances, but remote work is now a competitive standard, not an option.

Everything else is negotiable. Flexible policies about PTO are, I think, better than 'unlimited PTO' -- be generous and have flexibility at every manager's discretion, we'll be good.
Unlimited PTO would be a negative. It really isn’t unlimited, and it is basically a hidden number in your managers’s head.

With defined PTO, everyone knows how many days you are entitled to. In addition, if you get laid off, you get money for your unused vacation days.

Other than the usual health insurance, etc, the biggest thing I am looking for would be full-time remote.