Viewing profile — BlanketLogic

Paulson is a lead developer of Isabelle , a proof assistant that is not based on dependent types. > Is this the mathematician's variant of "my language is better than your language…

I think the author is confkating two different things. There are technical problems with sticking to constructive purity when it comes to mathematics (setoid hell, avoiding exclude…

It is based on actors and "reference capabilities". These two blogs[1,2], could provide nice introduction. 1. https://blog.jtfmumm.com//2016/03/06/safely-sharing-data-pon... 2. htt…

Not the OP but USAMO : USA Math Olympiad. Referred here https://arxiv.org/pdf/2503.21934v1 IMO : International Math Olympiad SOTA : State of the Art OP is probably referring to thi…

FWIW, I found Busuu great. After a year on busuu and 1000 days on duolingo, I find the former way better for language acquisition.

this looks neat. Thanks for sharing. I published one too[0] which is much clumsier - it needs to be interacted via wordlers. Of course mine is more for trying out an algorithm or t…

> What are the differences between elisp and lisp? common lisp is a general purpose programming language with a well specified language and standard library. Elisp is intricately t…

> At the time of publishing, the last decisive game in the World Championship was game 10 of the World Championships 2016 — 1835 days ago, or 5 years and 9 days. Is the singularity…

Thanks for response. > Do you have a link to an open issue tracking this problem? Yes [#41642]( https://github.com/JuliaLang/julia/issues/41642 ) > The main reason for the divergen…

Oh, the problem is present in 1.6.2(current stable release) as well as v1.5.4(released March '21 available under old releases). I could not find any other 1.5+ version to try.

While all the points are valid what scares me most about Julia is what is covered under the section "The core language is unstable". Recently I tried the latest beta version and ca…

An interesting episode. Recommended. One of the presenters is a novice with c++ background and the rest all are experts in their respective array programming languages.

That is a non-sequitur right? Twitter , Google and Apple via their app stores, and now stripe are refusing to doing business not with a political party. They are refusing to doing …

Does it really matter though? Does it matter if I am above average or below average? I am as good as the last product I built, last library I wrote, the last game I played. I will …

> Async is not new at all I believe GP is referring to async streams[0]. Notwithstanding the colourful language GP used, I think the new async streams are pretty cool. [0] https://…

> the question posed by the headline, which I found didn't match the article very well The later paragraphs do show the link between headline and the content. No? Looks like the fi…

+1 for Parsing techniques. Excellent book.

Very well put. This matches my experience too. I regret buying them. The series is not for those who were used to, but subsequently lost touch with, c++03 and earlier. I found it b…

Thank you. Loved it. Installed it a while and kept refreshing the tab. Great stuff. I would be happy to pay for using such an extension. Thanks.

> Without a thick atmosphere, any burgeoning life would have to deal with random bursts of energy that could cause damage to that lifes equivalent of genetic coding. Is having a th…