skysight-inc/HackerNews huggingface dataset:
The full explanation: In OCaml, before 4.08, there was no special support for monads. For example, the Option module (https://ocaml.org/api/Option.html) offers an "Option.bind" function. When chaining monads, you would usually write "Promise.bind" for promises, "Option.bind" for options, etc. OCaml also allows you to define your own infix operators. By convention, "bind" is often associated with ">>=". But this is usually done in userland code, OCaml and its standard library don't use ">>=". For example, the Result module (https://ocaml.org/api/Result.html) uses "Result.bind" too, but doesn't define ">>=".

Lwt is one of the two popular libraries used to have asynchronous IO, the other being Async. It does this through a type called "Lwt.t", which is very close to promises in JS. Lwt.t is a monad, and to chain monads like normal code, you need to use "bind". In OCaml, you can chain expressions with ";" or "let ... in", but if you want to chain monads, you have to use "bind" or ">>=" instead. This is considered annoying by some people, and those people often want monadic code to look the same as regular code. For this, Lwt and Jane Street (the company behind Async) have syntax extensions, called "PPX". PPXs are OCaml code that is executed on your code before your code is compiled. You could call them macros. The equivalent of PPXs in the JS world would be Babel, and a single PPX would be a Babel transformer.

In 4.02, Lwt added the Ppx_lwt library, that allows you to write code that is close to regular code, but is monadic: "let%lwt ... in" instead of "let ... in". There's also ppx_let, by the people behind Async: "let%bind ... in".

That brings us to binding operators. In 4.08, OCaml added support in the base language (so no need for PPXs) for monadic let. Here's the manual page about it: https://ocaml.org/manual/bindingops.html. So now, you can write "let* ... in", which is a bit shorter, and doesn't rely on external libraries or PPXs. You can see in the manual page I linked in the 2nd and 3rd code blocks examples how this makes monadic code look more like regular code. There's also "let+ ... and+ ... in", which has support for applicative functors.

Your point about using "just" is an important one. When you're inside all of that, it seems crystal clear, but for people coming outside of that bubble, it can be quite opaque. To finish on another JS example, this story is close to the story around asynchronous code in JS. First callbacks, then promises, then syntaxic support in the language to make promise-heavy code look just like regular code. The difference here is that OCaml put a more general async/await in the language, but no promises.

To go back to ReScript, you can use promises in ReScript, but there is no syntax support for monadic code in general, or promises themselves. So this is like JS with promises but without async/await.
It's not free and it's google
So what's the relevance of the site, that's for non self driving Teslas.

Why would the model/price/class of the car affect the crash rate of a self driving car?
For their "booster everyone" dogma that was based on razor-thin evidence, while neglecting infrastructure and resources for the vulnerable, as well as ignoring real transmission paths by implementing pointless rules for punishing the unboostered population, while the boostered population can happily spread the virus. It is starting to fire back now.
2 days to identify and understand the problem because I wasn't able to reproduce at all, only on prod. Then ~1 day to fix but I've decided to handle not emojis per se, but unicode characters (which makes more sense but requires more knowledge) which was finished within the next 2 days. In the meantime I set up a test project with PostgreSQL, 3 MySQL databases and 2 MS SQL Server so all operations were executed on all 6 at once.

The worst thing is Django won't raise an exception on max_length exceeded even with MS SQL because on the application level its length is 1, so only the DB (DataError on constraint created by Django) will complain.
That's very telling, isn't it. After all, who were you advocating for?
Is it really? I mean, you more than likely aren't going to get paid 500k+ per year, even if you "navigate your career" efficiently.

And in so many cases, you might be losing out. Did you want vacation time or do you simply want to work while you are young?

Do you want to have children in your 20's? If so, maybe not move to the US. Your child probably will have citizenship of your home country - but maybe not, especially if you don't move back. Worse, though, is that the child automatically becomes a US citizen. This means that if you move away, your child must have a US passport if they ever want to visit again... or must pay $2350 to renounce. It means that the child will, until they renounce, be taxed by the US government on their global earnings.

You probably won't get 4-5 weeks of vacation a year - and even if you do, it isn't a legal requirement that they let you use much of it. And they probably won't let you take 3 weeks off at a time.

Or you might find that you get sick and lose your job. You might fall in love and realize that your partner isn't eligible to move to your country with you. You might find that your retirement in your home country isn't as much because you haven't paid into it as much (depending on the system). Or you could very easily find that your retirement is tied up in a 401k that failed miserably, leaving you without.

If you have dark skin, you might find yourself dealing with a US police force at a traffic stop in ways you didn't in your home country. Good luck if you are trans, and in some places, a same-sex relationship will get you ostracized. Of course, the places in the US where that happens most aren't places paying 500k - in no small part because those places are few.

So no, it isn't totally worth it to move to the US.
It might be falling back to hosts for them or if they're ending with .local or .home, it's hitting hosts file first for them.
Does the electricity company take a cut from online payments too for allowing people to use their infrastructure.
So, looking at the HTTP3 wikipedia page I see this:

"HTTP/3 uses QUIC, a transport layer network protocol which uses user space congestion control over the User Datagram Protocol (UDP)."

Ok. Is it still a thing with internet core routers that in case of congestion issues they drop datagram packets because they're not guaranteed to be delivered anyway?
Let's inform the other few billions of humans on Earth to move closer to bus stops.

Some people act so entitled... Not everyone has the same circumstances and infrastructure around them. Go to a poor part of eastern Europe. My mother has 2 buses to the nearest city in an entire day... (Not mentioning it takes like 5-6x more time.)
Many other have already said it, but I want to add my voice too. Thanks!
I created a short step-by-step blog post, with images, about a solution that worked for us because people started contacting our support. I think I can share it here: https://www.queuemetrics.com/blog/2022/01/13/firefox-stopped...
Firefox is not what it used to be... They deserve it in my opinion even if I'm still using that browser for most of my browsing.
I've had some struggles with Firefox recently where sometimes it will refuse to create any new connections. Going to "about:profiles" and selecting "Restart normally..." has resolved this. Leaving it here as it might help someone else + not being super-intuitive.
Just experienced very similar symptoms. After several restarts, (including manually killing background procs). I was able to get http(s) connections working again by manually disabling all extensions and restarting. So far I have re-enabled uBlock and then I came to HN and found this as top post. Now in the process off individually re-enabling extensions.
> What's going on at Mozilla is probably what's going to happen for Linux once Linus is out.

> Both these pieces of open source software are way too big to be replicated now by a dude or a bunch of dudes and also way too big to be maintained by people on their free time. They require resources and organization which itself corrupt the original spirit.

I doubt that one. There are a lot of big companies who employ the core developers as well as the Linux Foundation which employs Greg K-H [1]. Unlike Firefox where there isn't much corporate interest behind it, there is an absurd amount of corporate interest behind Linux so in the worst case the Kernel will become a corporate committee joint effort, but definitely it won't go down the hell that Firefox currently is.

[1]: https://thenewstack.io/contributes-linux-kernel/
When you dive into it, there are problems with this theory. PBS SpaceTime did pretty good coverage of it[0].

Each non-dark matter theory (i.e. MOND, primordial blackholes effort) usually has some pretty large glaring issue that's unsolvable.

I'm all game to refute dark-matter but still waiting for the contender that fits the observations[1].

[0] https://www.youtube.com/watch?v=qy8MdewY_TY

[1] https://en.wikipedia.org/wiki/Dark_matter#Observational_evid...
I love (and donate to) mailcow, it's an amazing piece of work which makes it simple to get up and running and to maintain a email stack.

The problems you end up with is dealing with the big fish in this space. For instance, Microsoft are currently blocking all/most/a lot-of mail from Linode IPs and have been since 21 Dec regardless of individual server reputation[0].

[0] https://www.linode.com/community/questions/22287/550-57511-a...
Yes but my point was (in relation to the article) that a lot of the work in cool companies is the same as that done in 'non cool' companies. Does working in a cooler company when you're doing the same stuff that your buddy down the road in the non cool company is doing make it feel a 'better' place to work.

Using my bad examples - if developing the same door knob release system or dealer booking system - feels better because you're doing it in Tesla than say Ford or Skoda? And how much
Randomly came across this posting...

I'm leading a machine learning data platform team at Naver (which is basically a South Korean version of Google), and we are actively looking for software engineers of all seniority levels. We build services like data catalog, ETL platform, consolidated data exchange terminal, and so on. To put this in a different perspective, our mission is to provide a highly-efficient, self-serviceable data platform for machine learning engineers and researchers.

If you have strong experience in backend engineering (web service, distributed systems, scalability problems, MSA, SRE, etc.), we'd love to reach out to talk to you. Data engineering experience is also welcomed.

Although I need to do some research on my end, but I'm pretty confident that we can work something out for your visa needs. I occasionally come across with some foreign/English-speaking engineers working at Naver.

Here's the job posting (in Korean): https://naver-career.gitbook.io/kr/service/clova/data-platfo...

If this sounds like something you'd be interested in, let's talk. (This is my first time posting on Hacker News, and I'm not sure what's the best way to share my contact. Any advice would be appreciated.)
Nice and simple explanation on how someone could use NFTs for laundering or market manipulation (https://en.wikipedia.org/wiki/Wash_trade)
Just since you said you are happy to get English tips, you’d say “didn’t bother” there. The past tense is indicated by the “did” in “didn’t”, and so you don’t add the “-ed” to “bother”.
Google is the largest financial supporters in Firefox, they buy Firefox search bar. If they wanted to destroy Firefox, they’d already do it by simply cutting that revenue stream.
Wow. Spent 2 hours trying to figure out what the heck is wrong with my FF on arch. But did nothing and now writing that post from FF so DNS over HTTPS service was down maybe?
Thanks! That issue had me completely baffled!
> specially compared to the US where quite some companies will match our European amenities (talking about software engineering jobs).

Debatable. In most European countries, if you lose your job you still have health cover. If you lose your job in the US you do not keep the company benefit health insurance (except as part of a severance package for a limited time). For H1-B visa holders, they must leave the country (this is relevant for anyone based in Europe who is trying to determine whether to stay in Europe or use a visa programme to relocate to the US).
I had something similar - changed the setting, closed firefox, opened it again and was presented with the message "Another instance of Firefox is already running. Please close other instances of Firefox". There was a firefox.exe process running 12% (on an 8-core machine, so it was pegging one core at 100%) that I had to kill. After that FF worked fine.
This comment should be higher.

Thank you.
> Forced to use Safari.

That's a huge issue actually. See the story the other day about Optional Chaining operator breaking iOS 12 Safari[1] and there's nothing users can do about it even if the hardware is perfectly capable of handling Optional Chaining operators.

If I could just install another browser then that issue disappears. But I can't do that, because Apple will never allow any other web renderers on the App Store.

[1]: https://news.ycombinator.com/item?id=29894300
Why would you include national holidays into vacation days? National holiday is more like an extra sunday. You can't move it for example if you're on a medical leave through it.
Yes not working on Airtel. Works fine on jio 4G though.
Thanks. I think I will need to read a proper book / article on this subject as encoding in general keeps haunting me periodically.
What fixed it for me was to uncheck:

"Allow Firefox to send technical and interaction data to Mozilla"
Dropbox Mac App with Apple Silicon Support Now Available to All Beta Users
For life without most extensions, try Firefox mobile...
The problem with HSL gradients is that you now have a completely different color, and the whole thing looks like nothing found in nature. Unless the rainbow is an intentional design element, it just doesn't quite look right.

It's useful, but not a substitute for really carefully picking your colors so it all works.

One of the harder things in creative projects is when you have two individual elements you want to use, but you don't like what happens if you add both.
On my C64, my cassette drive was super sensitive and some games wouldn't load. Fortunately, my neighbour was an electrical engineer and he came up with a solution.

He modded the cassette drive so that I could plug a headphone. From there, I would adjust the reading tape using a screw while trying to maximize the signal I was hearing. In some instances, it still didn't work so we had to use his oscilloscope.
Looks like it's all fixed now. I made the http3 changes on my Windows machine, but currently on my nixOS machine and FF is working without any issues.
I'm saying they have a very high profit margin.
I think people are genuinely worried about charging simply because it's unfamiliar, or they're familiar enough with their phone running out. And lots of people live in inconvenient home charging situations.

Car-to-car charging is a new idea to me. Of course, that depletes the range of the charging car, so where does that car get its charge from? I'm imagining a chain of charges like https://en.wikipedia.org/wiki/Operation_Black_Buck

More realistically it would be Uber Recharge: if you're stranded you pay some money to someone who comes along and gives you 50km of charge to get you un-stranded.
I think that sometimes, but where else can you run ublock origin and facebook and google containers?
Speaking as the Devil's advocate, organizations want headcount to be fungible.

If hiring and churn were huge issues for most companies, they would actively combat it. Instead, they've all mostly settled into the practice you see. Engineers typically do a 1-2 year tour of duty, vest, then bounce onto greener pastures. Steady state flux. In some senses, new talent also bring in new ideas and combat skeptical dispositions and organizational ossification.

Engineering salaries are without a doubt one of the biggest expenses for organizations to deal with. Companies love that they can now hire remotely and pay adjusted cost of living. They'll hire as many workers in middle America as they can, and once enough of the workforce is concentrated outside of expensive cities, you'll see them stop hiring in SF and NY entirely.

But it won't stop there. Startup capital is already beginning to shift to new opportunities in burgeoning emerging markets. Employment will eventually head there too, whether it's chasing after the new capital or simply finding more talent at better market prices. Covid and WFH opened up a world of possibility for talent sourcing and cost reduction. America doesn't have a monopoly on good engineers, just the expensive ones.

I wouldn't be surprised that if in ten years, our salaries begin to dip below six figures. Inflation adjustments notwithstanding.

Make your money now while the iron is still hot.
I remember in the 90s watching some American tv shows and they always seemed overly bright with color compared with other international shows. I don't seem to notice that anymore.
At this time it doesn't appear to be a surreptitious update, but a load balancer issue: https://bugzilla.mozilla.org/show_bug.cgi?id=1749908#c17
"Advocacy"?! This is crucial information that should help them solving the problem! Switching Firefox Data Collection completely solves the problem and allows users to use HTTP3, but it looks like they prefer us not to use HTTP3 but have Firefox Data Collection turned on instead.

I mean, in normal circumstances I'd understand it, but hiding this kind of key information as "advocacy" is unacceptable.
You can locally host .com aswell
It's not from Mozilla. My two computers stopped at different times, and both were on 95.0.x. I didn't restart Firefox to make it happen. It just froze in the middle of the video.
I already had that disabled when it struck me.
>The result is that driving downtown is a nightmare

Is.. this a bad thing? Why do you feel entitled to a great car driving experience in the densest part of downtown?
> When you pass a value to a function, is it by value or by reference? Who knows?

Value. Value, value, always value. However, it seems that maybe you don't understand exactly what the value is that you're passing.

> Notice how, in my example, the resultant list is updated in the function parameter

No [0]. It makes a new list (really a new cons cell, which contains the new item and then points to the old list [1]), and assigns that to v. And your example doesn't actually show this update happening, it just shows the return value of push (it so happens that it is updated, however). The original list --- passed in or otherwise --- is never changed. You say that you're "updating" a list, but you're not mutating or updating your data structure at all --- you're making something new, and assigning that to v.

> These are two logically different behaviors!

They are two logically different operations. Are you sure that you understand the data structures you're working with, and the operators that you're calling on them? Did you perhaps try to map concepts from another language into Common Lisp, find functionality that looked similar on the surface, then become surprised when the results were not identical?

Linked lists differ fundamentally in structure from arrays, and so the operators which are commonly used with them differ in turn. Perhaps you would like to compare arrays to vectors, as a closer approximation in data structures, with similar typical strategies of manipulation?

> does not follow the principle of least surprise.

You keep saying this, as if that is that. But nothing about your example is surprising to me, so I suppose this is a matter of perspective.

[0] http://clhs.lisp.se/Body/m_push.htm

[1] https://en.wikipedia.org/wiki/Linked_list
It's still early, but we do think that FHE is getting ready for prime time, and for being used in cloud applications. We are confident that it can be speed up by a factor of 100–1000x in the next 5 years, making FHE an ubiquitous technology for protecting privacy....
Hi Dan, great read. Thanks for sharing your experiences!
Mind you that despite all best efforts and experts involved this project went trice over its head. I am very happy with the end result though
Java: Launching Single-File Source-Code Programs
>The universe doesn't give a single shit that a lump of carbon

If it truly didn't then we wouldn't exist. Since we are here it means we need to be here, as all things have their place. We are the finest way the Universe can experience itself, at least on this planet and this is our significance.

>Boredom is a sign of an impedance mismatch, a lack of stimulus or novelty

What better stimulus you can have than the whole Universe in front of you? It's not a lack of stimulus it's inability to see deeper into what is going on. If you look out of the window and see people, trees, cars of course you will be bored. But if you see how none of this would be possible without Sun showering this planet with energy, without stars forging atoms and then evolution combining them in unimaginable ways which ended up in forms you see, then it's a different thing altogether.
Fully agree, but I learnt the hard way there's a right way to present myself, else be passed over by people with opportunities.
The government of the German state Baden-Württemberg mandates solar panels on every newly built parking lot (>35 spaces) since this year.

The recently elected new federal government debates right now applying this to all of Germany.
> There's nothing stopping anyone on reddit from posting on HN and vice versa.

Yes there is. About 1/3 of my comments on Reddit have been censored for being against the "official truth" of the subreddit.
Not to mention that many companies don't even offer raises, at least nothing of much worth.
I see, so while not rainbows it does come with the fact that you're expected to be a slave on location for 24/7? So if I understand it correctly it is only rainbows if you wish to combine that with a family life and without having to move to us?
Cars aren’t exactly cheap either. Why should we force every human to own a $1000 asset, and feed it with oil every week, just to participate is basic society?

Why is building more bus stops, more metro stops, more train stops, more bike lanes, so terrible? And how is forcing car ownership better?
I just had to kill Firefox.exe using Task Manager/Process manager and restarted it as it had hung. Then it started working.

Tested all versions, release, dev and nightly.

They all work now.

I did not have to change any settings or do any fix.
Then your choices would be rural, which I can understand, and car-centric suburbia, which seems like the worst compromise to me.. This is obviously subjective though.
Alternative option is to build more frequent bus stops.

Also, poor Eastern Europe people use more public transport, vause cars are more expensive.
Seems to work again 09:28am UTC. I'm writing this in Firefox after having had the problem for the last 1-2 hours...

Edit: confirmed this on two separate machines where Firefox was unresponsive (Win 10 and Ubuntu 20.04)
This worked. Funny that this bug will cause people to turn off the opt-out data collection. No one is going to turn it back on after the issue is fixed.
Which is why we need user-bots, that represent their clients interest with the same emotionless, ceaseless interest as a cooperation would represent its interests.