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…
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……
What will SBOM require in regulated domains?
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…
Simon Marlow is a famous Haskell developer, alongside the likes of Simon Peyton-Jones or Philip Wadler
Can you ELI5 how LLMs help there?
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
> after crypto tanked with the recent fed funds rate hikes When? It's at an all time high right now
Yeah my bad, good point, didn't realise! Two great tools from one company though :)
Pydantic had a nice model where the open source tool is fantastic, but they now sell a cloud based logging system around that. There will be some enterprise tooling around UV that they could sell while keeping the tool…
A lot of modern tooling in python is rust based such as pydantic - the skills to maintain this are already available
Sharing a fact as a defence of someone (he has an IQ of 130 but did X) without having any basis for that fact is worth calling out. Same way they said an active GitHub while the repo is the opposite of that. If your…
Where’d you get that IQ? His GitHub isn’t active either.
It’s fine to not know, but why not google and check? It’s surely quicker than asking
True, but numbers are surprisingly bad in the US, Sweden, and in England (lived all three so still follow the local news and seen stories about this in the last two weeks).
That’s cool, but horribly ugly! What does production kdb+ look like? Is it similarly terse, maybe Perl-ish, or was this purely for speed? What does each flip asc do?
I just copy and paste into a local text file, but I bet there’s a tool if you want to do it programmatically already (unless curl’ing is your idea of fun!)
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…
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……
What will SBOM require in regulated domains?
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…
Simon Marlow is a famous Haskell developer, alongside the likes of Simon Peyton-Jones or Philip Wadler
Can you ELI5 how LLMs help there?
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
> after crypto tanked with the recent fed funds rate hikes When? It's at an all time high right now
Yeah my bad, good point, didn't realise! Two great tools from one company though :)
Pydantic had a nice model where the open source tool is fantastic, but they now sell a cloud based logging system around that. There will be some enterprise tooling around UV that they could sell while keeping the tool…
A lot of modern tooling in python is rust based such as pydantic - the skills to maintain this are already available
Sharing a fact as a defence of someone (he has an IQ of 130 but did X) without having any basis for that fact is worth calling out. Same way they said an active GitHub while the repo is the opposite of that. If your…
Where’d you get that IQ? His GitHub isn’t active either.
It’s fine to not know, but why not google and check? It’s surely quicker than asking
True, but numbers are surprisingly bad in the US, Sweden, and in England (lived all three so still follow the local news and seen stories about this in the last two weeks).
That’s cool, but horribly ugly! What does production kdb+ look like? Is it similarly terse, maybe Perl-ish, or was this purely for speed? What does each flip asc do?
I just copy and paste into a local text file, but I bet there’s a tool if you want to do it programmatically already (unless curl’ing is your idea of fun!)