BlanketLogic

9 ms·

1.
by BlanketLogic 5mo ago
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", Almost. A closer analogy is comparing p
2.
by BlanketLogic 5mo ago
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 excluded middle, real number formalization etc). Then there are s
3.
by BlanketLogic 1y ago
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. https:/&#x
4.
by BlanketLogic 1y ago
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 this referred to this paper here https:&
5.
by BlanketLogic 2y ago
FWIW, I found Busuu great. After a year on busuu and 1000 days on duolingo, I find the former way better for language acquisition.
6.
Yggdrasil(shenlanguage.org)
4 points by BlanketLogic 3y ago|0 comments
7.
Clasp Is v1.0.0(github.com)
10 points by BlanketLogic 4y ago|2 comments
8.
“What to expect from Putin in the coming days.” FSB letters (tweets)(twitter.com)
3 points by BlanketLogic 5y ago|0 comments
9.
by BlanketLogic 5y ago
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 two for solving. But it also allows one to play cows and bull
10.
by BlanketLogic 5y ago
> 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 tied to emacs. Notable differences are , till recently(?),
11.
by BlanketLogic 5y ago
> 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 being reached, with man and machine minds melding toward
12.
by BlanketLogic 5y ago
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 divergence is that Julia’s libuv
13.
by BlanketLogic 5y ago
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.
14.
by BlanketLogic 5y ago
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 came across an issue - I just could not add package
15.
by BlanketLogic 5y ago
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.
16.
by BlanketLogic 6y ago
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 business with people who have committed alleged(?) crimes. T
17.
Tibor Gánti's ideas about the origins of life(nationalgeographic.com)
205 points by BlanketLogic 6y ago|139 comments
18.
by BlanketLogic 6y ago
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 have to see if I can improve and move on. Looking at one&#x2
19.
by BlanketLogic 7y ago
> 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://docs.microsoft.com/en-us/dotnet&#x2F
20.
by BlanketLogic 7y ago
> 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 final straw that broke him was Lloyd's infringme
21.
by BlanketLogic 9y ago
+1 for Parsing techniques. Excellent book.
22.
by BlanketLogic 9y ago
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 better to learn the modern version by 'porting' ear
23.
by BlanketLogic 9y ago
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.
24.
by BlanketLogic 10y ago
> 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 thick atmosphere a necessary condition for life? Is it not
25.
by BlanketLogic 10y ago
> They don't know the effects yet. That's what makes it 'pseudo'.
26.
by BlanketLogic 10y ago
> How is the program like 'ls' going to see a variable that is an array when originally it was a string delimited with ':'? There are two things here: the command 'ls' that you type on your shell and the exe
27.
This is the history we need to understand Paris, ISIS(salon.com)
2 points by BlanketLogic 11y ago|0 comments
28.
by BlanketLogic 11y ago
Thanks. > I've worked a lot with LispWorks and tuning the gc had the same method of programmatically calling a full GC after every N operations. What is "full GC", here? Do you mean, even the "older" generations
29.
by BlanketLogic 11y ago
Very informative. Thank you. Anyone here has any experience with the GCs of Allegro or LispWorks or any other commercial Lisp implementations?
30.
by BlanketLogic 11y ago
Yes. Conduits and iteratees too, for that matter. And I believe, there was some talk about "Machines", which I did not understand at all. Am not sure what is the current status of that approach. I thought conduits and io-streams a

More ›