-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
2 changed files
with
28 additions
and
2 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -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) |