qd011

Good news is that a year in consulting isn't long enough to look like a detriment. Bad news is that the job market is crap right now.

> Is anyone aware of any firms that do formal-methods-like activities

Don't limit yourself to what you studied in your PhD. A big chunk of the commercial research position will be focused on AI.

> Has anyone got experience making a shift from a non-technical to a technical role?

Don't think of it as a shift from non-technical to technical role. Think of it as "I finished my CS PhD about a year ago and now I'm looking for a research/software job".

It's not as big of a leap from using Google or Stackoverflow as it might seem on the surface.

> Today I got technical feedback on an assessment (making a gRPC server in Rust)

Did you interview at Helsing? Pretty sure that their test was something like this.

I don't understand why Python gets shit for being a slow language when it's slow but no credit for being fast when it's fast just because "it's not really Python".

If I write Python and my code is fast, to me that sounds like Python is fast, I couldn't care less whether it's because the implementation is in another language or for some other reason.

psql is good but how do you manage long multi line queries and saved collections of queries to reuse? or connections to multiple databases?

It's not a good UI, at least not on Mac. It's kind of clunky, confusing and slow. I don't know if there are many better free alternatives though.

Diet of coca-cola, sweets and dry humor.

Why do you? I don’t understand your logic.

5. Be part of a new team.

Your ethics are leading you to believe this. For other people it doesn’t make sense at all that a computer program should have rights. It makes even less sense to people who know what a computer program is.

> At some point, they will get some basic rights

I don't know how to express how deeply stupid this sounds while still being polite and constructive.

I genuinely think that this whole argument is a waste of time.

What matters is whether the outputs are useful and the outputs don't change based on whether you call it "thought", "AGI" or "probabilistic word selection".

Seems like a very bad reason to switch. Data engineering is different (and much worse than SWE in my opinion), and it's not like you're certain that you can avoid LC interviews if you try to switch.