18 Photos and videos
Racket Taiwan retweeted
31 Oct 2022
fmt: an extensible code formatter for Racket by Sorawee Porncharoenwase
If you saw it at RacketCon and want to try it out you can use the `!!fmt` command on the Racket discord discord.gg/6Zq8sH5
(Thanks to the R16 bot)
1
2
12
Racket Taiwan retweeted
29 Oct 2022
Two new languages in Typed Racket! Ben Greenman tells us all about it right now: brown.hosted.panopto.com/Pan…
4
10
Racket Taiwan retweeted
29 Oct 2022
Jack Firth now speaking on
Resyntax: A Macro-Powered Refactoring Tool
brown.hosted.panopto.com/Pan… @doitwithalambda #RacketCon
1
5
11
Racket Taiwan retweeted
29 Oct 2022
Leif Andersen (Northeastern)
VISr: Visual and Interactive Syntax
bit.ly/RacketConDay1
1
5
7
Racket Taiwan retweeted
15 Apr 2022
Concurrent Data Processing in Elixir by Svilen Gospodinov (@svileng)
Start building the high-performance and fault-tolerant applications Elixir is famous for today.
pragprog.com/titles/sgdpelix…
#MyElixirStatus
3
7
Racket Taiwan retweeted
29 Oct 2022
Sebastian Ullrich (KIT) will be giving his talk ‘Metaprograms and Proofs: Macros in Lean 4’ in a few minutes. See it at bit.ly/RacketConDay1
#RacketCon #racketlang
1
8
39
Racket Taiwan retweeted
28 Oct 2022
Clojure from a Schemer's perspective
more-magic.net/posts/thought…
via @__tosh
5
13
Racket Taiwan retweeted
23 Oct 2022
“Macro-embedding Compiler Intermediate Languages in Racket”
by @wilbowma
youtu.be/FBBdYVTqXX8
@icfp_conference
williamjbowman.com/resources…
2
13
Racket Taiwan retweeted
23 Oct 2022
Quick intro to using Racket in VSCode:
youtu.be/sK6yET1k_9A
(Thanks to jest array)
2
22
Racket Taiwan retweeted
9 Oct 2022
9 Oct 2022
You could look at the paper just published in Nature about matrix multiplication, which is effectively a program synthesis paper. It's shorter than a POPL paper but not really that different.
1
Racket Taiwan retweeted
2 Oct 2022
Let Over Lambda is one of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: COMMON LISP.
letoverlambda.com/
4
27
Racket Taiwan retweeted
28 Sep 2022
small brain: lisp is homoiconic
big brain: all languages are homoiconic
galaxy brain: lisp is not homoiconic
ALT When we mention homoiconicity, people ask, "Why not Lisp?" The simple answer is that most Lisps, in practice, aren't homoiconic: $ nix-shell -p chez $ petite Petite Chez Scheme Version 9.5.8 Copyright 1984-2022 Cisco Systems, Inc. > (car '(a b)) a > (car (lambda (x) (add x 2))) Exception in car: #<procedure> is not a pair Type (debug) to enter the debugger. >
11
8
109
Racket Taiwan retweeted
26 Sep 2022
Build your own Lightsaber!
Ben Knoble will show us how to configure Vim as a powerful Racket development environment.
October 1st at 18:00 UTC
Racket meet-up: racket.discourse.group/t/rac…
gather.town/app/wH1EDG3McffL…
ALT Lightsabers in Racket https://github.com/zamora/lightsaber with thanks to Justin Zamora Image at https://github.com/standard-fish/lightsaber
7
16
Racket Taiwan retweeted
15 Sep 2022
This post about the golden age of PL research by Neel Krishnaswami is so good. The golden age is now, and we should all take advantage. semantic-domain.blogspot.com…
2
30
115
Racket Taiwan retweeted
7 Sep 2022
I hear that the new "Little" book will be having a preorder sale at this link 7-8 September (US time zones): barnesandnoble.com/w/?ean=97… (use code PREORDER25)
This is in the same style as The Little Schemer and The Little Typer.
3
4
23
Racket Taiwan retweeted
27 Aug 2022
6
33