I think liquid Haskell is a great example of refinement types?

https://ucsd-progsys.github.io/liquidhaskell/

I assume modulo?

Na, it’s not intentionally malicious - people are just trying to pad their resumes for new roles while unemployed or as students. I did the same (not with AI, but picking up the low hanging easy tasks to add a few lines to my CV years ago).

Wonder if you had to give more detail on those experiences during the interviews? How did it go?

Thanks. Yes, this as a modus, is becoming apparent from the threads.-

I’ve been to a talk from the chief test engineer at Saab talking about all the Hardware in the Loop labs they use to test at unit, integration, and full system levels. Then there’s additional testing after that phase… It’s not a CD world!

What will SBOM require in regulated domains?

It's already required in Federal procurement and if you're seeking FDA approval, they've indicated you should prepare for it. I'd wager it reaches other regulated domains once the standards, experience, and tooling stabilize.

My first job in tech was building servers for companies when they needed more compute, physically building them from our warehouse of components, driving them to their site, and setting it up in their network.

You could get same day builds deployed on prem with the right support bundle!

Simon Marlow is a famous Haskell developer, alongside the likes of Simon Peyton-Jones or Philip Wadler

Can you ELI5 how LLMs help there?

EHR is basically freeform text. So you use LLM to parse the text for certain conditions and criteria.

An example of a company using AI in the space to help extract data and match patients is this company https://deep6.ai/

I can’t think of a time I’ve seen this, and I’ve worked with most languages at least once (including Haskell, Rust, Go, F#, PHP, Java, etc…)

A few universities scrapped exams during Covid and didn’t bring them back, focusing on coursework instead