skysight-inc/HackerNews huggingface dataset:
I think you are confused about your spot in the thread.
No the Bottom type has no values, while the void type has exactly 1 (which doesn't have a name, but you can return it by writing `return;`).

So a function f: X -> void returns the only (nameless) value in void, depending on the programming language it will return null or equivalent or it'll just return no data (but it'll still return).

A function f: X -> Bottom is different, the type Bottom has no values so it is impossible for the function to ever return. This is not always useful, but in some strongly typed you need it to assign a value to an infinite loop.
If that “room” is inside an aircraft carrier (which is likely the case), it’s hard to blow. They are very well protected against all attacks except for probably ballistic missiles with nuclear warheads.
Singapore is not perfect, of course, but the common problems with FDW working conditions are pretty well-documented. You are just making wild assertions to the benefit of nobody.
Yeah but at least they got rid of Brendan Eich /s
How on earth can I ever think of a solution like that in an interview?
Here's a bit more detail from The Old New Thing blog about Windows 3.11: https://devblogs.microsoft.com/oldnewthing/20100517-00/?p=14...

It includes:

> As you might suspect from its name, the virtual machine manager created virtual machines. Inside the first virtual machine ran a copy of Standard mode Windows. ... The other virtual machines each ran a copy of MS-DOS and were responsible for your MS-DOS sessions. ... It’s kind of stunning to realize that Enhanced mode Windows was really a completely new operating system with multiple virtual machines, pre-emptively multi-tasked with virtual memory.

I think it's quite interesting that, on that version of Windows, all the Windows programs were only cooperatively multitasked while all the DOS programs were pre-emptively multitasked.
You absolutely CAN use marketplace.visualstudio.com, you just have to break ToS.
I've been using Firefox for more than a decade now. In fact, I switched from IE to Firefox and never made Chrome my main browser. At times, it was difficult as Firefox was really slower than Chrome before Quantum release but I think in recent years it's gotten better. Why did I keep using it? Privacy and open-source.

But after reading this, I think I will switch to Safari. It'll be a tough change after all these years but I believe Apple is more capable of enabling me to keep my privacy more than Mozilla Foundation. I don't regret the donations I made there but it's really sad to see that I paid that money to that CEO guy.
Yeah, it might be too much politics, and yeah, it sets the tone...but he was the CEO! This culture at least partially came from him as well - give me an example of a CEO with no impact on company culture.

The point is not that he mistreated them, or that making a political donation was wrong, the point is he made a personal decision which is unstandably engraging to his employees affected by that decision. They called him out and he failed to come up with any reasonable remedy.
`Infallible` only exists because an arbitrary empty type was needed to signal a `Result` that's always `Ok` and the "official" never type `!` was not yet implemented/stable. If it weren't for backward compatibility, `Infallible` could be removed from the standard library right now and its uses replaced with `!`.

However, `!` is not a real bottom type either, not yet anyway, because it is not the subtype of every type. As of now it is an unsolved problem how exactly one would go about making it one.
Yes. Also .NET native, remoting, WCF, asp.net, and lots of other things. Two reasons.

1. The ecosystem is huge. People are writing thick books on these subjects.

2. Most of the above (except asp.net) is windows-only stuff. Even on Windows, the stuff most useful if you’re maintaining something from 10-20 years old, less so for new projects, at least in my experience.
It's not for-profit. The whole organisation is non-profit. It's being funded by contributions, as well as profits from a subsidiary.

The fact that one of the subsidiaries is structured as a for-profit is a red herring. Just a legal structure. The whole organisation is non-profit.
I had the same issue.

A simple refresh after a second or two fixed it.
The UI received a big update a few weeks ago, maybe it is to your liking now?
The author points out the lack of emperor's clothes when he says that the choice of build system is primarily political and not based on technical merit, since politics elevate CMake above Qbs, even though the latter is a superior build system (syntax/UX x performance x correctness).
That's not a choice we can make, the only choice here is the one Brendan Eich made when confronted with the consequences of his actions.
Loop forever, or, more commonly in actual use cases, terminate via a nonlocal return (eg. exceptions, `longjmp`, `abort`).

As an aside, in any programming language that does not support/enforce total functions, the return type `T` of any function is actually the sum type `T | Bottom`, which is to say, "this function either returns a value of type `T` or never returns to its caller at all!"

Also used as the type of expressions that do not return a value (things like `break`, `continue`, or `throw` in expression-oriented languages).
But they're pretending to be privacy respecting while injecting their own ads in webpages. Far far from behaviour we'd ever want from Firefox.
VSCodium is able to do this, it is just more work.

https://github.com/VSCodium/vscodium/blob/master/DOCS.md#pro...
I wish there were actually opportunities in my life.

My office is still closed, I tried to have a reunion with university mates in my home country (I always meet them when I travel back to my birthplace), but 3 out of 4 of them bailed out.

I tried to reach out to other friends, but (except one or two) they are also opting out of meeting anyone for the foreseeable future.

I'd obviously try to play it safe: meet the others at a distance, wearing masks, etc.

It seems that most people who are shying away from meeting friends are those who cohabitate, which makes it even more frustrating to those of us who aren't :/
> The idea that VSCode is the future doesn't seem right to me.

VS Code is the future of editors, not IDEs or all developing.
There will always this two sides which live from the box and those who build their own box. And for the later VS Code is nowadays one of the best road to walk.

> JetBrains products allow you to do so much out of the box,

It's also very limited on where you can work with it. It works for the handful most popular languages they support, but what if you get a bit more exotic? What if need something non-programming, like markdown, rst or plantuml? What if I am not satisfied with a certain feature in the IDEs editor or workflow?

If your Box is not supporting it, you need to customize it, and there JetBrains is just not as good as editors like VS Code, vim, emacs.. And VS Code even goes to great lengths to gain the IDE-state of having everything out of the box.
I haven't. Why is it relevant?
Does anyone use git commit messages to convey more details? And uses gitlens to superpower context while editing code.
High Performance and Safe AI as a Service in Node.js with Rust and WebAssembly
Apple was the ultimate outlier in that respect. It would be great if someone could pull this off for Mozilla. The odds are slim, but one can hope.

Edit: Cal Peterson's article clearly shows how we got here. Such a shame.
>leading a flagship of diversity on the one hand and be a bigot on the other

Look at the glorified domain name squatter speaking high-mindedly about principles.
‘Tell my mom I love her’ video shows police shooting 13-year-old boy with autism
Steve Jobs was able to do that with Apple. There is no reason to believe that is not possible with Mozilla. Especially taking into consideration that Mozilla doesn't have to be profitable as a company. Being sustainable would be enough.
The total cost of an employee is quite a bit more than the pay, but yeah seems high?
> This attitude almost always turns into the following: [...]

Well, that's another problem (the dev not being able to solve a bug that reappears at 3AM).

> The alerts are fixed in two weeks. Site reliability goes up. Apps suddenly become more resilient to failure.

I always wondered why DevOps has the "Dev" in its title. At least, in most of the companies I have worked on, it was DevOps the ones that were on call (payed), but they were very picky regarding what they can touch/work on (they almost never touched application code... we should call them "Ops" then, no?).

> Honestly, the whole attitude of not wanting to work more than 8 hours is privilege.

And it's a privlege I'm thankful for. What's wrong with that?

> As a dev, you get a good salary and a job you don't have to break your body to do.

We do break our body to do software engineering (our brains, to be more specifically). If you think physical work >>> brain work, well, that's relative. Every person is different, and for me, brain work is equally taxative as physical work.

> And it helps you as an engineer. Like the article points out, it creates empathy for the users and product support engineers, it helps you improve architecture and app design, and it helps you understand different failure domains

I know I can become better by working harder and smarter (it's obvious), but I just want to be the best version of myself by putting at most 40h/week. Isn't that something honourable in itself? Or does that make me a "bad engineer"?
Technology wise it is not something entirely new. Just in their particular case, it worked very well for the cost, ... if we are to believe them.

Even if the entire battery will got to 50% of its current cost, Teslas will still be quite expensive cars, which have many expensive things other than the battery: Aluminum body for example.
> Actually, it isn't. Actions have consequences, if Eich wanted to be a contributor to that cause he could have done so silently. By doing it in a publicly visible way as the CEO of a large company he made it a political statement and action begets reaction. Eich very explicitly brought his views into the office in a way that a substantial fraction of Mozilla's employees did not want to be associated with.

He didn't bring his views into the office. He had them outside and the alphabet mob lit them as a Molotov cocktail and threw them into the building.

Those employees could have quit and worked somewhere else too. In a lot of ways that would have been great as they could have cut down on a couple of the pointless projects.

By your standard it's impossible for anyone to both have public views that disagree with your own and be the head of any large organization.

> Besides that, money in politics is anti-democratic.

Money in politics is the great equalizer. It's as democratic as it gets.

Otherwise you end up with a handful of media and tech oligarchs controlling all messaging.
In the same way in which one assumes pigs don't fly. You seem to be in the belief that 737 Max aircraft are uniquely predisposed to being hand flown around the sky on the edge of the stall while in the clean configuration and are expecting evidence of the contrary to be provided to you.
Well, rip mozilla
CEO woman*. Mitchell Baker was the one who kickstarted the whole "I'm not getting payed enough in this non-profit" thing and the one who initiated the salaries increase.
They did something already https://github.com/features/codespaces
Not necessarily. Fancy high-end watch bands like Rolex and Omega are not fundamentally better at telling the time than a Casio F-91W. The difference is pure prestige.
Someone should set up an organization to strip mine valuable assets and work with them. The popular docs should be possible to copy and extend. There is a tremendous amount of value that could be taken up and made to live again with just the most basic good management.

Just to pick out one example: The Fluent localization framework is the best in its class. Localization is a huge and valuable market. Simply building that out and charging customers could potentially save the organization all on its own.

There is plenty of capital and experience around, so why isn't this already happening? Or maybe it is?
Are there type definitions available for svelte?
I used to do this. But it lead to one sided relationships where I was not equal party. I liked people more then they liked me and while I would say yes for sake of relationship, the favor was rarely returned. These relationships were contingent on me being passive and having no preference.

I was liked, but did not had real friends (as I found out later).
Is it worth it running the Tor Browser without Tor itself if I wanted a Firefox version without Mozilla, pocket and tracking?
Offtopic, what do you use for editing Erlang? I'm quite interested in trying out Eralng or Elixir in near future.
>Eich may be a bigot

Eich was perfectly capable of working with others. He had a demonstrated track record of doing so since he co-founded Mozilla.

>a large chunk of Mozilla/FireFox' employees may have walked if he had tried to hang on

A group of people intolerant of a political difference would have left rather than continue working with him. That's the definition of bigot.

Bigot: One who is strongly partial to one's own group, religion, race, or politics and is intolerant of those who differ.

https://www.wordnik.com/words/bigot
Low paying jobs are a problem, but nowhere near as terrible as actual slavery - where you don't have the right to defend yourself from physical abuse, the right to move to a different place, etc.

What sounds particularly indicting in the described situation though is employers keeping the employees' passports. Things like this can make someone's situation more similar to a slave's.
Previously they had appointed an excellent CEO from within that is universally well respected for his technology contributions and then they fired him after 11 days without cause. Now that guy is a CEO at a different company.

https://en.wikipedia.org/wiki/Brendan_Eich
Interesting article. I think it's worth explicitly calling out that rather than proclaiming the death of Haskell, this article is talking about the children of Haskell and what they are capable of doing from a clean slate and with a clear goal.

IMO Haskell remains as the go-to language for teaching functional programming and for experimenting with PL concepts. Long may it remain.
What a backward requirement
Somehow I could never get to intermediate level in cmake. I read the book, and still clueless. Getting Cuda to run was arbitrary luck. How does one understand (modern) cmake? Read the source code?
Almost Realtime Live Data Visualization in QGIS – Air Traffic Use Case
I'm reading those tweets and I don't understand the context. Could you clarify what are those priorities?
I've never heard of the concept of high/low context culture. Are there any good links to explain what is meant by that?
It might be a little bit of a chicken-and-egg type thing: I just checked my "Brave Rewards" tab and was surprised to find exactly two (2) of all the websites I'd visited in the last month accepted Brave rewards. That's the first time I think I've seen any, after using Brave for almost 9 months.

I like the idea of putting in $10 or $20/mo for funding websites I visit, but why should I put in $10 a month if nobody's actually taking the money?
Africa has defied the Covid-19 nightmare scenarios. We shouldn’t be surprised
I had a similar situation, but the reunion-esque meetup functioned adequately over slack instead. It's definitely not the same, but we figured everyone sitting 1.5 meters apart at a bar isn't the same either and also not very conducive to socializing.
Well he agrees with you, I remember him saying the exact thing about himself.

Something along the lines:

> I am a moron and you shouldn't trust anything I say, I am a comedian having fun talking to people
With that attitude, how do you convince yourself to do chores such as cleaning the house, or writing that boring glue-logic that your boss asked you to implement?

I think the only way these tasks can be made exciting would be to build a cleaning robot or write a "glue-logic compiler". But these approaches would probably get you divorced or fired.
I think you should consider the actual quantified risk to you and the community.

For someone living alone for example and going to work drinks with 5 people, your risk of contracting COVID is very small. Your chance of developing serious complications from COVID is also very small. Your chance of spreading COVID to others, should you isolate once you develop symptoms, is also small.

I highly recommend you research the actual numbers from WHO, CDC, papers, etc. You might find it surprising how little risk it poses to people our age.

Multiply these all together and you will probably realise that COVID is not so concerning that you should forgo all social outings for.
If only there was a Brave version with a Gecko renderer it would be the perfect browser.
How about you just skip those episodes? I cannot understand your form of reasoning at all. You are morally reprehensible if you think your standards of acceptance should be used as a template.
What's the current status of Tor? I remember seeing in the past many de-anonymizing attacks against it.
Funny because both candidates can't speak coherently although for different reasons.

But you are wrong anyway, confidence in the system comes from being involved in the system. People need to know how it works na partake. Not in every detail but basic understanding. If that's not possible at lest everyone should know someone they trust who has the knowledge.
The alternation is conspiracy theories about everything and a growing portion of people who fall for them.
An old colleague tried to convince me that I shouldn't write my own job queue last night because "it's all handled in the cloud". It's things like this that make me a better programmer whilst also allowing me to run software that does exactly what I want.
On (Programming) Language Design
Point 3 downplays just how awful the CMake scripting language is. It's not just ugly, it's needlessly non-standard and unintuitive, full of footguns, and can be an infuriating timesink. You should still probably use CMake, but make no mistake, sometimes it can be absolutely miserable to work with.

I rambled about this recently: https://news.ycombinator.com/item?id=24203172
Clicks article on how to say no. Is asked to say yes to cookies and such. Clicks Decline just for the fun of it. Article is presented in glorious unstyled Times new Roman.
> The Mozilla execs could all make more money at FAANG companies just down the road from Mozilla HQ. If they left, it would probably be pretty hard to replace them with anyone capable of saving Firefox who would settle for less.

Eich. But you'll have to kick out the idpol activists still left at Mozilla, the people who ditched FirefoxOS and contributed to the destruction of Firefox.
Yes, as it happens you can in PyCharm; in many other apps I use that's not the case, however. I've got used to running at full 4K but TBH sometimes I worry about eye strain.
There have never been laws against hurting people's feelings. And no one is advocating for laws against hurting people's feelings. We're telling you, if you act like an asshole other people might not like it and that's fair. And that you can get fired for being an asshole. And that the law is merely that the government will not imprison you for being an asshole.
If you're allowed by law to not pay rent it makes sense to structure your finances so you can't.
Yes. Svelte 3 is built with TypeScript in mind. Although since it was not originally built with that in mind it might still have some janky stuff, like some refactoring does not work.
https://news.ycombinator.com/item?id=24565032
7 Yoga Poses (Stretches) That Are Terrible for Your Back:

1. Paschimottanasana

2. Uttanasana

3. similar to uttanasana but with one leg forward

4. trikonasana

5. similar to trikonasana but with spinal twist

6. boat pose

7. right wheel pose

source: https://www.youtube.com/watch?v=BDDiv3_fAL4

7 Yoga Poses (Stretches) That Are Great for Your Back (In Our Opinion)

1. bridge pose

2/3. cow/cat pose

4. extended puppy pose

5. upward facing dog

6. supported dog pose

7. chair pose

2/3 : Also, remember that both poses start at your coccyx. You should feel it crawling under and arching back, don't just move from one position to the other without fully articulating the spine, all the way up into the head

source: https://www.youtube.com/watch?v=89LQz2olF18
It seems like the only distinction between an "IDE" and a "Text Editor" nowadays is that an "IDE" is slow to start up but a "Text Editor" is fast to start up.

Everything else that would be in an IDE historically (project browsers, intellisense, code completion, refactoring, integrated build and debugger UI, test runners, etc, etc) all show up in "Text Editors". The only question is how good that functionality is, which varies between editor-language pairs.
> he could have made the donation anonymously, but decided to do it in his own name [...] That was stupid.

Clearly it didn't work out well for him, but I'm not sure it rises to the level of stupidity so much as naïvety.

After all, he'd probably seen plenty of his peers publicly supporting other political causes without problems.

He just didn't realise the situation was "Leader of open source nonprofit, right-wing, publicly political, pick any 2"
As a convicted felon in FL you need to have completely full filled the terms of your sentence from the courts in order to have your voting rights restored. This sentence may include the payment of fines or restitution. It is the failure to pay these court ordered payments and therefore completing the terms of their sentence which prevents a convicted felon from being able to vote.

General debts do not prevent someone that is or isn't a convicted felon from voting.
Yes true
> In 2018, the big four (KPMG, PwC, EY and Deloitte) extracted 650M € from the 30 DAX companies alone

Compared to 650M € and 30 DAX companies, 300M € spent by one single "company" do not sound like peanuts, especially since AFAIK the latter money was only meant for IT services & infrastructure(?)

> 2/3 of said 300M € "embazzled Bundeswehr money" were spent on it's own consultancy BDI.

I suppose you meant BWI, as in https://de.wikipedia.org/wiki/BWI_GmbH ?
Thanks so much for sharing this. It’s a favourite topic for me to read and be amazed at the scale of the universe and our planet.
You do know the uteruses removal thing is fake news right?
I know it's not really the point here, but a workaround: use Private Browsing/Incognito and accept the cookies from there. They'll disappear when you finish your session.
https://www.independent.co.uk/news/world/asia/singapore-s-do...

https://www.pri.org/stories/2015-03-15/vile-abuse-singapore-...

https://www.channelnewsasia.com/news/singapore/6-out-of-10-m...

Oh, really?
> compared to the only other alternative

Nobody was doing comparisons either. But for this topic shouldn't we be comparing to windows programming tools too? And those generally get to update their language runtimes all on their own, without waiting for the OS at all.

> Not for long if 14 is already 25% in less than a week

I don't understand that logic. I didn't say 13, I said 12. The release of 14 isn't going to suddenly get a significant number of people off 12.

The number of users on 12 is going to drop over time but 12 is locked in as the final version for multiple percent of iphone owners in the US. It could be two more years before most companies are comfortable breaking compatibility with that to get some coding conveniences.