Viewing profile — saityi

Even if open source operating systems comply and add such a feature, what's to stop individual people from removing this and blocking the API requests before they install the OS? O…

I thought William Dunham's Journey through Genius: The Great Theorems of Mathematics did a great job of presenting the very real people and world behind several of results from his…

SuccessorML[1], 1ML[2], etc. are pretty close to this in spirit. I've been trying to keep up with the publications around the future of ML, but academic research moves kinda slowly…

Introduction to Graph Theory - Richard J. Trudeau A History of Pi - Petr Beckmann Journey through Genius: The Great Theorems of Mathematics - William Dunham How to Bake Pi - Eugeni…

I think it goes back to the neverending quest to find ways of representing computation that allows of ease of composition, changing implementation details, eliminating classes of e…

I'd missed those -- thank you!

So I would say this echoes my experience with it so far -- it is definitely a work in progress! However, I tend to approach Koka as if it were Standard ML with an effect system (up…

> Edit: Can someone tell me... Is it necessary to have a new type system or could this be done with dependent types? I played around with trying to implement an effect library (via…

How does this compare to other effect-oriented languages like Koka, Frank, and Eff? I've been doing some work with Koka lately, but I briefly looked into the other three (including…

My backyard this year is an experiment in doing my best to encourage something that takes care of itself and is more supportive of local fauna. I laid down clover and what the loca…

>Are you not also absorbed by your phone in other ways? Honestly, no, and I feel very disconnected from modern culture as a result. I use my phone like a hitchhiker's guide to the …

In Standard ML, it would be a type error to do that specifically: - if true then "abc" else 2.01; stdIn:1.2-1.30 Error: types of if branches do not agree [tycon mismatch] then bran…

Jan Corazza has some really great write-ups about writing bindings to SDL and writing a video game in Idris using them. The source is available on Github https://flowing.systems/20…

There's even a page in the Idris 2 docs with updates to the book for Idris 2 -- https://idris2.readthedocs.io/en/latest/typedd/typedd.html The book is otherwise still totally relev…

My take: sum and product types exist in various type theories (enums with their elimination rule being pattern matching). Some of the first type theories to feature them were for t…

In case anyone is curious about [1], there is a paper called Lightweight higher-kinded polymorphism -- http://ocamllabs.io/higher/lightweight-higher-kinded-polymor... -- that goes …

Unfortunately, on the Canadian JustWatch, I find the answer is frequently 'this is totally unavailable for you to legally view or purchase digitally in Canada', at which point I en…

Now complete -- thanks again for the suggestion! I never liked having to include that bit of JS.

No reason at all; I think I will go look into doing that now. I think it should be a quick fix :) Thank you for the idea!

I tried to apply the philosophy of keeping things as simple as possible while writing https://saityi.github.io/sml-tour Initially, I wanted no JS and for it to look good in a text-…

The first article that comes to mind for me is Programming Sucks, although it's not quite the same as your description. https://www.stilldrinking.org/programming-sucks

It works best if you follow up the compiler assistance with a human-readability pass. Use the techniques in this post to guide you to a solution, which I find immeasurably helpful,…

Paul Snively (the author of the linked reddit post) also gave a great talk entitled 'Typed FP on the Job - Why Bother?' at LambdaConf a couple years back, that spoke strongly to me…

TIL. Pretty neat to check out: https://github.com/clojure/clojure/blob/89fc0caa43811c7dfcb4...

The last time I gave Mill a shot, I couldn't find a way to authenticate into private artifactory repositories, which made it kind of a nonstarter. Do you know if this has since bee…