Re: [racket-dev] Racket learning page videos

2013-01-30 Thread Nick Shelley
Sorry, I guess I was so excited about all the videos that I forgot to say thanks. So here it is: thanks! On Wed, Jan 30, 2013 at 12:56 PM, Nick Shelley wrote: > Sorry if this is off topic, but I just watched "Macros Matter," and I was > thinking how much more enjoyable the RacketCon videos would

Re: [racket-dev] long double for racket

2013-01-30 Thread Matthew Flatt
At Tue, 29 Jan 2013 19:01:30 -0500, Sam Tobin-Hochstadt wrote: > On Mon, Jan 28, 2013 at 8:18 PM, Matthew Flatt wrote: > > At Sat, 29 Dec 2012 14:05:08 +0300, Michael Filonenko wrote: > >> I have prepared a new version of the patch (attached). > > > > Thanks! > > A question on the design here: wh

Re: [racket-dev] (current-date)

2013-01-30 Thread Asumu Takikawa
On 2013-01-30 23:20:45 +0100, Pierpaolo Bernardi wrote: >Any reason not to define current-date in this way? there's a nanosecond >field there wanting to get into action. While we're on the subject, it's also weird that `date->seconds` has a contract accepting date? and so doesn't handle da

Re: [racket-dev] Installing Optimization Coach broke Racket's reader

2013-01-30 Thread Neil Toronto
This worked: ~/plt/collects$ find . -name "compiled" -exec rm -rf \{\} \; ~/plt/collects$ ../bin/raco setup That first command to delete the ghosts of misbegotten .zos is arcane and dangerous. Why would installing a package create compiled files in "collects"? Neil ⊥ On 01/30/2013 05:12 PM,

Re: [racket-dev] Installing Optimization Coach broke Racket's reader

2013-01-30 Thread Neil Toronto
Setup finished, still had the reader error. I removed Optimization Coach, cleaned, and ran setup again. My reader is still broken. "git status" shows no changes in my local repo. "raco pkg show" shows no packages. "raco link -l" shows no additional links. Where are these invisible craptastic

[racket-dev] Installing Optimization Coach broke Racket's reader

2013-01-30 Thread Neil Toronto
Ran this program: #lang racket (require planet2) (install "optimization-coach") Realized setup was running on one thread, stopped program, closed DrRacket. Figured Optimization Coach must have been downloaded already, so I ran setup: $ ./raco setup Everything appeared to work. Started DrRac

[racket-dev] raco pkg and github

2013-01-30 Thread Asumu Takikawa
Hi all, One thing that a few people using `raco pkg` (including myself) have found is that when you upload a package to pkg.racket-lang.org that's hosted on github, you can easily get checksum errors. The checksum mismatch happens when the github HEAD has been updated, but the checksum on the PNS

[racket-dev] (current-date)

2013-01-30 Thread Pierpaolo Bernardi
Hello, current-date returns a time* struct wich has a granularity of 1 s. Using (seconds->date (* #i1/1000 (current-inexact-milliseconds))) appears to works better. Any reason not to define current-date in this way? there's a nanosecond field there wanting to get into action. Cheers P. ___

Re: [racket-dev] Racket learning page videos

2013-01-30 Thread Nick Shelley
Sorry if this is off topic, but I just watched "Macros Matter," and I was thinking how much more enjoyable the RacketCon videos would be if they were of a similar format that had the screen constantly visible and in focus. On Wed, Jan 30, 2013 at 12:49 PM, Matthias Felleisen wrote: > > Done. > >

Re: [racket-dev] Racket learning page videos

2013-01-30 Thread Matthias Felleisen
Done. On Jan 30, 2013, at 2:27 PM, Danny Yoo wrote: >> >> https://github.com/plt/racket/wiki/Videos >> >> Please fill in whatever I've missed! (The page already has more on it >> than I expected to find, so I'm sure I've missed things.) > > Would the bootstrapworld videos be applicable here

Re: [racket-dev] Racket learning page videos

2013-01-30 Thread Danny Yoo
> > https://github.com/plt/racket/wiki/Videos > > Please fill in whatever I've missed! (The page already has more on it > than I expected to find, so I'm sure I've missed things.) Would the bootstrapworld videos be applicable here too? I was about to add these as well: http://www.youtube.co

Re: [racket-dev] Racket learning page videos

2013-01-30 Thread Laurent
Cool! As I hesitate to edit myself, and since I don't see any "Discussion" page like on Wikipedia, I'll say it here: I think it would be better to reorganize the videos from friendlier to more technical, e.g.: Tutorials and Demos Talks Interviews Research talks More I can of course edit it myself

Re: [racket-dev] Racket learning page videos

2013-01-30 Thread Matthew Flatt
Ok, I've started this page: https://github.com/plt/racket/wiki/Videos Please fill in whatever I've missed! (The page already has more on it than I expected to find, so I'm sure I've missed things.) I also updated the web page (needs upload) to point to the videos page. but I didn't yet try to l