skysight-inc/HackerNews huggingface dataset:
If you had to start over, would you still recommend to yourself to learn F# in 2022?

I am asking this as someone who has dabbled in functional languages (F#/ Haskell) multiple times over the years but, despite liking the elegance of functional code, never reached a level of productivity that came close to what I am used to from imperative languages. Specifically for C#, given the trend of baking more and more of the cool functional stuff into the language (e.g. [1]), I am wondering whether F# still has enough unique features to justify the effort.

[1] see e.g. https://devblogs.microsoft.com/dotnet/early-peek-at-csharp-1...
> In the field of psychology, cognitive dissonance is the perception of contradictory information. Relevant items of information include a person's actions, feelings, ideas, beliefs, values, and things in the environment. Cognitive dissonance is typically experienced as psychological stress when persons participate in an action that goes against one or more of those things.[1] According to this theory, when two actions or ideas are not psychologically consistent with each other, people do all in their power to change them until they become consistent.[1][2] The discomfort is triggered by the person's belief clashing with new information perceived, wherein the individual tries to find a way to resolve the contradiction to reduce their discomfort.[1][2][3]

https://en.wikipedia.org/wiki/Cognitive_dissonance
Some important context here: The AFM is quite militant, and in its bylaws stipulates that individual locals cannot ratify a collective agreement without the approval of the AFM. Eight years ago, when the Vancouver Musicians Association (AFM local 145) negotiated a contract the AFM didn't like, their response was to fire the VMA board, fine the the board members personally $50,000 each, and rip up the contract which the membership had ratified.

It's entirely possibly that the musicians of the San Antonio Symphony are willing to negotiate a contract but the AFM won't let them.
IEnumerable<T> was in the 2.0 release - it's generic, there were no generics in 1.0

But the non-generic IEnumerable and foreach syntax was in from 1.0 https://docs.microsoft.com/en-us/dotnet/api/system.collectio...

"Yield return" generators is also from 2.0
I don’t see this at all. They didn’t make less than you because of some moral failing by society at large. They made less because there is such a glut of artists that the bottom pay rate is literally less than zero, hence “do it for the exposure”. There is more art created every day today than ever before. The old school art forms you think are so crucial just aren’t.
Paywall: https://archive.ph/apFi3
1. My desktop I had a Radeon 5700XT, no issues in Wayland except screen sharing. On my Laptop I didn't know that wayland+nvidia sucked. Wow opened up firefox and the whole DE froze for like a minute.

2. Na, it doesn't just work. If you use firefox, Google Meet cannot detect the screen. If you use chrome but have multiple monitors it only detects the primary monitor. It's such a pain when Xorg just works.
MIT Banana Lounge
I think "we are less suited to meet the needs of smaller customers" can be read as "smaller customers cost too much/aren't profitable enough/take up too much resources, so we're concentrating on larger ones".
It certainly sounds hypocritical if you're willing to play liberties with the definition of free speech. However, free speech doesn't mean freedom from consequences of such speech. The audience can respond any way they like without infringing on the speaker's rights (and it's not a right to work at SpaceX).

These employees should have expected this reaction; Musk doesn't seem like the type to pass up executing his right to impose consequences. Hopefully they were prepared and have achieved some of the impact they were hoping for.
Overview and some good further references to primary sources:
https://en.wikipedia.org/wiki/Apostasy_in_Islam

>As of 2014, there were eight Muslim-majority countries where apostasy from Islam was punishable by death, and another thirteen where there were penal or civil penalties such as jail, fines or loss of child custody.

I'd say at least in those eight death penalty countries, you practically are not allowed to leave. And if the state letting you live but is taking away your children from you, you'll too think twice about leaving, too...

In some regions, while apostasy is not official punished by law, people will still punish it extra-legally e.g. by committing "honor killings".

Of course, this does not reflect all of Islam/all Muslims, and what people think about how apostates should be dealt with varies a lot regionally.

If it even is legally (under religious laws) possible to leave the religion is a contested issue between theological scholars, however the bulk of theological scholars seem to consider it an absolute crime against God, but may disagree on whether it's up to people to punish the crime, or punishment be left to God.

But even in Western countries there can be significant support within Muslim communities to harshly punish apostates.

> A similar survey of the Muslim population in the United Kingdom, in 2007, found nearly a third of 16 to 24-year-old faithful believed that Muslims who convert to another religion should be executed, while less than a fifth of those over 55 believed the same. [0]

That said, other religions, including an in particular Christianity, historically haven't been nice to apostates, either.

[0] https://www.theguardian.com/uk/2007/jan/29/thinktanks.religi...
From Apples to Pears
> This seems like a funny statement to make when your CEO is literally out buying Twitter.

And apparently putting 90+ hours into Elden Ring, while still insisting to be working 14-20 hour days. [0]

[0] https://twitter.com/elonmusk/status/1528576711209766914
> Japan Chuou line mentioned in the article is still on the old ATS-P system and it runs 28 train per hour. Even older ATS-S system in Osaka runs 16 train per hour on the inner track of the Tokaido line.

Meanwhile in Germany: a quarter [1] of the network's signal controller stations still runs on levers, wires and semaphore signals - some of these are from the 19th century and I wish I were joking. [2]

[1] https://www.zeit.de/2019/45/deutsches-schienennetz-signalwer...

[2] http://www.stellwerke.de/formen/seite2_2.html
Pass syncs on my iPhone using the pass iOS app.
I learned the hard way. :(
The union jack for en-GB, but I'd say the UK flag useful regardless. Even for selecting en-US!
No one outside native english speaking countries really cares deeply about what way color is spelled in a web shop, and everyone recognizes the flag(s). Having a flag doesn't preclude showing "en" or "English" next to it either. But I wouldn't confuse users with full ISO codes like en-GB or en-US. Just "en" and it can be the natural en of the site location. Everyone expects en to be en-US for a US site.
As a professional freelance mixer I must say if the programming behind CLAP is anywhere close to the quality they achieved in Bitwig, I am sold on the idea.

Bitwig does up to audio rate modulations of nearly every parameter, the stock plugins are all really top notch, the way they implemented voice stacking or polyphonic pitchbends for MPE synths etc. are all done in the way I dreamt it should have been done.

It still lacks a bit on the hardcore audio editing and mixing front (e.g. in ProTools you can edit extremely fast, just using the keyboard).

Their pricing and licensing model is fair. The price is actually quite okay given what you get in addition to just the DAW (a really good sample library with all the famous drum machines, a reaktor-like modular stock-plugin for synth, effects and midi manipulation, a powerful live-performance tool, etc.)
I am trying to understand why "cheap internet access" isn't a political goal that could be achieved but inflation could be?
Switzerland and Denmark have one. [1]

[1] https://www.aargauerzeitung.ch/panorama/vermischtes/in-aarau...
Since we know your use of panels isn't going to be efficient compared to utility scale--- I sure wouldn't subsidize you, and would subsidize the utility scale stuff instead.

Better that production go to installations that have good capacity factors than to your roof.

It's also time to reconsider how good an idea net metering at retail electrical prices is. Grandfather existing customers, but ... sure looks like we need a grid, so maybe only buy power from new end customers at wholesale rates (this further incents storage!)
Even Nelson wouldn't be that irresponsible.
They’re obviously capable of doing more, and they’re in a competitive market, so I wholeheartedly support the freedom of dissatisfied customers to publicly shame them. Either they will learn from this and do better in future, or the community will enrich their competitors at Microsoft’s expense. And that is how we can have nice things rather than the mere minimum that our corporate overlords are “legally required” to provide us with!
You would use the base IEnumerator that yields object types. `YieldInstruction`s are a type that the Unity coroutine runtime will recognize but you can yield anything. Some have meaning like YieldInstruction, Coroutine, CustomYieldInstruction and others that Unity will recognize as some special command to wait before the next iteration. As far as I know there is no exhaustive public list. You can also just yield anything else from int to stream.

Yielding a final value that isn't a yield instruction is a technique to return a value from a coroutine. You can pull the final return value from the IEnumerator's Current property. Hacks on hacks but it gets the job done.
The audience can respond any way they like without infringing on the speaker's rights or breaking any laws. It's not a right to work at SpaceX and it's not illegal to fire employees with cause.
Harvards CS50’s Programming with Python
The useful distinction being "members of" vs "elected representatives."

I live in an European country. I cannot for the life of me figure out in which way would (a consortium of) private companies come up with something like the GDPR law and the enforcement structures around it. What would be their incentive, as private entities?
He has most definitely been arguing against consequences as part of it. You know, like getting banned on twitter.
Their fundamental model is one translation unit per time, while developers decided that writing all library code in headers is a good idea. Which makes them parse and DCE literally kilometers of mostly irrelevant code again and again. You’re not wrong, but it’s not the complete point. C++ development is slow as a whole, and compilers/standards do nothing to fix that. It’s a kind of F1 engine in a tractor situation.
The most disgusting fact I learned in this article is that Shotwell personally backed Musk on denying claims he sexually harassed the flight attended. What?

Anyone who knows these people and their friends knows that the situation as described in the media was not out of the realm of possibility. Unless Shotwell, COO of SpaceX, was on that plane and witnessed exactly what happened, she is not qualified to assist in burying someone’s totally insane traumatic experience.

My fellow HN readers, the space startup scene is growing fast. Don’t work for a CEO/COO that is willing to throw any and everyone else under the bus to ensure they can continue to collect their own multi-billion dollar paycheck for “making the world more connected.” This has shades of Sheryl Sandberg all over it — and we know how that worked out for society.

The government needs to work harder to build competition against these people, and regulators need to be a lot more careful about allowing them to blast all of their crap into space.

I would guess we are a few years away from some former SpaceX employees with exit liquidity revealing the dirty truth as a means of handling their own PTSD.
He got planning permission, which means it is permitted.
> Avoid unrelated controversies.

Seems like unethical behaviour on their part is related to their product offering.

And it is pertinent that there are alternatives like wasmtime that don’t have such issues.
You can use async Tasks as long as you keep them on the main thread. They end up making a lot of garbage though.
>However, free speech doesn't mean freedom from consequences of such speech.

Except when that consequence is being banned from twitter, apparently.
Here's my unpopular opinion - good riddance. It's not a free speech issue because SpaceX isn't a public square. It's a company, and companies are top down. If these employees are at Musk's company, then they had better be prepared to play by Musk's rules, and they did the exact opposite, essentially leading a mutiny against the boss and sowing discord within the company in the process. SpaceX isn't an activist organization and has no obligation to kowtow to the demands of internal activists. Not all companies are like this, but again, you should know what you're signing up for when you join a Musk company.

And I'd also be willing to bet cash that all these employees were very low level, likely new hires out of college, and are all of the political activist type. Because for all his bluster, Musk really hasn't done anything THAT objectionable besides openly shit on Democrats. (No, I don't believe the bogus sexual assault allegation from an anonymous friend of a friend, there's no evidence).
You can't just "transpile to C" to get "C speed". C speed comes from low overhead. Naive transpilations will just include that overhead, like garbage collection or many layers of pointer indirection, but written in C. The unsavory answer is that you must use less abstractions if you want fast code. Compilers just aren't good enough to compile all the abstractions away.
What decides the accept-language header though? Where do modern browsers pick it from? The OS language?
He cannot become president as he was not born in the US. However, he could perhaps become governor of Texas. Might even be an improvement.
Sounds like work is a major part of your identity. Personally prefer to keep them separate-ish.
Using 'em as actual currencies tends to benefit from sidechains that speed up the flow of transactions - "veins", if you will - so the more girthy and veiny it is, the better.
Scrappy experimentation: Learning quickly in a fast-paced world
.oO(Could be a whole OS written in Cosmopolitan?)
You call the shots, you own it.
I don't really understand this idea of never taking your hands off the keyboard. Maybe people program differently to me, but most of the time I'm not typing anything. Most of my time is spent thinking. When my thoughts are clear and the problem is solved, then I type. And when I do, it's usually no more than a dozen lines at a time.

I get the impression from these people that they are constantly typing things. In fact, they're typing so much that they can't possibly waste valuable seconds using a mouse. I must be misunderstanding what they mean because that just can't be right.

And what's with the "you can achieve the same thing faster, without breaking your concentration" in regard to using a spell-checker or a calculator or whatever. Are you being serious? I can achieve the same thing faster? I mean how long do you think it takes to check the spelling of a word? Even if I must look it up in a physical dictionary, how long are we talking here?

Guys, seriously, slow down. You're going to burn out. I don't want to judge because I don't know you. Maybe you're a rockstar, but I'd guess that if you're really going this fast, the quality of your code is suffering.
Seems like a lot of the interface isn't translated into English just yet.
The data.table package in R often produces benchmarks that include pandas, e.g. https://h2oai.github.io/db-benchmark/
Indeed, if you don’t want to work for musk, go work for bezos and build rockets for him.

I for one think the timing of the sexual claim makes it obvious it’s political, but no one has to work for musk.

So leave if you want to, if musk is so offensive. Not everyone company is an ESG obsessed multinational.
Nothing shows this like walking in Austin and seeing homeless musicians on every corner just as good as the live band you paid to go see.
Ante: A low-level functional language
Grasshoppers Invade Sardinia
I debated about adding "after the first row", but didn't (because it doesn't make sense for gradients in the other direction). Either way, both my and Wikipedia's point is that a simple gradient filling a 2D surface costs only a "1D amount" of bytes, which is going to beat JPEG (at "can still read text" levels of quality).
And if you're working on open source/non-commercially, the free community edition is also a good option.
It's not "the C part" that makes code run fast, but memory access patterns. C just happens to not get in the way between the coder and the machine when it comes to explicit control over memory layout. In the late 60's and early 70's this was probably an "accidential feature", but with the widening CPU/memory performance gap it turned out that later languages (from the late 90's and early 00's) had bet on the wrong horse by trying to abstract memory away. More recently this trend is reversing again and plenty of C alternatives are starting to appear with explicit control over memory layout (Zig, Nim, Odin, Rust, ...).
>There's no need for a proxy like nginx; redbean is vertically integrated

Not super familiar with this stuff, can someone explain?
[...] although they use the slightly older IEnumerator instead of IEnumerable ¹).

They are not older or newer, they belong together. IEnumerable has only one method GetEnumerator() which returns an IEnumerator. If you have an IEnumerator, you can iterate over the sequence once [at a time], if you have an IEnumerable you can obtain as many IEnumerator as you need or want.
> Transpile to C?

If you transpile something to C it does't mean it will be fast.
You can write slow C code (or transpile something to C that will be slow). The compilers are not the issue here.
Big Tech accepts Euro demands to fight bots, deepfakes, disinformation
This is great news I will definitely try to support a model where citus get paid (presumably consultancy) in the future and it’ll be my go to upgrade from postgres. I could probably use their sharding features fairly soon on the startup I’m building!
If you deposit checks, make sure SVB doesn't make it too much of a hassle. I don't know why but a prior employer banks at SVB and they have a real hard time getting my COBRA checks deposited. Sometimes, I'll have 4-5 months of COBRA checks deposited at once. I have a business account with plain old Chase and as long as the funds are in USD, I can deposit via a mobile app. Nobody really wants to deal with checks of course but if you do have to...
Bonus points if the 'speed is faster'.
for example:

say we use only 4 chars and repeat them in the same order

then we only have 4 pre-baked transitions.

You could then swap all 4 characters in all 4 positions for free.

I confess I was a bit amused when you wanted to give the graphics artist complete freedom.
Lovecraft is interesting in that regard. His racism is so interwoven with what makes the books good, that there is no real way to read one without the other.

It is far more problematic with authors where the trait that is later "discovered" always seemed like an alien stain in their work. E.g. someone who wrote all about freedom and equality, but has some weird misogynistic moments in the books that everybody glossed over before, but now they stain the whole idea..
A concern with using cyclosporine for neurodegeneration may be that it causes progressive kidney damage and high blood pressure with long term usage. We use it a lot for many immunologically mediated skin diseases however almost always plan to change after a year to an alternative for this reason.

Regarding chronic idiopathic urticaria - cyclosporine was used in the past but now in the UK omalizumab is licensed for this and generally is more safe and effective.
What about bioaccumulation, though? Doesn’t inertness also make it more likely to stick around somewhere in the foodchain?
> I want to be able to encode more of my memory and context to my notes with a minimum of fuss, and therefore want to embed images (gasp!), tables, hyperlinks, and even file or sound embeds in my documents.

Yea, you will get a lot of Emacs and Emacs with Org mode answers here. To be fair they not wrong :) As a complete emacs newb, start with something like "doom emacs" ! It's brilliant for beginners.

>Emacs is a graphical application

Too few ppl know this.
One must assume you don't know whether it is (so it could be). If you want to realize it into a list, you can do that - but if you don't know anything about the enumerable, you might get burned anyway. If I make an IEnumerable<long> which generates all even numbers, then anyone doing ToList() on it is in for a surprise.
If you go to work to a small unknown company, you can feel surprised what you get.

Working for Musk - no. You already knew everything.
You can't see beyond the event horizon so it appears as a ring.
Virtual Correspondence: Humans as a Cue for Extreme-View Geometry
Anyone can sue musk if he libels them with his tweets.

Anyone can circulate letters in spacex, but spacex can fire you.

You can say whatever you want. That doesn’t mean there aren’t consequences.

Critics of free speech need to realise this is a silly debate between them, no “free speech absolutist” wants speech without consequences. This is basically a NYT and CNN talking point and nothing to do with reality.
Is it?
I don't know what the system is in Germany but if it's prepaid and fully catered you're basically foisting vegetarianism on everyone.

Are the university bosses vegetarian when they go home? Are they doing everything else to minimise their carbon footprint?
Exactly this. All of the holier than thou disgust at economics and ROI just means OP doesn’t understand those are the consequences of demand.

The reality is that the vast majority of people would rather entertain themselves shopping in retail than going to a symphony. Pass judgement all you like, but it won’t change the reality that people simply don’t value “the arts” as much as you do (or at least, the specific arts that you do).
A list more useful:

- have energy

- have a goal, the why?

- surround yourselves like the people you want to be

- launch something crappy

- keep doing something, anything.. one day it will all accumulate

- be good at finding people who know instead of learning yourself
The fact that you’ve inserted “political” into a fact-based happened-or-didn’t situation says more about you, and your willingness to buy into people’s conspiracy theories, than anything about the situation.

SpaceX is operating in a highly regulated industry and shoving crap into space, which affects every person on Earth for the next several decades. They are way more accountable to society than almost every “multinational” you can think of.
This is the main function ... there is no calling function. Nor is a string on the stack being accessed.
I understand that drama like that can't be easily tolerated in a company but if it's the owner causing drama all the time I also get the frustration of the people taking part.

I wonder whether this could have worked in a publically traded company with a board - someone who could try to rein in Musk but the hierarchy doesn't work this way here.
This is very good, I just wish there was a screenshot manager as well and uploads to S3.
Does Paris runs or just the CBTC capable of running? You need more than CBTC to run at 85 second headway. Loading/unloading time became huge problem at that interval.

I just checked Line 14 schedule and the most I can find is 34 train per hour, which is approx 105 second headway.

I am not saying that CBTC isn't capable of running higher interval than regular ATS and wayside signal (which is actually a very old technology), but in most case it doesn't matter. Even without moving block of CBTC, a very short static block (say, 100m) and in-cap signally should theoretically have the came capacity as CBTC.