samth

8 ms·

61.
by samth 4y ago
My statement was slightly misphrased, it was intended to be just a statement of CH.
62.
by samth 4y ago
There are a variety of stronger axiomatic systems (typically ZFC + some other axioms). Some of them prove the continuum hypothesis (which is what I stated), others prove the negation. There's no way to decide which one is "right&q
63.
by samth 4y ago
This is not true. For example, the statement "there exists a bijection between the real numbers and the powerset of the integers" is not contrived or meta or useless, but is independent of ZFC.
64.
by samth 4y ago
That the first example is a statement about the invention of vaccines that is about 80 years off is not confidence inspiring.
65.
by samth 4y ago
You can also visit http://www.racket-lang.org.s3-website-us-east-1.amazonaws.co... (and similar urls) which will not use cloudflare.
66.
by samth 4y ago
From the Racket website maintainer side, CloudFlare provides us both with a free CDN as well as free https in front of the S3 buckets that comprise the web site. Unfortunately, S3 and other AWS costs are real and Cloudflare provides a high
67.
by samth 4y ago
It's not widely used in industry, but certainly some people do use. Bogdanp, commenting further down, has a business using racket, other people do web development consulting with it, people have built internal tools with it, etc.
68.
by samth 4y ago
The documentation on docs.racket-lang.org isn't updated to the new release yet, which is why realms are missing. The hold up is that it needs to build all 2k packages with 8.5 first.
69.
by samth 4y ago
Yes, that statement is very confused. Scala doesn't do generalization, or polymorphic values, and thus the problem doesn't occur at all.
70.
by samth 4y ago
It depends what you're installing, which isn't clear from your comment, but the big reason that installing racket takes a while is that it's quite a lot of software, and it does significant compilation ahead of time.
71.
by samth 4y ago
The article is by Jonathan Corbet, who has been a kernel insider for a very very long time, and is generally a strong proponent of the way Linux does things as a project.
72.
by samth 4y ago
Their plan is to open everything once they have enough organizations signed up for their ACM OPEN plan (basically once they replace the current income from the digital library).
73.
by samth 5y ago
It is not in any sense true that becoming a professor is harder now than in 1905.
74.
by samth 5y ago
https://alex-hhh.github.io/2021/09/screenshots.html is a nice gallery of one person's apps.
75.
by samth 5y ago
"I just happened to choose the color that everyone else in the industry was choosing for no reason at all" is not very persuasive, especially 28 years later.
76.
by samth 5y ago
Making your own is really easy in a food processor and tastes excellent.
77.
by samth 5y ago
That's exactly what PyPy does do. You get a specialized version of the interpreter which is specialized to the particular program.
78.
by samth 5y ago
Which data structures do you miss most?
79.
by samth 5y ago
That's my usual assessment, but today at RacketCon Ryan Culpeper gave a strong case for using OO more in Racket, with a demonstration of his point in his new http client library.
80.
by samth 5y ago
Dan Luu is definitely not someone who never learns anything new or who doesn't think differently.
81.
by samth 5y ago
I'm confused about what you're saying about "breaking lexical scope". Lexical scope means that variable references refer to their lexically-enclosing bindings, ie references in A.lisp refer to bindings in A.lisp. That&#x
82.
The long-term consequences of maintainers’ actions(ariadne.space)
2 points by samth 5y ago|0 comments
83.
by samth 5y ago
crlibm is discussed in their paper: https://people.cs.rutgers.edu/~sn349/papers/rlibm32-pldi-202...
84.
by samth 5y ago
This is really interesting, thanks. As an academic working on gradual typing and dynamic checks, the sorbet experience is extremely valuable. (I've cited the threshold someone on your team mentioned for when the cost of checks gets too
85.
by samth 5y ago
If you're using the types from Sorbet to compile, that means you must trust them. Does that mean that soundness is mandatory in Sorbet, and more significantly, that sound interop with untyped is always checked in Sorbet?
86.
by samth 5y ago
In the switch from "PLT Scheme"/mzscheme to Racket backwards compatibility was almost entirely maintained, you can still use `mzscheme` or `#lang scheme`. There were some substantial backwards-incompatible changes before that
87.
by samth 5y ago
The full installation includes an IDE, a documentation system, a web server, a bunch of graphical games, a slide presentation program, significant educational software, and more, plus thousands of pages of docs. If you want a smaller progra
88.
by samth 5y ago
This might be a confusion about what "gradual typing" means. Typed Racket is a sound type system, and not just best effort. You get real compiler guarantees.
89.
by samth 5y ago
Yes, incremental GC exists in both the CS and BC variants. It works quite differently in each one, though, because the general GC architecture in each is different.
90.
by samth 5y ago
There are lots of Haskell features where adding new instances changes the behavior of existing code. OverlappingInstances is merely the most obvious example, but there are plenty of others.

More ›