[racket-users] Re: RacketCon 2021

2021-11-04 Thread Jay McCarthy
Get hyped! It's happening this weekend! First the social tomorrow afternoon, then the talks on the weekend! NOTE: The schedule was revised slightly, with the Sunday talks being pushed back two hours in the day, but ending at the same time overall. Jay -- Jay McCarthy Associate Professor

[racket-users] Re: RacketCon 2021

2021-10-22 Thread Jay McCarthy
Here's a schedule for event, with abstracts and speakers: https://con.racket-lang.org/ Get hyped! Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Sat, Sep 4, 2021 at 8:54 AM Jay McCarthy wrote: > > In November 2

Re: [racket-users] What is the correct name for non-list parenthesized forms?

2021-09-24 Thread Jay McCarthy
On Fri, Sep 24, 2021 at 2:45 PM David Storrs wrote: > Offtopic question for someone else: Jay, are you related to > Lisp-inventory John McCarthy? > Nope, although we have the same name and nickname Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.

Re: [racket-users] What is the correct name for non-list parenthesized forms?

2021-09-24 Thread Jay McCarthy
ressions and statements combine. In contrast, languages like Racket have very few phonemes (this is what I think people mean why they say "there is no syntax") but many varied rules (in fact, arbitrary, because macros can customize them) for combining those smaller units. Jay -- Jay McCar

[racket-users] RacketCon 2021

2021-09-04 Thread Jay McCarthy
me know if you have a talk in mind that you'd like to give. Best regards, Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. -- You received this message because you are subscribed to the Google Groups "Racket Users" g

Re: [racket-users] Package install conflicts on the Racket package catalog

2021-05-01 Thread Jay McCarthy
.scrbl` to `typed-compose.scrbl`. Scribble outputs are in a kind of "global" namespace. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit

Re: [racket-users] Re: mixfix and racket 2

2021-03-24 Thread Jay McCarthy
I agree with Roger that the zero-precedence `mixfix` system is a really elegant middle-ground between Honu and a whole big language. Something I really like about Pyret is that it doesn't have precedence and requires parens for legibility. -- Jay McCarthy Associate Professor @ CS @ UMass L

Re: [racket-users] Best way to say 'block until true'?

2021-03-19 Thread Jay McCarthy
It is not a built-in thing. I am talking about the use-pattern of a condition variable: https://en.wikipedia.org/wiki/Monitor_(synchronization)#Condition_variables -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Fri, Mar 19, 2021 at

Re: [racket-users] Best way to say 'block until true'?

2021-03-19 Thread Jay McCarthy
The best thing is to use a semaphore instead of a mutable reference. If you can't do that, then I think that you should combine the mutable reference with a signaling semaphore. If you can't do that, then I can't think of anything but a poll. -- Jay McCarthy Associate Profess

Re: [racket-users] fluent: unix style pipes and lambda shorthand to make your code more readable

2021-03-09 Thread Jay McCarthy
I like this a lot! Great job! -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Tue, Mar 9, 2021 at 10:20 AM Roger Keays wrote: > > Hi all, > > I recently publish a new package called *fluent* which adds some syntax >

Re: [racket-users] the future of #lang web-server

2021-02-25 Thread Jay McCarthy
That's a cute idea. We do something like that already when sharing the serialized continuation with the world, but Racket could conceivably do that when it `read`/`write`s things, although it would be very odd. -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.gith

Re: [racket-users] the future of #lang web-server

2021-02-22 Thread Jay McCarthy
code could be something like: ``` (lambda () (call-with-parameterization (read (with-input-string (hack-the-planet (with-output-to-string (lambda () (write (current-parameterization) launch-the-missiles!)) ``` where `hack-the-planet` changes the `#f` to `#t`. That's why you can't

Re: [racket-users] Finding Module Names

2021-02-21 Thread Jay McCarthy
%29 Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Sun, Feb 21, 2021 at 4:54 AM Aaron Eline wrote: > > > I was wondering if there was a way to find the name of the current module? > Trying to write a macro that t

Re: [racket-users] Does password reset work on pkgs.racket-lang.org?

2021-02-01 Thread Jay McCarthy
I just checked it and I got an email, but it was put into spam. If you can't identify a problem on your side, contact me off list and we can debug together. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Sat, Jan 30, 2021

Re: [racket-users] How do I control where expressions may appear in a module language?

2021-01-01 Thread Jay McCarthy
I’d imagine that you would only provide program and the modifiers. Everything well work out :) Jay On Fri, Jan 1, 2021 at 11:44 AM Sage Gerard wrote: > Ah, I see. Thank you for that! > > As for rephrasing my original question: If program were provided as > #%module-begin, I expect

Re: [racket-users] How do I control where expressions may appear in a module language?

2020-12-31 Thread Jay McCarthy
) (the-b-says 'Baah) (the-c-is "Caaah") (the-d-looks-like 42)) ``` -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Thu, Dec 31, 2020 at 12:07 PM Sage Gerard wrote: > I didn't see an answer to my original quest

Re: [racket-users] How do I control where expressions may appear in a module language?

2020-12-31 Thread Jay McCarthy
r abstract things so you don't have tie the `update` function to the particular fields. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Wed, Dec 30, 2020 at 10:20 PM Sage Gerard wrote: > I'm trying to learn how to res

Re: [racket-users] Re: changing my email address on the package server?

2020-12-10 Thread Jay McCarthy
The expected thing for you to do is to 1. Create a new account 2. Add that new account as an author to the packages 3. Remove your old account as an author to the packages If you want, though, I can do a search & replace in the database for you Jay -- Jay McCarthy Associate Professor

Re: [racket-users] multi line scribble text body in web-server template

2020-11-01 Thread Jay McCarthy
This section of the documentation discusses a similar issue that may help you: https://docs.racket-lang.org/web-server/templates.html?q=web%20server#%28part._.Gotchas__.Iteration%29 -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On

[racket-users] RacketCon, join today! For freedom!

2020-10-16 Thread Jay McCarthy
https://con.racket-lang.org/ Joining guarantees a good time! https://con.racket-lang.org/ What's stopping you? Do you want to live forever? https://con.racket-lang.org/ A message from the Racket News Network -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vinc

[racket-users] RacketCon is next weekend!

2020-10-09 Thread Jay McCarthy
see. https://con.racket-lang.org/ Come and see, come and see, attendance is free, come and see: https://con.racket-lang.org/ Tweet your friends and your bros, to please come and see. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vinci

Re: [racket-users] [racket users] scribble using @ as text?

2020-09-24 Thread Jay McCarthy
I went too fast: @"@" -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Thu, Sep 24, 2020 at 5:30 PM Jay McCarthy wrote: > @["@"] > > -- > Jay McCarthy > Associate Professor @ CS @ UMass Low

Re: [racket-users] [racket users] scribble using @ as text?

2020-09-24 Thread Jay McCarthy
@["@"] -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Thu, Sep 24, 2020 at 5:26 PM Kevin Forchione wrote: > Hi guys, > I’ve been racking my brains and going through scribble manuals trying to > figure out how

Re: [racket-users] New lightweight termios package: rktermios

2020-09-22 Thread Jay McCarthy
Hi Dom, I think it would pretty easy to patch ansi. I already made this version: https://github.com/jeapostrophe/racket-ansi/commit/10a46081499f93c65f4849402e862a683af7871a which abstracts away the old extension. I think it would be really trivial to use yours. Thanks! Jay -- Jay McCarthy

[racket-users] Re: (chaperone RacketCon) 2020

2020-09-03 Thread Jay McCarthy
The site is up with speakers and times: https://con.racket-lang.org/ Please get pumped and put the dates in your calendars. And stay tuned for details about how technically the conference will work. Thanks everyone! <3 Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell h

Re: [racket-users] Pretty Printing for ASTs represented as structs

2020-08-16 Thread Jay McCarthy
I recommend defining the structs with `#:transparent` and just using `pretty-write` or `pretty-print`. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Sun, Aug 16, 2020 at 4:48 PM Jeremy Siek wrote: > > Hi All, &

[racket-users] (chaperone RacketCon) 2020

2020-06-05 Thread Jay McCarthy
main details we need to work out now are exactly which and how many days to run it and in what time slots and in what time zones. I would greatly appreciate any comments you have in response to this form: https://forms.gle/cYNNY9XhmEoUBBe19 Thank you! Jay -- Jay McCarthy Associate Professor @

Re: [racket-users] Should I stop sending packages to the catalog?

2020-04-30 Thread Jay McCarthy
ies on erroneous behavior of some package that was otherwise fixed. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Wed, Apr 29, 2020 at 12:47 PM Sage Gerard wrote: > > April 9th in the #general Slack channel taught me th

Re: [racket-users] [re: opengl] Is this known Racket syntax?

2020-04-10 Thread Jay McCarthy
the Racket wrapper will return. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Fri, Apr 10, 2020 at 10:02 AM Hendrik Boom wrote: > > I'm building the new opengl binding for Racket, and keep running > into surpri

Re: [racket-users] Best way to say "terminate unless received by X time"

2020-03-24 Thread Jay McCarthy
sport) (udp-receive! socket buffer)) (semaphore-post sema) ;; xxx do stuff (loop)) ``` -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Tue, Mar 24, 2020 at 4:03 PM David Storrs wrote: > > I'

Re: [racket-users] using plai/gc2/{collector,mutator} in one file

2020-03-19 Thread Jay McCarthy
just work. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Wed, Mar 18, 2020 at 8:33 PM David Bremner wrote: > > As part of an effort to use plai/gc2 with the racket handin server > (never having really successfully use

Re: [racket-users] Implications of stateless servlets & how/whether to avoid them

2020-02-20 Thread Jay McCarthy
ldn't surprise me if there was one. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Thu, Feb 20, 2020 at 11:17 AM Brian Adkins wrote: > On Monday, December 3, 2018 at 10:49:40 AM UTC-5, Jay McCarthy wrote: >> >&

Re: [racket-users] Proxying websockets via web-server

2020-01-14 Thread Jay McCarthy
here --- https://github.com/tonyg/racket-rfc6455/blob/master/net/rfc6455/server.rkt#L46 and https://github.com/tonyg/racket-rfc6455/blob/master/net/rfc6455/dispatcher.rkt#L9 --- so I think you just need to customize those things and attach them to your own dispatcher chain. Jay -- Jay McCarthy Asso

Re: [racket-users] Proxying websockets via web-server

2020-01-14 Thread Jay McCarthy
Thanks for noticing that problem with the format string, Eli. As far as examples, there are some in the github repository --- https://github.com/tonyg/racket-rfc6455/tree/master/net/rfc6455/examples -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui

Re: [racket-users] Proxying websockets via web-server

2020-01-10 Thread Jay McCarthy
I don't completely understand what you want to do. Is there a reason you can't use the WebSocket implementation --- https://docs.racket-lang.org/rfc6455/index.html --- and then use normal inter-Racket communication like channels and stuff to work with the rest of your Web application? J

Re: [racket-users] How to prepare and present new pict3d internal documentation?

2020-01-01 Thread Jay McCarthy
--- https://docs.racket-lang.org/web-server-internal/private.html --- I think if I were doing this today, I would have made a bunch of little packages. It would not surprise me if parts of pict3d could be other packages and/or independently useful and it would make sense to document them that way. J

Re: [racket-users] xml library clarification - """ symbol parsing

2019-11-21 Thread Jay McCarthy
Hi Kira, I think this is consistent with how XML is defined. There is a sequence of character data inside of tags. Character data is represented by strings in the `xml` library. And there is a sequence of those. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http

Re: [racket-users] current source repository for pict3d

2019-11-13 Thread Jay McCarthy
The current repository is my fork: http://github.com/jeapostrophe/pict3d You can see that by consulting the page on the package server: https://pkgs.racket-lang.org/package/pict3d -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On

Re: [racket-users] Evaluating to get the output with a specific lang

2019-11-10 Thread Jay McCarthy
e. And you will also want to set `sandbox-namespace-specs` to link up your internal data-structure providing modules so you can communicate. But other than those two things, it should be pretty straightforward. What is different about this than what you are trying to do? Jay -- Jay McCarthy Asso

Re: [racket-users] Parameters and dynamic-require

2019-11-10 Thread Jay McCarthy
quot;foo") (displayln (dynamic-require ''a 'a)) ``` I get ``` (outer original-value) (a foo) 43 ``` as expected -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Sun, Nov 10, 2019 at 10:37 AM Jens Axel Søgaard wro

Re: [racket-users] Modeling a context-sensitive evaluation context with PLT Redex?

2019-11-09 Thread Jay McCarthy
ad his papers again in that light and it may be helpful. I have a series of blog posts from 2012 that attempt to explain this perspective [1] through [2] and this is how my DOS package works [3]. DOS makes this really explicit because the state outside of the handlers is specified as a monoid that

Re: [racket-users] Evaluating to get the output with a specific lang

2019-11-09 Thread Jay McCarthy
on test modules making effects on a global box that counts how many tests ran and failed. `scribble` relies on inspecting an export named `doc`. In either case, I think you want to make `#%module-begin` capture the last expression and expose its value via an effect or an export. Jay -- Jay McC

Re: [racket-users] Modeling a context-sensitive evaluation context with PLT Redex?

2019-11-09 Thread Jay McCarthy
v" where the terms in the reduction relation don't use contexts only on the outside. I don't really understand what you're trying to do, but it may be possible to have a LHSes like PhiContext [ GammaContext [ (gamma f v ExprContext [ (f e) ]) ] ] to get what you want Jay 1.

Re: [racket-users] What's the best way to do these syntax transforms?

2019-11-08 Thread Jay McCarthy
g->immutable-string s)` > - Second and not as urgent, I'd like to add a "dot" notation, so that >(foo.bar 1 2 3) expands into (foo 'bar 1 2 3) > Turn on `read-cdot` and then make the `#%dot` macro put a quote on the RHS and have #%app notice a #%dot and unwra

Re: [racket-users] How to efficiently simulate a video display

2019-10-28 Thread Jay McCarthy
simple, like: https://github.com/jeapostrophe/mode-lambda/blob/master/mode-lambda/backend/gl.rkt#L253-L288 If you Google, "OpenGL draw fullscreen quad", you'll find a bunch of tutorials on doing this. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapost

Re: [racket-users] How to efficiently simulate a video display

2019-10-22 Thread Jay McCarthy
I would use a really simple OpenGL draw call that just draws a rectangle and update the texture contents with the screen bits. -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Tue, Oct 22, 2019 at 6:54 PM wanderley.guimar...@gmail.com

Re: [racket-users] Seeking feedback on Vulkan integration progress

2019-10-17 Thread Jay McCarthy
. C'est la vie. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Thu, Oct 17, 2019 at 2:30 PM Sage Gerard wrote: > > I finished generating C enums, bitsets, function pointers, structs, unions > and handle declarat

Re: [racket-users] I Need Help Bringing Vulkan to Racket

2019-10-09 Thread Jay McCarthy
fi --- for parsing them with Clang's library, rather than going with something home grown. I am very interested in making mode-lambda work on Vulkan. I have a Windows computer that I could test on. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vinci

Re: [racket-users] Testing Servlets: exceptions not raised/passed through; how to pass extra arguments to tested servlet

2019-09-26 Thread Jay McCarthy
inspect the pages that get generated. In this case, you are testing a Web app for its behavior: so you ask "Web" questions, like "Is the background of the page purple?". Jay -- You received this message because you are subscribed to the Google Groups "Racket Users"

Re: [racket-users] Testing Servlets: exceptions not raised/passed through; how to pass extra arguments to tested servlet

2019-09-25 Thread Jay McCarthy
handler which turns that into an HTML display. That HTML display would be returned and thus, there was no exception. In other words, it is not a sufficient test of what you want to check that no exception is thrown, you want to make sure a desirable page is returned. Jay -- Jay McCarthy Associate

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Jay McCarthy
Exactly. We don't change anything about Racket 1 in a way that makes any adaption needed. That's why putting a new "#lang" at the top of new programs is such a big deal, because we can have a new level to have backwards compatibility with for the NEXT 25 years. Jay -- Ja

Re: [racket-users] Is there an expanded form of the Racket2 purpose declaration?

2019-08-28 Thread Jay McCarthy
ople to like me, I see it as a way to go beyond the limitations of S-expressions and do something more powerful and interesting. I think people will like us more after in as much as I think people like awesome things, and I want to make something awesome. Jay -- Jay McCarthy Associate Professor @ C

Re: [racket-users] web-server: how to save database results in memory across all requests?

2019-08-13 Thread Jay McCarthy
-data))) (define get-the-data/cache (make-periodically-updating-value get-the-data/for-realsies)) ``` Box mutation is atomic, so you don't need locks or anything. It would be more complicated if you want to not compute it initially. -- Jay McCarthy Associate Professor @ CS @ UMass Lowell

Re: [racket-users] web-server: how to save database results in memory across all requests?

2019-08-13 Thread Jay McCarthy
Hi Wayne, Your `in-memory-database` is a parameter. Parameters are thread-specific storage [1]. Every request in the web-server is handled by a different thread, so I think this will not work how you think it should. Jay 1. https://docs.racket-lang.org/reference/parameters.html#%28form._%28

Re: [racket-users] Re: Retina display for OpenGL

2019-08-03 Thread Jay McCarthy
larly sounding functions. -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Thu, Aug 1, 2019 at 10:39 AM 'Mark Warren' v

Re: [racket-users] Racket2 possibilities

2019-07-21 Thread Jay McCarthy
n keep those things easy while removing the restriction that keeps us from doing more interesting things. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. -- You received this message because you are subscribed to the Google Groups

Re: [racket-users] Racket2 possibilities

2019-07-20 Thread Jay McCarthy
er to gather ideas. I think eventually we need to try to write longer-form proposals about the details. I think Matthew's point about trying to write down some concrete examples would be extremely valuable as issues to spur discussion. -- Jay McCarthy Associate Professor @ CS @ UMass L

[racket-users] RacketCon Live Stream

2019-07-12 Thread Jay McCarthy
RacketCon is tomorrow! https://con.racket-lang.org/ There will be a live stream! https://youtu.be/xSjk2PdQm5k See you at 0930 Mountain Time! Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. -- You received this message because

Re: [racket-users] HTML rendering

2019-06-21 Thread Jay McCarthy
As far as I can tell, it has been 16 years since that code has been touched for anything other than reformatting. https://github.com/racket/drracket/commit/55dc93d01f6a8113dae46302812debddc1e7d2d8 You should not consider it as a real HTML renderer in Racket. Jay -- Jay McCarthy Associate

[racket-users] Racket Week Housing - Deadline is 06/21

2019-06-14 Thread Jay McCarthy
Racket Week is less than a month away! The dorm housing signup for the workshops is closing soon. You'll have until 06/21 to register for it. https://school.racket-lang.org/#housing The details are at the link, but in summary, it's $40/night at the University of Utah dorms. Jay -- Ja

Re: [racket-users] grammar-based fuzzing

2019-06-06 Thread Jay McCarthy
`redex-check` is what you want. If it isn't exactly what you need, then `data/enumerate` will help you build what you need very easily. -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Thu, Jun 6, 2019 at 3:21 PM Ryan Kramer

Re: [racket-users] Are function parameters copy on write?

2019-06-06 Thread Jay McCarthy
On Thu, Jun 6, 2019 at 12:16 PM David Storrs wrote: > > > On Thu, Jun 6, 2019 at 12:14 PM Jay McCarthy > wrote: > >> Your code is passing bytes by value, but bytes are themselves >> pointers, so you are passing copies of the pointer, not copies of the >> bytes

Re: [racket-users] Are function parameters copy on write?

2019-06-06 Thread Jay McCarthy
with a new pointer. -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Thu, Jun 6, 2019 at 12:00 PM David Storrs wrote: > > My understanding is that Racket is call by value, not call by reference. My > application will

Re: [racket-users] Racket School tuition

2019-06-04 Thread Jay McCarthy
The financial aid means everything is paid for. -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Tue, Jun 4, 2019 at 8:35 PM Shaobo He wrote: > > Hello everyone, > > Can I ask a question about Racket School here? I got t

Re: [racket-users] Re: New Package: Dynamic FFI - Write C Code Inline

2019-06-03 Thread Jay McCarthy
We're already on it... https://github.com/jeapostrophe/adqc See an example here: https://github.com/jeapostrophe/adqc/blob/master/t/fib.rkt It'll be more than just C though, because we'll be generating verification conditions and we'll allow you to enforce time and space

[racket-users] RacketCon - Saturday Social and Sunday events

2019-05-30 Thread Jay McCarthy
l all your friends, as it is only about a month away! We have so excite! Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To u

Re: [racket-users] Confused about testing web applications

2019-05-30 Thread Jay McCarthy
You may be interesting in the `web-server/test` library: https://docs.racket-lang.org/web-server/test.html -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Thu, May 30, 2019 at 2:24 PM Comrade SparklePony wrote: > >

Re: [racket-users] Module not updating on the package server?

2019-04-30 Thread Jay McCarthy
Rescanning never did that. It just re-downloads from Github (or wherever) and updates the record that the build server queries nightly. -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. On Tue, Apr 30, 2019 at 3:59 PM David Storrs wrote

[racket-users] Racket Week Hotel Block and Summer School Housing

2019-04-30 Thread Jay McCarthy
esign Languages or Beautiful Racket), then we have subsidized housing available. These are rooms in the 4-bedroom, 2-bathroom suites on the University of Utah campus dorms. The cost is $40/night. Please register for a dorm room here: https://forms.gle/spaMYg1LL4CK3J8p9 See you in July! -- Jay McC

Re: [racket-users] Re: RacketCon: These 8 INSANE talks about Racket will change your life! I can't believe #7! --- (ninth RacketCon) on July 13th, 2019 --- Speakers Announced!

2019-04-29 Thread Jay McCarthy
s, with a little bit of a tutorial for the game side. I'm also considering organizing a data science hackthon for things like a table library, an AWS Lambda runtime, and a few other tools. Jay -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vinc

[racket-users] RacketCon: These 8 INSANE talks about Racket will change your life! I can't believe #7! --- (ninth RacketCon) on July 13th, 2019 --- Speakers Announced!

2019-04-25 Thread Jay McCarthy
(ninth RacketCon) on July 13th, 2019 Speakers Announced! https://con.racket-lang.org/ Sign up for RacketCon! See you in Salt Lake City! -- Jay McCarthy Associate Professor @ CS @ UMass Lowell http://jeapostrophe.github.io Vincit qui se vincit. -- You received this message because you are

Re: [racket-users] Does Racket have a sexp-syntax regular expressions?

2019-03-27 Thread Jay McCarthy
ge because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. --

[racket-users] ANN: RacketCon Keynote Speakers; You won't believe #9!

2019-03-18 Thread Jay McCarthy
t the keynote speaker is Aaron Turon, a leader on the Rust team at Mozilla. Come and see. https://aturon.github.io/about/ If you'd like to apply to present, send me an email. <3 Jay -- -=[ Jay McCarthy http://jeapostrophe.github.io]=- -=[ Associate ProfessorPLT

Re: [racket-users] Accomodation on the Racket School 2019 page

2019-03-18 Thread Jay McCarthy
om it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- -=[ Jay McCarthy http://jeapostrophe.github.io]=- -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=- -=[ Moses 1:33: And

Re: [racket-users] Pretty display of tabular data?

2019-03-13 Thread Jay McCarthy
I started with the good text-table library, but found I wanted more and more other drawing tools and ended up making something pict-like for the terminal. On Wed, Mar 13, 2019 at 2:26 PM Jay McCarthy wrote: > > 90% of the reason I made `raart` is because of this. > > https://docs.rac

Re: [racket-users] Pretty display of tabular data?

2019-03-13 Thread Jay McCarthy
90% of the reason I made `raart` is because of this. https://docs.racket-lang.org/raart/index.html#%28def._%28%28lib._raart%2Fdraw..rkt%29._table%29%29 (require raart (draw-here (table (text-rows THE-TABULAR-DATA))) Jay On Wed, Mar 13, 2019 at 2:19 PM Matt Jadud wrote: > > Hi all, >

Re: [racket-users] web-server/http documentation: "You are unlikely to need to construct a request struct." Why?

2019-02-20 Thread Jay McCarthy
ructures and use that with something like net/http-client to make a request to a site. That's not what they are for. Jay -- -=[ Jay McCarthy http://jeapostrophe.github.io]=- -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=- -=[ Moses 1:33: And worlds wi

Re: [racket-users] Package not updating after push?

2019-02-12 Thread Jay McCarthy
ail to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- -=[ Jay McCarthy http://jeapostrophe.github.io]=- -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=- -=[ Moses 1:33: And worlds without nu

Re: [racket-users] sxml vs xexpr frustrations

2019-01-31 Thread Jay McCarthy
On Thu, Jan 31, 2019 at 1:56 AM Konrad Hinsen wrote: > I actually migrated code from SXML to xexpr in order to be able to use > Pollen. For me, it feels like SXML is really optimized for consuming XML and xexpr is really optimized for producing it. Jay -- -=[ Jay Mc

Re: [racket-users] OpenGL in build w/ package server

2019-01-19 Thread Jay McCarthy
nsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- -=[ Jay McCarthy http://jeapostrophe.github.io]=- -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=- -=[ Moses 1:33: And worlds without number have I created; ]=- -- You rec

Re: [racket-users] Issue about tcp port, server doesn't receive bytes using read-bytes-avail!* and client using write-bytes

2019-01-12 Thread Jay McCarthy
4 #f #f bytes 0) > > (define (loop) > (define ret (write-bytes bytes out 0 4)) > (displayln (format "ret ~a" ret)) > (sleep 1) > (loop)) > > (loop) > > -- > You received this message because you are subscribed to the Google Groups >

Re: [racket-users] triggering servlet on GET parameters

2019-01-07 Thread Jay McCarthy
You can use web-server/servlet and you don't need to use web-server/dispatch if you don't want to. Your design seems good to me. On Sun, Jan 6, 2019 at 10:33 AM Stephen De Gabrielle wrote: > > Thank you Jay and David, > > Your suggestions were good, #:servlet-regexp #rx

Re: [racket-users] triggering servlet on GET parameters

2019-01-03 Thread Jay McCarthy
Use normal racket/base and web-server/servlet-env ‘s serve/servlet On Thu, Jan 3, 2019 at 10:53 AM David Storrs wrote: > > > On Wed, Jan 2, 2019 at 7:12 PM Jay McCarthy > wrote: > >> You need to stop using `web-server/insta` > > > What would you recommend he u

Re: [racket-users] triggering servlet on GET parameters

2019-01-02 Thread Jay McCarthy
You need to stop using `web-server/insta` so you can customize more. Then, you need to intercept ALL requests with your servlet. Then, your servlet just needs to call (next-dispatcher) and the static file handler will kick in, because it comes after servlets. Jay On Wed, Jan 2, 2019 at 7:08 PM

Re: [racket-users] Implications of stateless servlets & how/whether to avoid them

2018-12-03 Thread Jay McCarthy
ld > have a secret key on the server that I'd use to encrypt state. I haven't > gotten that far yet. When `send/suspend` manipulates the URL (*or a POST parameter) to store the state of your program, then you are storing information on the client. That information is therefore suscep

Re: [racket-users] Implications of stateless servlets & how/whether to avoid them

2018-11-30 Thread Jay McCarthy
uot;. This is probably misguided and just based on some misunderstandings. Jay 1. https://github.com/racket/web-server/blob/master/web-server-lib/web-server/servlet-env.rkt#L156 On Fri, Nov 30, 2018 at 4:30 PM Brian Adkins wrote: > > I could be misreading the information in "3.2 Us

Re: [racket-users] Implications of stateless servlets & how/whether to avoid them

2018-11-30 Thread Jay McCarthy
. The "too far" line is that you can't use `send/suspend`. In the web-server/servlet/web [2] module, you just want to use `send/back` and `with-errors-to-browser`, and no other functions. Jay 1. https://docs.racket-lang.org/web-server/servlet.html?q=none-manager#%28def._%28%28l

Re: [racket-users] What is the expected PLT package catalog refresh rate? Is it not refreshing now?

2018-11-19 Thread Jay McCarthy
That error means, "The package server knows about this package but never got a checksum, so I'm giving up." It would be fixed once the server updates (which I just noticed it do after I kicked it for Kramer) Jay On Mon, Nov 19, 2018 at 11:47 AM David Storrs wrote: > > I tr

[racket-users] Racket Weet 2019

2018-11-14 Thread Jay McCarthy
date! Jay -- -=[ Jay McCarthy http://jeapostrophe.github.io]=- -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=- -=[ Moses 1:33: And worlds without number have I created; ]=- -- You received this message because you are subscribed to the Google Groups "Ra

Re: [racket-users] Re: how to make a cartesian supergenerator?

2018-10-21 Thread Jay McCarthy
op receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- -=[ Jay McCarthy http://jeapostrophe.github.io]=- -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]

Re: [racket-users] servlet development in REPL

2018-10-03 Thread Jay McCarthy
some way to achieve this? > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more

Re: [racket-users] with-syntax, format-id, and ellipses

2018-09-28 Thread Jay McCarthy
subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- -=[ Jay McCarthy

[racket-users] (eighth RacketCon) in St. Louis on September 29th & 30th - Early registration ends next week

2018-08-31 Thread Jay McCarthy
http://con.racket-lang.org Jay -- -=[ Jay McCarthy http://jeapostrophe.github.io]=- -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=- -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from

Re: [racket-users] Announcing Event-lang

2018-05-21 Thread Jay McCarthy
This is very cute! Can you point to a fun example? I looked through the repo and it wasn't obvious where some tests and examples were. Jay On Fri, May 18, 2018 at 4:20 PM, Eric Griffis wrote: > Hi everyone, > > I would like to announce the initial release of event-lang, an > ex

Re: [racket-users] Search the Racket package catalog on the command line

2018-05-21 Thread Jay McCarthy
There is not a better way. I often use links. Jay On Sun, May 20, 2018 at 8:03 PM, Winston Weinert wrote: > Is there a way to search the Racket package catalog from the command line? > > I found "raco pkg catalog-show --all" lists all entries, but it appears to > take s

Re: [racket-users] Re: RacketCon 2018 Website

2018-04-20 Thread Jay McCarthy
t with certain media-types. > 1. The "organizers" href is "http://mailto:jay.mccar...@gmail.com"; -- > which on some browsers opens gmail.com. I think > "mailto:jay.mccar...@gmail.com"; was meant. I think this is an error in Pollen or maybe an error in Jay. The

Re: [racket-users] How to obtain the public IP of the sender of an HTTP request?

2018-04-17 Thread Jay McCarthy
request-client-ip on the request object your handler gets. Jay On Tue, Apr 17, 2018 at 2:54 PM, David Storrs wrote: > Assume I'm a web server and one of the requests I want to respond to > is "What is my public IP address?" More specifically, if the server > receives a

Re: [racket-users] deprecating a package (and redirecting users to new version)

2018-04-13 Thread Jay McCarthy
You can add the `deprecated` tag and change the description. Jay On Thu, Apr 12, 2018 at 5:13 PM, Stephen De Gabrielle wrote: > Hi, > > What is the best way to deprecate a package on pkgs.racket-lang.org ? > > Is there a way to redirect users to a new package (with a different

[racket-users] (eighth RacketCon) is St. Louis in September 2018

2018-03-28 Thread Jay McCarthy
Prepare yourselves! (eighth RacketCon) is St. Louis in September 2018! http://con.racket-lang.org co-located with ICFP and Strange Loop! -- At this point, you can book your hotel room (get them fast!) and let me know what you plan on presenting! Jay -- -=[ Jay McCarthy

Re: [racket-users] Another pkgs badge improvement, re needing documentation

2018-03-26 Thread Jay McCarthy
n Racket source files and bytecode would be like their own archive/JAR-like format.) Jay On Mon, Mar 26, 2018 at 4:21 PM, Greg Hendershott wrote: > p.s. The work to do this, has to be worth it if only for the resulting > paper title: "You Want When Where?" > > On Mon, Mar 2

  1   2   3   4   5   6   7   8   9   10   >