Meeting this coming Tuesday, February 28th

[Chris Mihalcik]

Hi all! - NashFP is coming up next Tuesday at 6. Looking for show and tell topics.

Scott Southworth, I think you mentioned that your kid was working on something?

- Chris

[Bryan Hunter]

Here's a Zoom link for tonight's meeting at 6PM.

https://us02web.zoom.us/j/84221468136?pwd=MXZBQURPTHRZMzh2OWwzT0M2YnVWZz09

[Bryan Hunter]

Chat log from the night...

Note 18:04:20 From Bryan Hunter to Everyone:
https://mitpress.mit.edu/9780262546379/the-little-learner/
18:04:40 From Bryan Hunter to Everyone:
https://leanprover.github.io/
18:07:02 From Andrew Zipperer to Everyone:
https://mitpress.mit.edu/9780262536431/the-little-typer/
18:13:07 From Bryan Hunter to Everyone:
Last day to submit talks to ThatConference https://that.us/call-for-counselors/wi/2023/
18:15:24 From Bryan Hunter to Everyone:
Shritesh has been busy playing games https://direct.playstation.com/en-us/playstation-vr2
18:26:12 From Chris Mihalcik to Everyone:
have to step away for a moment...
18:29:50 From Bryan Hunter to Everyone:
A paper on Lean by Andrew Zipperer https://www.andrew.cmu.edu/user/avigad/Students/zipperer_ms_thesis.pdf
18:39:18 From Shritesh Bhattarai to Everyone:
https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/
18:54:34 From Bryan Hunter to Everyone:
Dependent Types “killer app” (not found) https://dafoster.net/articles/2019/01/06/dependent-types-impressions-of-a-software-practitioner/
18:54:57 From Patrick Carver to Everyone:
https://softwareengineering.stackexchange.com/questions/401218/is-there-a-practical-use-for-dependent-types
19:01:21 From Bryan Hunter to Everyone:
https://puredata.info/
19:10:40 From Bryan Hunter to Everyone:
"Waterpark: Distributed Actors vs the Pandemic" by Bryan Hunter https://www.youtube.com/watch?v=9qUfX3XFi_4
19:47:49 From Bryan Hunter to Everyone:
Bryan Hunter will be facilitator in March

[Mark Wutka]

Hi everyone!  Sounds like it was a good meeting last night!  In addition to "The Little Learner" book, I learned today that MIT Press also just published another Racket/Scheme book called "Essentials of Compilation" (https://mitpress.mit.edu/9780262047760/essentials-of-compilation/)

A few years ago Jason brought up the idea of writing micro-pass compilers, and Jeremy Siek, the author of "Essentials of Compilation" was at the time doing a compilers course with micropass compilers. It looks like he mostly abandoned the micropass stuff, but uses an incremental approach.

The book is licensed via a Creating Content license and you can download the TeX sources for it, as well as a PDF from here:

https://github.com/IUCompilerCourse/Essentials-of-Compilation

The Github repo also includes a sample syllabus for the class, and inside the syllabus is a link to lecture videos and course notes from 2020. This seems like quite a treasure trove!

  Mark

--
You received this message because you are subscribed to the Google Groups "Nashville Functional Programmers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to nashfp+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/32024038-ebb9-4c54-9ebe-948ab09bdce5n%40googlegroups.com.

[Mark Wutka]

Just a followup on the "Essentials of Compilation" book, I said that he had abandoned the micropass (or nanopass) approach, but that was incorrect. It still works that way, and the exercises in the book lead you through developing various passes as you add features. This sure seems like what Jason was aiming toward a while back when he proposed trying to do a compiler.

[Michael Kerekes]

Sorry I missed the meeting.  Gmail decided that nashfp messages were spam.  Sounds like you had a good time.

To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/CA%2BvyaX2hU%2BuA-t%3Dyk838bK%3DfHvCG7FhJZJbM1w0phihBwVr66g%40mail.gmail.com.