@racket_tw

GitHub: https://xitter.cf/t.co/4irZllVRTr

racket-tw.github.io/
Joined October 2020
  • Tweets277
  • Following25
  • Followers98
18Media
discord server 關閉
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
13
Two new languages in Typed Racket! Ben Greenman tells us all about it right now: brown.hosted.panopto.com/Pan…
4
10
Jack Firth now speaking on Resyntax: A Macro-Powered Refactoring Tool brown.hosted.panopto.com/Pan… @doitwithalambda #RacketCon
1
5
11
Leif Andersen (Northeastern) VISr: Visual and Interactive Syntax bit.ly/RacketConDay1
1
5
7
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

Concurrent Data Processing in Elixir

Leverage concurrency by using OTP, GenStage, Flow, and Broadway to build high-performance applications and data processing pipelines.

pragprog.com
3
7
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
1
39
Clojure from a Schemer's perspective more-magic.net/posts/thought… via @__tosh
5
13
“Macro-embedding Compiler Intermediate Languages in Racket” by @wilbowma youtu.be/FBBdYVTqXX8 @icfp_conference williamjbowman.com/resources…

[Scheme'22] Macro-embedding Compiler Intermediate Languages in Racket

Macro-embedding Compiler Intermediate Languages in RacketWilliam ...

youtube.com
2
13
Quick intro to using Racket in VSCode: youtu.be/sK6yET1k_9A (Thanks to jest array)

racket in vscode

https://marketplace.visualstudio.com/items?itemName=evzen-wybitul.m...

youtube.com
2
22
相等函數們：=, eq?, eqv?, equal?
1
doi.org/10.1038/s41586-022-0…
Sam Tobin-Hochstadt@samth9 Oct 2022
Replying to @jer_gib @JAldrichPL @spdegabrielle @laurencetratt @AndrewCMyers @ShriramKMurthi @michael_w_hicks @HerrDreyer @alcides @csgordon
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
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
Alexis King@lexi_lambda28 Sep 2022
small brain: lisp is homoiconic big brain: all languages are homoiconic galaxy brain: lisp is not homoiconic
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. >

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
3
109
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…
Lightsabers in Racket https://github.com/zamora/lightsaber with thanks to Justin Zamora Image at https://github.com/standard-fish/lightsaber

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
Sam Tobin-Hochstadt@samth15 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
4
114
gitlab.com/xgqt/racket-req/ Great tool~~~

Maciej Barć / racket-req · GitLab

Dependency manager for Racket projects

gitlab.com
1
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
Interactive SICP xuanji.appspot.com/isicp/ via @lixuanji #Lisp
6
2
33
Load more