#racketlang search results

Machine Learning Toolkit accompanying 'The Little Learner' by Daniel P. Friedman and Anurag Mendhekar 1/2 #Racket #RacketLang #RacketLanguage #MachineLearning

racketlang's tweet image. 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

racketlang's tweet image. 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

racketlang's tweet image. (thirteenth RacketCon)   
October 28-29, 2023
Northwestern University
Evanston, IL, USA

#Racket #RacketLang #RacketLanguage 
#LanguageOrientedProgramming #lop #Rosette #RosetteLanguage 
1/3

#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

racketlang's tweet image. #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

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

racketlang's tweet card. Introducing Rackith - Sage Gerard - RacketCon 2023

youtube.com

YouTube

Introducing Rackith - Sage Gerard - RacketCon 2023


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


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!


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


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


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

racketlang's tweet card. Mutate: Inject Bugs into Your Programs! - Lukas Lazarek - RacketCon...

youtube.com

YouTube

Mutate: Inject Bugs into Your Programs! - Lukas Lazarek - RacketCon...


2週間ぶりに書いたら長くなってしまった。 しかもあんまりゲーム開発っぽくない。 進捗報告/ 迷走ではなく近道であると信じて|射干玉ゲームズ @coexistem1 #renpy #suika2 #racketlang note.com/coexistem/n/nc…


作りたいものリスト順位1位のモノでも、そんなに複雑ではないのですが、それを作るにはもう少しアルゴリズム然としたものが書けた方が自分が楽かな、と。 Python製LispだとHyとかですかね。 今は検証段階なんですがRacketが良いかなと思ってます。 #suika2 #racketlang


Dr. Racket loading screen today! :D #racketlang

sourav_datta's tweet image. Dr. Racket loading screen today! :D #racketlang

2nd week of sabbatical & I discovered @racketlang yesterday--can't sleep now. 3 AM & still obsessively devouring docs & playing. #racketlang

tonypujals's tweet image. 2nd week of sabbatical & I discovered @racketlang yesterday--can't sleep now. 3 AM & still obsessively devouring docs & playing. #racketlang
tonypujals's tweet image. 2nd week of sabbatical & I discovered @racketlang yesterday--can't sleep now. 3 AM & still obsessively devouring docs & playing. #racketlang

Here's how you add a chicken, a pig and a cow to a list. #racketlang

jasonyeojs's tweet image. Here's how you add a chicken, a pig and a cow to a list. #racketlang

...DrRacket 你这样做对得起汪汪叫的单身狗么!还能不能让人愉快得写代码了!#racketlang

junjiahhh's tweet image. ...DrRacket 你这样做对得起汪汪叫的单身狗么!还能不能让人愉快得写代码了!#racketlang

Yes, loving it. On a ferry to Hydra right now and studying #racketlang on my iPad. Beautiful morning on the Aegean! #greece

tonypujals's tweet image. Yes, loving it. On a ferry to Hydra right now and studying #racketlang on my iPad. Beautiful morning on the Aegean! #greece
tonypujals's tweet image. Yes, loving it. On a ferry to Hydra right now and studying #racketlang on my iPad. Beautiful morning on the Aegean! #greece

Started reading Realm of Racket... quick sort #racketlang vs #clojure :-)

Marutks's tweet image. Started reading Realm of Racket...  quick sort #racketlang vs #clojure   :-)

functional programming in an assembler? got ya covered. #asi64 #c64 #racketlang #6502asm /cc @colinbul

pezi_pink's tweet image. 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

jeremyheiler's tweet image. Papers We Love NY featuring @samth talking about Composable and Compilable Macros. #paperswelove #racketlang

hashlang p5, coming soon to a canvas near you! #racketlang

oxa11ce's tweet image. hashlang p5, coming soon to a canvas near you!

#racketlang

#AWSLambda is the best thing ever! Run #Racketlang code with execution times in single digit milliseconds! #racket #functional #code #aws

LambrosPetrou's tweet image. #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

racketlang's tweet image. Machine Learning Toolkit accompanying 'The Little Learner' by Daniel P. Friedman and Anurag Mendhekar
1/2
#Racket #RacketLang #RacketLanguage #MachineLearning

Racket meet-up Saturday, 4 Jun 2022 at 18:00 UTC gather.town/app/wH1EDG3Mcf… #racketlang

racketlang's tweet image. Racket meet-up Saturday, 4 Jun 2022 at 18:00 UTC
gather.town/app/wH1EDG3Mcf…

#racketlang

@ID_AA_Carmack: Teaching my older son lisp (Racket). Working on a Pokemon battle simulator. http://t.co/w2Zgigs9Qn” #pokemon #racketlang <3

batalyx's tweet image. “@ID_AA_Carmack: Teaching my older son lisp (Racket). Working on a Pokemon battle simulator. http://t.co/w2Zgigs9Qn” #pokemon #racketlang &amp;lt;3

I wrote a #6502asm assembler as a #racketlang language. Next step, allow racket macros and expressions :) #c64 #allthemetas

pezi_pink's tweet image. I wrote a #6502asm assembler as a #racketlang language.  Next step, allow racket macros and expressions :)  #c64 #allthemetas

Loading...

Something went wrong.


Something went wrong.


United States Trends