Is there a specified/stable Typed Racket intermediate representation
that has all the type info resolved, and which separate projects could
build upon, for other target backends or analysis?
Reason for asking...
I was idly thinking of various ways to do GPU/TPU "supercomputing" from
a normal
This piece by Danny Hillis (which I just happened to cite on a very
different topic) is an easy read, and perhaps inspirational on the value
of explanation and cross-pollination, such as one might do when bridging
communities of interest, with popular forum participation and blogs:
http://long
cf. Relevant tweet from Patrick Walton (I worked with Patrick on Rust at
Mozilla):
https://twitter.com/pcwalton/status/1073755208558100480
> On Dec 15, 2018, at 13:52, George Neuner wrote:
>
>
> This hit the news yesterday: SQLite contained a remote code execution bug.
> According to the Z
I recently started learning Racket and quickly switched to Typed Racket.
For the most part I've been very happy with it, but I'm unclear on whether
it's possible to create contracts in Typed Racket (for expressing
constraints other than type requirements). I've been unable to find an
explicit a
This hit the news yesterday: SQLite contained a remote code execution
bug. According to the ZDNet article the bug has been fixed as of
v3.26.0 released December 1st. If your application uses SQLite, you
probably should update it. Hopefully the Racket maintainers will
update the library
>
> RFB is a wonderful idea. Aside from the main site, there is a lot of
catching-up to do (quantity-wise anyway) compared to something like
JavaScript or Ruby.
>
I'm not sure if HN even matters if there are enough good blog posts out
there. Search does a decent job of getting people to thos
I’m probably guilty of already being part of this task-force. To add, I wonder
if there’d be value in some longer, blog-form replies to interesting HackerNews
queries.
For example, someone was extolling the virtues of some new system for building
and packaging simple GUI apps for Linux using Py
Den fre. 14. dec. 2018 kl. 00.53 skrev Neil Van Dyke :
> This might be a bad idea, and normally I disapprove of this sort of
> thing, but... does anyone want to take on the job of RACKET EVANGELISM
> STRIKE FORCE, among a concentration of startup-types and other software
> practitioners?
>
> Speci
8 matches
Mail list logo
