#racketlang search results
Machine Learning Toolkit accompanying 'The Little Learner' by Daniel P. Friedman and Anurag Mendhekar 1/2 #Racket #RacketLang #RacketLanguage #MachineLearning
RacketCon presentation: “Sawzall: A grammar for chopping up data” 1/3 #RacketCon #Racket #RacketLang #RacketLanguage #dplyr #sawzall
(thirteenth RacketCon) October 28-29, 2023 Northwestern University Evanston, IL, USA #Racket #RacketLang #RacketLanguage #LanguageOrientedProgramming #lop #Rosette #RosetteLanguage 1/3
“Implementing Type Systems as Macros” lambdaland.org/posts/2023-08-… #Racket #RacketLang #RacketLanguage
#lang Karp : Formulating and Random Testing NP Reductions by Chenhao Zhang eecs.northwestern.edu/~czu2221/ "discusses the implementation of Karp on top of Racket and solver-aided host language Rosette" Watch now: youtu.be/GUXcctw5Qks #Racket #RacketLang #RacketLanguage #RacketCon
相変わらずだらだら長文なのですが、よかったらプレイのシミュレーションと言う名の妄想のところを読んで頂いて、ご意見ご感想いただけたらなあ、と。 進捗報告 / BaMaDiS改めBooCarDi、scheme とracketの違いとか|射干玉ゲームズ @coexistem1 #note #racketlang note.com/coexistem/n/n1…
note.com
進捗報告 / BaMaDiS改めBooCarDi、scheme とracketの違いとか|射干玉ゲームズ
BooCarDieが誕生した BaMaDiSはシステムじゃなくて内容だった 自分の構想が妥当なものか検討するために、Ren'PyやSuika2のようなちゃんとしたゲームエンジンではなくて、プログラミング言語でざっくりBaMaDiSを作ってみるか、とRacketをいじりだした訳ですが、ざっくりとは言えプログラムとして1から作り出してみると、どういう機能が必須でどこからは後回しにしていいかを考え...
進捗報告:体調不良とモチベーション管理|射干玉ゲームズ @coexistem1 #suika2 #renpy #racketlang note.com/coexistem/n/n3…
note.com
進捗報告:体調不良とモチベーション管理|射干玉ゲームズ
体調悪くて寝て暮らしてました。 ちょっとここ2週間くらい、頭痛が酷いのと睡眠の質が悪いのとで、何か作るという気になれず、仕事が終わるとnoteを書く力も残ってなくて、ぐったりしておりました。ようやくこの週末になって何かやろうという気になってこうしてnoteを書いている訳です。 正直、noteとかゲーム制作が義務っぽくなってて、やらない事もストレスになってはいたのですが、誰かが言っていた「やる...
2週間ぶりに書いたら長くなってしまった。 しかもあんまりゲーム開発っぽくない。 進捗報告/ 迷走ではなく近道であると信じて|射干玉ゲームズ @coexistem1 #renpy #suika2 #racketlang note.com/coexistem/n/nc…
Racket - the Language-Oriented Programming Language - version 8.17 is now available from download.racket-lang.org See blog.racket-lang.org/2025/05/racket… for the release announcement and highlights. #lisp #racketlang #scheme
Introducing Rackith by Sage Gerard "Rackith is a language-oriented programming language based on Racket. Use Rackith to define many languages with one syntax object." youtu.be/mbF5AbFi4bM #Racket #RacketLang #RacketLanguage #RacketCon
youtube.com
YouTube
Introducing Rackith - Sage Gerard - RacketCon 2023
3月も終わりでございます。 進捗報告 / 週末月末年度末|射干玉ゲームズ @coexistem1 #note #racketlang #haxeflixel note.com/coexistem/n/ne…
note.com
進捗報告 / 週末月末年度末|射干玉ゲームズ
3月半ばから色々仕事で忙しくてゲーム関係は停滞中でございます。 なので、やった事とかも断片的な箇条書きで収まる程度です。 『悪魔城の魔術師』発掘 自分は今、単身赴任中の社宅にいるんですがぼちぼち同じ県内の自宅には帰れているので、最近帰ったついでに二見書房版の『悪魔城の魔術師』を押入れから発掘して単身赴任先に持ってきました。 久々に読んだ(遊ぶまでいってない)けど、やっぱり良いなあ。BooCa...
💡 Why Racket? Why Lisp? | Butterick’s Practical Typography #racketlang #lisp #functionalprogramming practicaltypography.com/why-racket-why…
If you have an idea for a presentation you’d like to give at RacketCon 2024, please write to [the RacketCon organizers](mailto:[email protected]) for consideration. All Racket-y ideas are welcome. We’d love to have you! con.racket-lang.org #RacketLang #RacketLisp
Urlang is JavaScript with a sane syntax "If JavaScript had macros, I would not have written Urlang." - Jens Axel Søgaard racket.discourse.group/t/urlang-is-ja… try the examples: github.com/soegaard/urlan… #Urlang #Racket #RacketLang #RacketLangauge #macros #Javascript #metaprogramming
racket.discourse.group
Urlang is JavaScript with a sane syntax
@jbclements Hi, The text became longer than I anticipated, but there were a lot of ground to cover. The core Urlang language more or less translates constructs from Urlang forms directly to JavaScr...
Proof terms for term rewriting (in Isabelle/HOL). ~ Christina Kirk. isa-afp.org/entries/Proof_… #ITP #IsabelleHOL #RacketLang
So... I just delayed writing for like... forever, but it's done now! I did it first in #julialang long time ago (several problems actually) but wanted to learn #racketlang. leoflotor.github.io/pages/project-… I would really appreciate any recommendation!
💡 Why Racket? Why Lisp? | Butterick’s Practical Typography #racketlang #lisp #functionalprogramming practicaltypography.com/why-racket-why…
Racket is a powerful tool for creating domain-specific languages. How do you leverage Racket? #RacketLang #Scheme $AIMASTER 🔄🔧
Racket - the Language-Oriented Programming Language - version 8.17 is now available from download.racket-lang.org See blog.racket-lang.org/2025/05/racket… for the release announcement and highlights. #lisp #racketlang #scheme
🧠 Took a step back from coding today to explore something deeper, how programming languages themselves are designed. Stumbled upon Racket, a language made for building other languages. A true tool for thought. Highly recommend diving in. It’s mind expanding.#coding #racketlang
If you have an idea for a presentation you’d like to give at RacketCon 2025, please write to the RacketCon organizers at [email protected] for consideration. All Racket-y ideas are welcome. We’d love to have you! con.racket-lang.org #RacketLang #RacketLisp
If you have an idea for a presentation you’d like to give at RacketCon 2024, please write to [the RacketCon organizers](mailto:[email protected]) for consideration. All Racket-y ideas are welcome. We’d love to have you! con.racket-lang.org #RacketLang #RacketLisp
Proof terms for term rewriting (in Isabelle/HOL). ~ Christina Kirk. isa-afp.org/entries/Proof_… #ITP #IsabelleHOL #RacketLang
First-order rewriting (in Isabelle/HOL). ~ René Thiemann et als. isa-afp.org/entries/First_… #ITP #IsabelleHOL #RacketLang
Data Integrity via Smart Structs (David Storrs) pkgs.racket-lang.org/package/struct… youtu.be/Ph3S8m7n17I #Racket #RacketLang #RacketLanguage #RacketCon
youtube.com
YouTube
Data Integrity via Smart Structs - David Storrs - RacketCon 2023
keyring: Uniformly Access Secrets pkgs.racket-lang.org/package/keyring "access different password stores using a simple interface" youtu.be/ZGayAVXvrLk #Racket #RacketLang #RacketLanguage #RacketCon
youtube.com
YouTube
keyring: Uniformly Access Secrets - Sam Phillips - RacketCon 2023
Racket HYBRID meet-up LONDON AND ONLINE : Saturday, 4 May, 2024 at 18:00 UTC at Newspeak House register at lu.ma/3bw1xt9p announcement at racket.discourse.group/t/racket-meet-… EVERYONE WELCOME 😁 @racketlang #racket #racketlang #racketlanguage #langracket #lang @nwspk
“Implementing Type Systems as Macros” lambdaland.org/posts/2023-08-… #Racket #RacketLang #RacketLanguage
3月も終わりでございます。 進捗報告 / 週末月末年度末|射干玉ゲームズ @coexistem1 #note #racketlang #haxeflixel note.com/coexistem/n/ne…
note.com
進捗報告 / 週末月末年度末|射干玉ゲームズ
3月半ばから色々仕事で忙しくてゲーム関係は停滞中でございます。 なので、やった事とかも断片的な箇条書きで収まる程度です。 『悪魔城の魔術師』発掘 自分は今、単身赴任中の社宅にいるんですがぼちぼち同じ県内の自宅には帰れているので、最近帰ったついでに二見書房版の『悪魔城の魔術師』を押入れから発掘して単身赴任先に持ってきました。 久々に読んだ(遊ぶまでいってない)けど、やっぱり良いなあ。BooCa...
Watch: youtu.be/C1I4Glv7ixI Mutate has to offer... * Mutator definition DSL * Automated creation of mutants * Library of pre-defined mutators *Logging *(coming soon) Analysis tools Docs: docs.racket-lang.org/mutate/ #Racket #RacketLang #RacketLanguage #RacketCon
youtube.com
YouTube
Mutate: Inject Bugs into Your Programs! - Lukas Lazarek - RacketCon...
相変わらずだらだら長文なのですが、よかったらプレイのシミュレーションと言う名の妄想のところを読んで頂いて、ご意見ご感想いただけたらなあ、と。 進捗報告 / BaMaDiS改めBooCarDi、scheme とracketの違いとか|射干玉ゲームズ @coexistem1 #note #racketlang note.com/coexistem/n/n1…
note.com
進捗報告 / BaMaDiS改めBooCarDi、scheme とracketの違いとか|射干玉ゲームズ
BooCarDieが誕生した BaMaDiSはシステムじゃなくて内容だった 自分の構想が妥当なものか検討するために、Ren'PyやSuika2のようなちゃんとしたゲームエンジンではなくて、プログラミング言語でざっくりBaMaDiSを作ってみるか、とRacketをいじりだした訳ですが、ざっくりとは言えプログラムとして1から作り出してみると、どういう機能が必須でどこからは後回しにしていいかを考え...
2週間ぶりに書いたら長くなってしまった。 しかもあんまりゲーム開発っぽくない。 進捗報告/ 迷走ではなく近道であると信じて|射干玉ゲームズ @coexistem1 #renpy #suika2 #racketlang note.com/coexistem/n/nc…
作りたいものリスト順位1位のモノでも、そんなに複雑ではないのですが、それを作るにはもう少しアルゴリズム然としたものが書けた方が自分が楽かな、と。 Python製LispだとHyとかですかね。 今は検証段階なんですがRacketが良いかなと思ってます。 #suika2 #racketlang
進捗報告:体調不良とモチベーション管理|射干玉ゲームズ @coexistem1 #suika2 #renpy #racketlang note.com/coexistem/n/n3…
note.com
進捗報告:体調不良とモチベーション管理|射干玉ゲームズ
体調悪くて寝て暮らしてました。 ちょっとここ2週間くらい、頭痛が酷いのと睡眠の質が悪いのとで、何か作るという気になれず、仕事が終わるとnoteを書く力も残ってなくて、ぐったりしておりました。ようやくこの週末になって何かやろうという気になってこうしてnoteを書いている訳です。 正直、noteとかゲーム制作が義務っぽくなってて、やらない事もストレスになってはいたのですが、誰かが言っていた「やる...
2nd week of sabbatical & I discovered @racketlang yesterday--can't sleep now. 3 AM & still obsessively devouring docs & playing. #racketlang
Yes, loving it. On a ferry to Hydra right now and studying #racketlang on my iPad. Beautiful morning on the Aegean! #greece
functional programming in an assembler? got ya covered. #asi64 #c64 #racketlang #6502asm /cc @colinbul
Papers We Love NY featuring @samth talking about Composable and Compilable Macros. #paperswelove #racketlang
#AWSLambda is the best thing ever! Run #Racketlang code with execution times in single digit milliseconds! #racket #functional #code #aws
Machine Learning Toolkit accompanying 'The Little Learner' by Daniel P. Friedman and Anurag Mendhekar 1/2 #Racket #RacketLang #RacketLanguage #MachineLearning
“@ID_AA_Carmack: Teaching my older son lisp (Racket). Working on a Pokemon battle simulator. http://t.co/w2Zgigs9Qn” #pokemon #racketlang <3
I wrote a #6502asm assembler as a #racketlang language. Next step, allow racket macros and expressions :) #c64 #allthemetas
Something went wrong.
Something went wrong.
United States Trends
- 1. Epstein 543K posts
- 2. Epstein 543K posts
- 3. Steam Machine 20.2K posts
- 4. Virginia Giuffre 25.8K posts
- 5. Valve 15.3K posts
- 6. Boebert 10K posts
- 7. Rosalina 56K posts
- 8. #NASDAQ_NXXT N/A
- 9. #BLACKROCK_NXXT N/A
- 10. Brie Larson 20.3K posts
- 11. AJ Brown 7,687 posts
- 12. H-1B 86.3K posts
- 13. Bowser 32.7K posts
- 14. Michael Wolff 12.8K posts
- 15. #NASDAQ_MYNZ 1,051 posts
- 16. The Devil Wears Prada 2 39.5K posts
- 17. GabeCube 1,017 posts
- 18. Jeezy 12K posts
- 19. Clinton 102K posts
- 20. Mace 20.6K posts