skysight-inc/HackerNews huggingface dataset:
That is already how it's defined in the `base` package right now though:

class Eq a where
(==), (/=) :: a -> a -> Bool
x /= y = not (x == y)
x == y = not (x /= y)

https://www.stackage.org/haddock/lts-18.17/ghc-prim-0.6.1/sr...

The way this works is that when you implement the `Eq` typeclass for a type, you can provide more specific implementations. A minimal complete implementation is to implement either == or /= for your type, and the other definition will apply.

The way this breaks existing code (iiuc) is that as a top-level function, if you have imported the `Eq` type class but haven't imported the `Prelude` module implicitly (on by default but can be turned off), you will not have `/=` in scope anymore.

I think people are upset by this less because of how hard it would be to fix, but more because of how it acts as a sort of signaling change ("they're willing to break my code for this, which I didn't want, but not for X which I did"). The most common value of X I've seen is removing or reworking the partial functions in the Prelude (e.g., head / tail on `[a]` raising an exception instead of returning `Maybe a`).
> in theory you could do e2ee accross multiple servers and devices

I use XMPP to send e2ee messages to friends on other servers and clients every day, so it's very much not just 'in theory'.
What if no one is guilt tripping but the other side is just uncomfortable as hell with their own easy acceptance of the status quo?
The WHO's guideline for "preventive chemotherapy to control soil-transmitted helminth infections in at-risk population groups" https://apps.who.int/iris/handle/10665/258983 isn't about "passing out drugs for funsies". They recommend mass drug administration for at-risk groups because hundreds of millions of people are suffering from parasitic worm infections that can easily be treated with a single dose of a cheap anthelmintic drug, but diagnosing every single case beforehand would be much more expensive.

Of course improving hygiene to prevent infection is important (that's also stressed in the guideline), but that will take much longer, while mass drug administration has immediate benefits.

Fear of drug resistance isn't a good reason to withhold treatment from people who really need it. The WHO's much more sensible strategy is to encourage research into alternative drugs in case drug resistance becomes a significant concern.
I too got the impression that most experts stressed uncertainty. But let's assume that what Fauci said in those interview is typical. "Closer to 85%." "…can't be achieved if only 40% or 50% of the population receives the vaccine…"

From that, I hear that the necessary figure is somewhat unknown, but what's needed is likely higher than Waterford's current. If you assume that everyone vaccinated in Waterford lives there (and not in the suburbs) and that they live to be 100 years old on average, then their vaccination share is slightly below 82%. 100 sounds a little high and people in the suburbs do avail themselves of services in the city, so my guess is that the real percentage is lower.

And one sentence I don't see from Fauci is "we'll get almost the same benefit if a little fewer people are vaccinated".
So the conclusion is that if you are already sick, your chances to beat COVID-19 are lower? Doesn’t this apply to many other drugs as well?
Looks really good. My three chemicals for crystal growing are

ADP

https://en.wikipedia.org/wiki/Ammonium_dihydrogen_phosphate

and MKP

https://en.wikipedia.org/wiki/Monopotassium_phosphate

and Alum

https://en.wikipedia.org/wiki/Potassium_alum

but probably table salt is cheaper..
Yet, all this does not justify clickbait.
At school we had a sodium crystal that was around 15cm in diameter.

A teacher said, they found it in the woods.
You're looking for Matrix. XMPP wants nothing to do with 'enterprise' apps that rely on potentially backdoored encryption standards. The people who care enough to enable OMEMO on their chats aren't going to do so with the intention of undermining their communique for a slightly better level of compatibility.
Wonderful! I was tempted to do some searching on ethanol, acetone, any volatile things that are generally available... good to know ethanol is effective.

Will be a fun xmas experiment to do!
Right, I thought that the wink is enough, and I have also paid enough homage to Lucene.

What's wrong with people? I think a lot of them are probably just university students who have nothing better to do than to troll on Internet.
I would just call Fortran directly from Python. That's also what's normally done by people that use Fortran and Python.
There is F2py (that's part of Numpy)
https://numpy.org/doc/stable/f2py/
To interchange data with Fortran you use files, mostly CSV (Fortran isn't exactly the nicest language to write parsers in). It's actually not encouraging that your post is the fourth google result of `fortran pubsub` :D

Disclaimer: I haven't used Fortran (with or without Python ;) for quite some years now, so maybe there are libraries now to do the stuff you're trying to do.

Btw: Fortran-Wiki: https://fortranwiki.org/fortran/show/HomePage
automation/screenshotting of a bespoke internal ticketing system (aka not-Jira), but without needing to have my laptop on.
The word ”discount” in their name makes sense to me. I see it totally different than the issue with “cheap”.

- Discount is only referring to price while cheap can refer to price as well as quality.

- They’re going after a different segment of the market. Business to Consumer clients are not expecting the same level of professionalism as B2B clients would.

- Maybe it’d be a concern if they only sold their own tires. You might figure lower price means lower quality products. However, they sell the same tires as everyone else. It’s easy to see that it’s just a price play, not quality.
Extremely basic HTML pages (is this brutalist? minimalist?) is pretty much the fashion for CS people isn't it? I mean, I get it if it's not your cup of tea but it's pretty much standard formatting, dark font on light background, readable font size. The only thing I can complain is the long lines but I resize my browser window and, voila!

Again, each to his own, but I find it pretty ironic to find this comment here of all places. HN isn't that far in terms of design either. This site spent a bit more time choosing colors but font is too small, and lines run a similar length.

Curious to know what minimum formatting you expect.
What about this testimonial on how one of the trials was performed?

https://www.youtube.com/watch?v=B5_gpJW7Euo

Or testimonial from Maddie de Garay's mother, also about how the trial for children was performed?

This article:
https://www.bmj.com/content/375/bmj.n2635

And how many others have not come forward or been censored?
Is $2 a signature really a big hurdle? If i'm paying a lawer a thousand dollars to write a contract, I really don't care about $2 to sign it.
Snikket is absolutely the future of XMPP imo. They have the right ideas: https://snikket.org/blog/products-vs-protocols/
Well the patent expired and then Merck created Molnupiravir, so I don't see any incentive there.
Nebulaworks is hiring Senior Cloud Engineers
Nebulaworks is hiring Senior Cloud Engineers

The Senior Cloud Engineer is responsible for interfacing with our customers on a technical level, helping us reshape the way that IT and applications are delivered. Our ideal candidate has a passion for developing more effective ways to deliver infrastructure, application code, and IT resources. You will be developing robust, immutable infrastructure as code solutions in the cloud that help transform and optimize our customer's business for years to come. You should have the drive to discover and implement the most effective options available for use today, leveraging the cloud and deployed as infrastructure as code. You'll be working with open source tools, integrating them into modern, cloud-native environments.
Me too.

And then within 2 days I put a deep scratch in the screen.
Salt Proposal Gives Windfall to Top Earners in High-Cost Areas
Well you are running Fedora which is a bleeding edge distro aimed at Linux devs and is a testing ground for red hat. You’d have a lot less problems on Ubuntu.
Such a thing already exists. The ui.vision extension is roughly the same, but it runs locally (no cloud):

https://ui.vision/rpa/docs/selenium-ide/capturescreenshot
Also, if you are building upon the code from the prior review, and you need to shuffle things around based on feedback from the review, then your more recent work also must be redone, resulting in waste.
> Push back on murky requirements.

This is a hugely important thing to learn.

Fact is, it's extremely unlikely a business is going to fire you for pushing back on something you can demonstrate is ridiculous. And engineers should be financially prepared to leave or be fired by employers being unreasonable with their requirements.
I see, QWACs are to be issued by banks. And websites are required to trust them.

So if the bank gets hacked, then presumably the EU will indemnify the relying website against any legal action for trusting an unreliable CA? Even if that website is in China/Russia/Belarus?

You seem to have read the proposed regulation, Jensson; the information you've given is not in the position paper. Any chance of a summary?
That's how recruiting works.

Honestly, what else would you want them to do? Send an impersonal letter?
Personal FINANCE House Democrats propose increasing state and local tax cap SALT
And in many cases only the prediction is used - people see what they want to see. It's a natural extrapolation of this (which can be very wrong and even deadly).
By the same token, if you have a quantum random source of bits two identical computers running the same computation but using that source as part of the input will not always reach the same answer. Does that prove that they are running different computations? Does your CPU become conscious when a cosmic ray interacts with its RAM (a rare but far from unheard of occurence of quantum noise affecting all computers on Earth, much more common for computers outside the atmosphere).
Democrats prepare plan to pass 'SALT cap relief' tax break for wealthy
I'd never recommend Fedora, non-LTS Ubuntu, or Debian Unstable for a Linux newcomer. Any time you run a development release, you risk breaking something whenever you update.

I've been happy running Cinnamon on Ubuntu LTS releases, and I like what I see playing with KDE as well. I've never had a kernel fail to boot (other than by hardware failure), and AppArmor is, IMO, far better at staying out of the way than SELinux. I can't help on the Exchange stuff, I've never had to deal with that.

It would be a little easier to just run Mint instead (Cinnamon being native there), but on Ubuntu you can just "apt install cinnamon-desktop-environment" and then choose Cinnamon the next time you log in.
Be curious to know if anyone who has trademark legal knowledge can answer this question. Since the word Impossible is common, as far as I can gather, if it is for a different industry you indeed could use it?

edit: typo
Are you aware of limitations around site support with this approach?

Several years ago I implemented a similar feature just reversed - A remote machine logs a user in, then passes the cookies that result from login to an extension running in the user's browser, which drops them into the browser's cookie jar.

Worked very nicely, right until you run it to log into a service like GMail.

Then Google correctly notes that you're using the same cookie in two different locations, assumes you've been session-jacked (and you have, really - you just did it willingly), and locks EVERYTHING. It took a notarized copy of my drivers license before they let me back in.
A doctor I know described it like this:

"Doctors are like monkeys with hammers trying to fix computers. We bang against stuff and will try a lot of things if we don't know what you've got. We may even get it right. But if you have a broken leg, an appendix that needs removal, a clear case of something that can be treated with anti-biotics, then we can perform small miracles."

I don't know enough of the profession to estimate how accurate that statement is but it has colored my view.
I wouldn’t count on this working out long term. If this becomes the main advantage the UK has, it just becomes a consolidated target for anti-corruption initiatives. A country like that is also not a good one to live in, so they should expect to lose Scotland, NI and Wales to the EU. You only need London to launder money.
I like the book Crucial Conversations. It would say to be 100% respectful and understanding of their interview process and 100% honest that you're concerned about the length of the interview process. Done well, this should cause no harm and may help you.
Viddyoze.com
This is how HTML renders by default - I guess it's an artifact of times when not everyone had a 2 foot wide screen. Fortunately many browsers/extensions can fix this for you with reader mode.
We've had very different career experiences, then.
> So they teach the class or just help the teacher (hence helping with teaching)?

They don't teach any part of the class, an instructor gives a live lecture practically identical to any other traditional pedagogy. Some students tutor others, also not a new idea. What do you think is wrong with this idea?

> Ahh, so there's an incentive to defend the brand here.

Wow that was a full disclaimer and you're...leaning on it, with no elaboration? Do you think my question wasn't worth addressing?

You mentioned algorithmic complexity in another reply, and presumably you don't realize that Lambda actually does teach computation complexity.

But if you're going to just lean on my disclaimer and be dismissive in discussion, I suppose that's that.
I know this is (partially) a joke, but it does raise an interesting point to me (as a vi heathen), why does :w seem easier to remember than C-x C-s?

I guess it's the modality, I know ':' indicates the start of an ex command, and "w"rite saves the file, while I only see C-x C-c as a "single token".

I supposed it's just C-x for "execute command" and ... I'm not sure why it's control c, instead of just c, or s, or w...
I personally always favor directness. That said, your post is pretty inconclusive: there's a big difference between 4x1 hour interviews and 4x2 hour interviews.

You do realize that working there would probably give them broad rights over your open source project, right? Standard employee contracts assign work that you do on their hardware, during their time, or that are directly related to their business. You certainly tick box 3.

You also aren't clear if you want the job. If you want it, you're probably going to have to do some hoop jumping. If you don't, then no hoop jumping required.

Anyway:

Hey, thanks for reaching out and it was a pleasure meeting you over zoom. It certainly sounds like [X] has some interesting work, and I'd obviously love to see my project deployed. Given my experience in the area, I can definitely provide [YY].

However, to be direct: while I'd love to check culture fit, your proposed use of my project has validated my ability to write software. I'm not interested in a full interview cycle including code tests.

If you're interested in proceeding, I'm happy to spend up to two hours meeting with your team. Alternatively, perhaps you would rather engage in a consulting relationship where I retain ownership over my project?

Cheers.
but what if they don't want to interoperate with each other
Will you be managing your current peers? That can get awkward because you'll have to maintain a professional distance, but it can be done.

As others have said, it's a completely different skillset, so make sure you are ready to learn that skillset.

And lastly, why do you want to move to management? Do you like helping and mentoring people, and do you get joy out of seeing others around you succeed? If yes, then consider the move, but if it's just for more money/power, you'll be miserable.
"One day no human will consume meat."

If I had some time-travel-y way to bet my entire life savings against this prediction, I would.*

(*yeah, someone's going to get persnickety here. As long as humans are around, I believe some are going to eat meat.)
That is interesting. Do you mean that the xmpp.org foundation is not a good custodian of the specs?
As of right now, all of space is treated like international waters - vessels fly the flag of some nation and follow that nation's laws with respect to criminal activity, and captains are given wide latitude to make decisions affecting the ship's operation which carry the weight of law. Disputes between vessels of different nationalities or involving foreign nationals on vessel are generally hashed out by the two nations governments. For violations of international law, any nation can claim jurisdiction.

At first, everyone on mars is going to have family and assets on Earth, and thus earth based governments are going to have a lot of leverage. Of course oversight will be difficult, so if a company wants to do something illegal it could probably get away with it, but they'ed be more like mafiosos than royalty. I doubt we'd see any abuses on the same scale as say the east india company. After a few generations though there might be a sufficiently large population with sufficiently little connection to Earth that they may want to come up with their own law system. It's unlikely that any mars colony will provide much value to earth beyond national pride, so by that point they might face little resistance so long as they remain nominally under their parent nation's jurisdiction.
To this day, Jaap van Dissel, the head of the RIVM maintains that masks do not work.
>Really Bad Acronyms, or FBAs, are spawned by FNPLs (Nerdy Project Leaders) when naming new systems

Nothing like personal attacks to get your point across. Well done author.
Crypto bid to buy US constitution print raises millions
This is awesome. Congratulations on the launch. I can see a number of use cases for Marketing, CS, and Sales orgs
I agree. It is dependent on use-case but the majority of startups backed by VC choose the SaaS pricing model by default.

I do agree that in the case of something like Netflix a monthly subscription is a good idea, but there are many instances where pay as you go can work so much better.
I was wondering why the text I was reading didn't match up with the background image - it hasnt fully loaded and there's no indication !

grr
Impressive work :) #jealous
If I write your name on a napkin along with a request to cancel service and hand it to random employee of some company you have a subscription with, how do they verify that it really came from you?
I don't think a cheese grater would work? A hammer would be the tool I would go for.
As someone who once believed this, this statement is simply not true. Experimentation in ham radio is largely about the physical layer, with maybe some layer 2-4 work when it comes to building low-scale communications infrastructure. Encryption is not implemented at this level, and the limitations on encrypted content do not impede research into new digital modes or actual radio science.

I think it is worth asking why modern digital radio standards (e.g. P25, DMR, LTE, 5G) were largely developed outside the ham community. My survey level understanding is they came from the communication needs of their users and are not a natural evolution of something that hams would build, with or without encryption. When I was researching DMR, there's a lot of stuff that is unnecessarily clunky when considering the use case of a ham QSO. Conversely, the business users of DMR want more structure than what's provided with amateur-designed digital modes. With 5G, I think there are some real technical and capital barriers, i.e., very few amateurs have access to the grade of test equipment needed to engineer and experiment with systems at those frequencies.
I also despise presentations that include a slide with a table of contents of the upcoming talk. It’s almost always filler.
It’s more than a few and less than a bushel.
Congrats, the demos look awesome! Having struggled with something like this in the past (for automated testing) I am always curious about how various solutions represent the "program" so its long term repeatable?

I often had to manually add branching on certain conditions (i.e login) or waiting for certain conditions (elements appearing) before proceeding.

I also often had to manually tweak selectors and even matches on html structurally (css selectors cannot select a parent element based on a matching content element).

Then there are the webpacked react sites that scramble css class names that change all the time.

Some of these things are super tedious to solve for even manually so I am just curious how no-code tools handle these?
The best advice I can give is don’t treat it like an irreversible fork in the road or a path that won’t ultimately make you a better engineer. Find the right environment and give it a go!

I wrote a bit more detail here: https://www.linkedin.com/pulse/become-better-engineer-try-ou...
In CS, another sin is that you have to "justify" the significance of the results even in theory conferences.

Hence many papers contain exaggerated claims with respect to practicality, importance and so on.

Another sin is that the results need to be "difficult" and "surprising" in order to publish. Hence, if you present your story in a simple-to-understand fashion, you run a high risk of rejection. Better not simplify your results before publishing -- keep all original notation, even if you figured out you do not need that many indices.

This has become a dogma and there is little chance of all this nonsense stopping anytime soon.

It is refreshing to read old papers that merely get to the point and are significant while being nice to read.
I thought the company contacted the developer to offer him a job based on his open source work, not that the developer applied to work at the company. If the company sought out the developer to offer a job and then demands 16 hours of jumping through hoops, then that seems both confused and inconsiderate.

If that actually is the case, I could see myself happily telling the company to not waste my time, but if they really have an offer, let's hear it.
Trust in government is typically a lot higher in EU than most other parts of the world, so you can't really compare. I know Americans often wants private companies to protect them from governments, but in EU people typically wants their government to protect them from private companies. I trust my government way more than I trust Mozilla, Google, Microsoft and Apple combined, it isn't even close.
I really wanted to like XMPP back in the days, but honestly I always ended up feeling that the protocol is just bad. This idea of opening an XML document at the beginning of the stream, then only allowing a subset of XML and all the mess with the xmlns, all that bringing really nothing to the table except complexity.

I think ideally in a good protocol, the server should not have to parse the content for the messages that are not targetted to itself (only the metadata useful for routing). the XML mess makes it impossible to do that since you have to validate the full document.

At the time I think this page was a good summary of the issues https://about.psyc.eu/XMPP
No idea if this is still relevant though.
> and it was quite intentionally designed for users to upgrade and repair

Only for the battery.

Failure rates on the memory and hard drive components were far higher than we have today. And it didn't benefit Apple at that time to be soldering them to the logic board since thinness wasn't a concern i.e. due to the DVD drive dictating size.