diff --git a/Site/Posts/book_club_10-2023.md b/Site/Posts/book_club_10-2023.md index 46c102f..5c6321d 100644 --- a/Site/Posts/book_club_10-2023.md +++ b/Site/Posts/book_club_10-2023.md @@ -6,8 +6,9 @@ "contents": false, "hero": "photo-1672309558498-cfcc89afff25", "related": [ - { "title": "An Introduction to Sprache", "description": "Sprache is a parser-combinator library for C# that uses Linq to construct parsers. In this post I describe the fundamentals of understanding grammars and parsing them with Sprache, with several real-world examples.", "fileName": "sprache" }, - { "title": "Meanwhile in the Windows Console ... Minesweeper!", "description": "My tyranny of classic game implementations in the console expands. Knows it no end?", "fileName": "console_minesweeper" } + { "title": "Book Club 10/2023: Papers I Love", "description": "Reflecting on the final Strange Loop conference, having attended several 'Papers We Love' talks, I'm motivated to share five papers I love.", "fileName": "book_club_9-2023" }, + { "title": "A Scrum Odyssey", "description": "A journey away from daily scrum meetings, as a cycle of eight Shakespearean sonnets.", "fileName": "a_scrum_odyssey" }, + { "title": "An Introduction to Sprache", "description": "Sprache is a parser-combinator library for C# that uses Linq to construct parsers. In this post I describe the fundamentals of understanding grammars and parsing them with Sprache, with several real-world examples.", "fileName": "sprache" } ] } ;;; diff --git a/Site/Posts/book_club_9-2023.md b/Site/Posts/book_club_9-2023.md new file mode 100644 index 0000000..1e0b6b8 --- /dev/null +++ b/Site/Posts/book_club_9-2023.md @@ -0,0 +1,25 @@ +;;; +{ + "title": "Book Club 10/2023: Papers I Love", + "description": "Reflecting on the final Strange Loop conference, having attended several 'Papers We Love' talks, I'm motivated to share five papers I love.", + "date": "28 September 2023", + "contents": false, + "hero": "photo-1672309558498-cfcc89afff25", + "related": [ + { "title": "An Introduction to Sprache", "description": "Sprache is a parser-combinator library for C# that uses Linq to construct parsers. In this post I describe the fundamentals of understanding grammars and parsing them with Sprache, with several real-world examples.", "fileName": "sprache" }, + { "title": "Deploying ASP.NET 7 Projects with Railway", "description": "Railway is a startup cloud infrastructure provider that has gained traction for being easy to use and cheap for hobbyists. Let's get a .NET 7 Blazor WASM app up and running with it!", "fileName": "deploying_aspdotnet_7_projects_with_railway" } + ] +} +;;; + +_My Book Club is a monthly curated list of things I've been reading or watching, sent out via my newsletter. If you'd like to follow along with me, please [subscribe to my newsletter](https://buttondown.email/ianwold). Note: this first "Book Club" post is not included in the newsletter; I hadn't yet set up the newsletter._ + +Last week I attended the final [Strange Loop Conference](https://thestrangeloop.com/). This conference has been very influential on my career and my academic interests. In fact, this conference began a short time before I started making money in software. Having been able to watch the talks on the YouTubes over the years, I credit it with having a significant impact on how I've approached my career as well as my studies in college, where I got bachelors' in both philosophy and computer science. + +However, I had never been to a Strange Loop before! It's bitersweet then that I was able to attend the final one. Perhaps unurprisingly, I attended several presentations sponsored by (or should I say "presented by"? unsure) [Papers We Love](https://paperswelove.org/). In that spirit, I'm going to share five papers here that cut across my philosophical and computer science inclinations that I have very much enjoyed over the years: + +* [Generalized Parser Combinators - Daniel Spiewak](https://dinhe.net/~aredridel/.notmine/PDFs/Parsing/SPIEWAK%2C%20Daniel%20%282010%29%20-%20Generalized%20Parser%20Combinators.pdf) +* [Semantic Information and the Correctness Theory of Truth - Luciano Floridi](https://philpapers.org/archive/FLOSIA-5.pdf) +* [Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation](https://www.type-driven.org.uk/edwinb/papers/impldtp.pdf) +* [Russell's 1903-1905 Anticiaption of the Lambda Calculus - Kevin C. Klement](https://people.umass.edu/klement/lambda.pdf) +* [Architectural Styles and the Design of Network-based Software Architectures](https://ics.uci.edu/~fielding/pubs/dissertation/top.htm)