Viewing profile — svanderbleek

Lower requirements by having virus treatment staff with rapid specialized training

Research Mathematician. I'm going to try anyway but I doubt I'll even make it to grad school and the career prospects for an average mathematician to do research near full time are…

I was just trying to tease out what you need to know so that Idris fits in half a page. I'd actually like to know those things!

Thanks. I was trying to show it started off unproductive and went into a constructive chat about Haskell type and value level functions, but this was also a lazy test of if people …

I like your points, but I'm not sure of the Idris on half a page. How much tacit knowledge does that rely on? We do need to focus on the fundamentals of education, the spectrum of …

Cool, but I find that hard to read. I'm going to do a custom stylesheet, I was just waiting to see if there was any interest in the conversational format form my Slack conversation…

I meant it turns into a constructive discussion of Haskell, I should have made that clearer. Thanks!

I would love some constructive feedback on how to do better, thanks.

I'd love if you can point out the incorrect points, but I understand that's not your responsibility. Thanks for the feedback!

Great advice."What is right is not always popular and what is popular is not always right"

Having taken Algorithms at both undergrad and graduate levels and read through many books to prep Google/Facebook/etc interviews, I would flip out if anyone ever makes take an Algo…

Interesting. Certainly something to consider. I never thought about being a non-degree seeking student.

I hope it is not stupid. I won't fit inside the university system at this point. They would make me take courses on subjects I already know which is a waste. I have about 20 hours …

This approach is what took my math skills to the next level. I would also frequently skip exercises and forget material that I learned previously. Since I started adding exercise b…

Yes, please stop trying to make Scala Haskell. And please start switching to Haskell :)

Ok, but since I invested time to learn it and can now use it, I can save time every time I do. Perhaps I will pay down my debt eventually, perhaps not. It's a sunk cost and I enjoy…

But if you look at Haskell's Control.Monad you see why the abstraction is helpful [0]. We get things like foldM, it's similar to how you can fold across more than just lists, you c…

If TypeScript had these features would it not be as hard to get up to speed with as PureScript? Thus why not just get up to speed with PureScript. I believe in you and your team :)…

are there people who excel at software design? they need to write books and papers to explain how they do it because it's still the wild west out here.

Actually the abstractions they are talking about are explicitly for most of your use cases: - Transforming data from one structure to another. - Moving data around. - Writing and r…