mdm12

The StackOverflow survey supports the argument that niche language practitioners get paid more: https://insights.stackoverflow.com/survey/2021#top-paying-te...

I wish my anecdotal interview experience was LeetCode-less, though :)

In such cases, I stick with the tried-and-true 'N/A'. I still get offers, so it doesn't auto-delete my application!

Not to mention the second batch of 40 hours will likely be nowhere as productive as the first 40 hours.

Generate an NFT with a user's score on it, and you've got VC money all over it.

There is a lot of good advice here, so I will just add: be a pleasant person to work with! It will take you far (and is generally the right thing to do anyways :) )

Some companies do pay for take-home problems, DuckDuckGo being but one example.

Learning is its own reward.

Also, if you are looking for an F# job, ping me and we can chat :)

The Philadelphia tech job market exists, but...it's not like New York/Boston/SF. The major players are Comcast(...), Vanguard and a smattering of Big Pharma companies. There is a startup scene (most notable success likely being Gopuff), but not a huge one.

Thankfully, the remote situation has improved dramatically, so I agree, they should be ok :)

It's the logical next step in the saga that is cryptocurrency: have human miners waste their mental CPU cycles.

Not only that, but people were stuck in their houses all day. It's not surprising at all that people ordered tons of crap on Amazon or decided their house needed some renovation/appliances/etc.

I know it doesn't directly answer your question, but there is a nice repository of companies[1] that lists their technical interview processes (take-home project, live coding exercise, etc).

[1] https://github.com/poteto/hiring-without-whiteboards

The short answer, in my experience, is 'no'. For a company-to-company level comparison, levels.fyi is usually what I use to try to infer title usage. But, even within a company, responsibilities for high-tier IC levels can vary dramatically between teams.

It's anecdotal, but on the F# Software Foundation's slack workspace[1], 4 out of the last 5 postings in the #jobs channel were in Europe.

No doubt, any company that picks a niche programming language as their business's lingua franca is taking a risk. For me, though, that is an indicator that they care about quality and do not have a culture of treating engineers as replaceable assembly line parts.

[1] https://fsharp.org/guides/slack/

Nice catch!

It surprises me how much more popular F# is in Europe compared to the US. I finally got a professional F# gig in the states (\o/), but there were very few options. It makes me wonder, are universities in Europe providing a more functional-first approach to CS education, or is something else going on?

Your post echoes my sentiments one hundred percent as a mid-30s SWE. The only consolation for myself is...I literally don't know what else I would do other than software development. At least my schizoid personality is profitable...

To go with your shipping metaphor, a sinking tide sinks all boats...the best you can to is try to stay diversified in different asset classes.

You, my friend, are diving into the realm of formal semantics for programming languages. Benjamin Pierce's Types and Programming Languages is an excellent reference, but it is not for the faint of heart.

I feel like Scott Wlaschin uses an effective model of teaching concepts closely related to category theory without intimidating learners with mathematical definitions and verbiage. Railway oriented programming is a good example.[1]

My personal opinion is that category theory's main contribution to computer science is aiding composability in strongly typed languages in a type-safe, elegant manner. In the end, software is about breaking down a problem into smaller pieces, implementing and testing them, and them putting the pieces back together. Concepts from category theory provide a rigorous foundation for such compositions.

[1] https://fsharpforfunandprofit.com/posts/recipe-part2/

Oh, it's for real alright: https://www.levels.fyi/company/Netflix/salaries/Software-Eng...

It is definitely possible to achieve the total compensation you're looking for working remote. The companies generally fall into two categories: FAANG/MANGA/BigTechAcronymOfTheWeek companies that are remote-tolerant, and remote-first companies that are either late-stage startups or recently IPO'ed. The first category can certainly support 250k+ for an SWE at a level similar to L5 or higher. The bar will certainly be higher for the second category (as they don't have stupid amounts of money that FAANG does), so Staff+ will likely be the only positions that offer that type of compensation. Levels.fyi is a great resource to see current TC levels for offers being given by these companies.

I have been recently going down the same path you have, so I can list some options I have encountered, for whatever that may be worth:

* Coinbase

* Confluent

* Addepar

* Gemini

* Ramp

* Reddit (doesn't change compensation based on location like many companies, by the way!)

* Socure

* Benchling ...

Some of the issues (such as null values sneaking through the standard library) are a price to be paid for using a runtime such as .NET with a large ecosystem of existing libraries. This can be avoided to some degree by writing/using thin wrappers around the troublesome integration points that translate nullable values to option types. I agree, it is a source of friction. I believe other functional languages that target existing platforms (such as Scala) have similar issues.

Other points you mention (like being forced to upcast values to interfaces) have been resolved in recent versions of F#.[1] The language continues to evolve and improve with annual major releases. My biggest pain point is actually the tooling around the language, but that situation has been improving as well.

[1] https://docs.microsoft.com/en-us/dotnet/fsharp/whats-new/fsh...

Your description of a monad comprehension in Idris reminds me of computation expressions in F#[1]. Looks like I have one more programming language to dive into!

[1] https://docs.microsoft.com/en-us/dotnet/fsharp/language-refe...

The return/pure distinction is due to history, I believe. The Monad typeclass was defined before the Applicative typeclass.

Part of the fun of being a research language is that you don't know everything up-front!

There are inpatient mental hospitals in the US, but they are intended for short-term recovery, not long-term institutionalization. Couple that with health care usually being tied to employment (and not being that great to begin with), it is not a good situation. There are social workers (who are massively underpaid and overworked) that attempt to work with patients to ensure housing and outpatient care, but if the patient doesn't have a support system, they are essentially screwed.

Politicians don't care because the mentally ill are a small and unreliable voting bloc. Shame on the rest of us for allowing this to go on...

Indeed. Better temporal support was added the ANSI SQL 11 standard[0] and it is supported by a number of databases, some (like Postgres) by extensions and others (like SQL Server) natively[1].

[0] https://en.wikipedia.org/wiki/SQL:2011

[1] https://docs.microsoft.com/en-us/sql/relational-databases/ta...

And version 6 is about to drop! https://devblogs.microsoft.com/dotnet/whats-new-in-fsharp-6/

I have an Onyx Boox Note Pro that I have had for about two years now. Not cheap (was $500 when I purchased it) but well worth it for me, given how much time I use it and how much space it saves.

I only use it for reading, so I can't attest to its writing capabilities. Or all the other crap that it technically supports, as it is an Android device.

Can confirm, have been seeing network latency issues in us-west-2 since 2:05EDT.

Another option for ML-variant fans is F#, which has a REPL as well (built into many tools such as Rider or VS, or as a standalone 'fsi' executable).

An Introduction to Programming in Emacs Lisp[0] is how I've been learning it recently.

[0]https://www.gnu.org/software/emacs/manual/eintr.html