[racket-users] custom input ports and specials

2021-04-12 Thread je...@lisp.sh
I'm implementing a tokenizer as a custom input port using `make-input-port`. My thinking is that `peek-char-or-special` and `read-char-or-special` will be the primary interface to the tokenizer; port locations will also be used. In this case, the input port should emitting characters as well

Re: [racket-users] Polished 3D package for some simulations

2021-04-12 Thread Stephen Foster
Hehe. Yeah, we were discussing resyntax. On Mon, Apr 12, 2021, 11:01 AM Dominik Pantůček < dominik.pantu...@trustica.cz wrote: > One clicks on your Twitch and the first thing coming from the speakers > is "Do you remember Jack? Jack Firth?" > > Everyone does, of course ;-) > > On 12. 04. 21

Re: [racket-users] Polished 3D package for some simulations

2021-04-12 Thread Dominik Pantůček
One clicks on your Twitch and the first thing coming from the speakers is "Do you remember Jack? Jack Firth?" Everyone does, of course ;-) On 12. 04. 21 17:31, Stephen Foster wrote: > In the CodeSpells project, we are using Racket + Unreal Engine.  This > combo would be my recommendation for

Re: [racket-users] Polished 3D package for some simulations

2021-04-12 Thread Stephen Foster
In the CodeSpells project, we are using Racket + Unreal Engine. This combo would be my recommendation for doing "3D stuff" and also anything with physics. As you can see from the first few seconds of this video, we are spawning in Twitch users as 3D physical objects:

[racket-users] Re: Judgement not holding

2021-04-12 Thread Beatriz Moreira
Thank you, I did just that! :D 4. Checking for membership in an environment sounds like a (very) decidable problem. It maybe simpler to just write a judgment form for the positive case, and simply defining the negative case as “when the judgment doesn’t hold”. A sexta-feira, 9 de abril de

Re: [racket-users] How do I, a client, get a copy of an untrusted server certificate?

2021-04-12 Thread Sage Gerard
Ok, much appreciated. For those reading, I'm pivoting to this phrasing. -- Could not connect to example.com due to an unverified certificate. You can address this by downloading the certificate from a source your operating system trusts (to mitigate man-in-the-middle attacks), then adding the

Re: [racket-users] How do I, a client, get a copy of an untrusted server certificate?

2021-04-12 Thread Ryan Culpepper
Yes, that's right. Ryan On Mon, Apr 12, 2021 at 4:23 PM Sage Gerard wrote: > Understood, thank you. By "trusted location," do you mean a server with a > certificate that operating systems already trust? > On 4/12/21 10:15 AM, Ryan Culpepper wrote: > > Racket does not provide a way to do that.

Re: [racket-users] How do I, a client, get a copy of an untrusted server certificate?

2021-04-12 Thread Sage Gerard
Understood, thank you. By "trusted location," do you mean a server with a certificate that operating systems already trust? On 4/12/21 10:15 AM, Ryan Culpepper wrote: > Racket does not provide a way to do that. > > You can use `openssl s_client -showcerts -connect host:port < /dev/null` to >

Re: [racket-users] How do I, a client, get a copy of an untrusted server certificate?

2021-04-12 Thread Ryan Culpepper
Racket does not provide a way to do that. You can use `openssl s_client -showcerts -connect host:port < /dev/null` to get the server's certificate chain in PEM form (with other logs around it). Of course, an attacker could intercept the connection and send you their CA certificate instead. It

[racket-users] How do I, a client, get a copy of an untrusted server certificate?

2021-04-12 Thread Sage Gerard
When ssl-connect fails due to an untrusted certificate, this error is raised: ssl-connect: connect failed (error:1416F086:SSL routines:tls_process_server_certificate:certificate verify failed) I'd like to give the user a more helpful error, like this: Could not connect due to an untrusted

Re: [racket-users] Polished 3D package for some simulations

2021-04-12 Thread Hendrik Boom
On Sun, Apr 11, 2021 at 09:25:48PM -0500, Nathaniel W Griswold wrote: > Thanks all, i’m just going to see if Pict3D works out. I didn’t know about it > before. I don’t really need textures for this project as i am starting with > just particles moving around and wave superposition. It might

[racket-users] Wheel / touchpad / trackpoint accuracy/speed scrolling fix for DrRacket

2021-04-12 Thread Dexter Lagan
I started a new thread as the original topic no longer matched. I installed 8.1.0.2 x64 CS and enabled logging in gen-wheels. Matt was right: wheel-steps-mode is indeed set to 'integer while gen-wheels runs in DrRacket's editor. The only two changes required to get smooth/accurate scrolling

[racket-users] Incorrect value/typo in write-resource procedure documentation

2021-04-12 Thread Dexter Lagan
https://docs.racket-lang.org/file/resource.html For the proc write-resource, type : (or/c 'string 'bytes 'integer) = 'string should read type : (or/c