-
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
3 changed files
with
202 additions
and
4 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,185 @@ | ||
|
||
|
||
|
||
|
||
|
||
<html> | ||
<head> | ||
<link rel="stylesheet" href="../reset.css" /> | ||
<link rel="stylesheet" href="../highlight/styles/monokai-sublime.min.css" /> | ||
<link rel="stylesheet" href="../site.css" /> | ||
|
||
<script src="https://unpkg.com/feather-icons"></script> | ||
|
||
<title> | ||
Ian Wold | Book Club 10/2023: Papers I Love | ||
</title> | ||
</head> | ||
<body> | ||
<button id="dark-mode-toggle"><i data-feather="sun"></i></button> | ||
|
||
<nav class="content"> | ||
<div class="headshot"> | ||
<img src="../images/hero1.svg" /> | ||
</div> | ||
<div class="title"> | ||
<a href="../index.html">Ian Wold</a> | ||
</div> | ||
<ul> | ||
<li><a href="../about.html">About</a></li> | ||
<li><a href="https://buttondown.email/ianwold" target="_blank">Newsletter</a></li> | ||
</ul> | ||
</nav> | ||
|
||
|
||
|
||
|
||
|
||
|
||
<header class="content"> | ||
<h1>Book Club 10/2023: Papers I Love</h1> | ||
<small> | ||
<span class="date"> | ||
<i data-feather="calendar"></i> 28 September 2023 | ||
</span> | ||
<span class="time"> | ||
<i data-feather="clock"></i> 2 Minutes | ||
</span> | ||
</small> | ||
<p>Reflecting on the final Strange Loop conference, having attended several 'Papers We Love' talks, I'm motivated to share five papers I love.</p> | ||
</header> | ||
|
||
<div class="content hero"> | ||
<img src="https://images.unsplash.com/photo-1672309558498-cfcc89afff25?w=1000&h=525&fit=crop&crop=entropy" /> | ||
</div> | ||
|
||
<div class="content"> | ||
|
||
<div class="post"> | ||
<p><em>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 <a href="https://buttondown.email/ianwold">subscribe to my newsletter</a>. Note: this first "Book Club" post is not included in the newsletter; I hadn't yet set up the newsletter.</em></p> | ||
<p>Last week I attended the final <a href="https://thestrangeloop.com/">Strange Loop Conference</a>. 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.</p> | ||
<p>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) <a href="https://paperswelove.org/">Papers We Love</a>. 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:</p> | ||
<ul> | ||
<li><a href="https://dinhe.net/%7Earedridel/.notmine/PDFs/Parsing/SPIEWAK%2C%20Daniel%20%282010%29%20-%20Generalized%20Parser%20Combinators.pdf">Generalized Parser Combinators - Daniel Spiewak</a></li> | ||
<li><a href="https://philpapers.org/archive/FLOSIA-5.pdf">Semantic Information and the Correctness Theory of Truth - Luciano Floridi</a></li> | ||
<li><a href="https://www.type-driven.org.uk/edwinb/papers/impldtp.pdf">Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation</a></li> | ||
<li><a href="https://people.umass.edu/klement/lambda.pdf">Russell's 1903-1905 Anticiaption of the Lambda Calculus - Kevin C. Klement</a></li> | ||
<li><a href="https://ics.uci.edu/%7Efielding/pubs/dissertation/top.htm">Architectural Styles and the Design of Network-based Software Architectures</a></li> | ||
</ul> | ||
|
||
</div> | ||
<div class="comments"> | ||
<script src="https://giscus.app/client.js" | ||
data-repo="IanWold/ianwold.github.io" | ||
data-repo-id="MDEwOlJlcG9zaXRvcnkxNTk1NDkyNzI=" | ||
data-category="Posts" | ||
data-category-id="DIC_kwDOCYKHWM4CZH2Y" | ||
data-mapping="title" | ||
data-strict="0" | ||
data-reactions-enabled="0" | ||
data-emit-metadata="0" | ||
data-input-position="top" | ||
data-theme="light" | ||
data-lang="en" | ||
data-loading="lazy" | ||
crossorigin="anonymous" | ||
async> | ||
</script> | ||
</div> | ||
</div> | ||
|
||
<div class="section-gray"> | ||
<div class="content post-end"> | ||
<img src="../images/hero1.svg" /> | ||
<div class="bio"> | ||
<h1>Hi, I'm Ian</h1> | ||
<p> | ||
I'm a software engineer, architect, and team leader in Minneapolis. My career has largely focused on .NET and web technologies, spread across several industries. Currently I'm working for Crate & Barrel on their ecommerce solutions. You can find me on this blog, contributing to open source repositories, and at conferences around the Midwest. | ||
</p> | ||
<hr/> | ||
<p> | ||
Thank you for reading this post, I hope you found it valuable. If you'd like to keep up to date with my extremely consistent blog, please do subscribe to my <a href="#">RSS feed</a>. | ||
</p> | ||
<hr/> | ||
<p> | ||
Some other posts you might be interested in: | ||
</p> | ||
<div class="archive"> | ||
<ul> | ||
|
||
<li> | ||
<a href="../Posts/sprache.html"> | ||
An Introduction to Sprache<small>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.</small> | ||
</a> | ||
</li> | ||
|
||
<li> | ||
<a href="../Posts/deploying_aspdotnet_7_projects_with_railway.html"> | ||
Deploying ASP.NET 7 Projects with Railway<small>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!</small> | ||
</a> | ||
</li> | ||
|
||
</ul> | ||
</div> | ||
</div> | ||
</div> | ||
</div> | ||
|
||
|
||
<footer> | ||
<div class="content content-footer"> | ||
<span> | ||
Copyright © Ian Wold. Site generated by <a href="https://www.github.com/IanWold/Metalsharp">Metalsharp</a> and hosted by <a href="https://www.github.com/IanWold/ianwold.github.io">GitHub Pages</a>. | ||
</span> | ||
<div class="icon-links"> | ||
<a href="https://github.com/ianwold"><i data-feather="github"></i></a> | ||
<!--<a href="#"><i data-feather="rss"></i></a>--> | ||
</div> | ||
</div> | ||
</footer> | ||
|
||
<script src="../highlight/highlight.min.js"></script> | ||
<script> | ||
feather.replace(); | ||
hljs.highlightAll(); | ||
|
||
window.addEventListener('DOMContentLoaded', () => { | ||
const observer = new IntersectionObserver(entries => { | ||
entries.forEach(entry => { | ||
const id = entry.target.getAttribute('id'); | ||
let classList = document.querySelector(`.pane li a[href="#${id}"]`).parentElement.classList; | ||
|
||
if (entry.intersectionRatio > 0) { | ||
classList.add('active'); | ||
} else { | ||
classList.remove('active'); | ||
} | ||
}); | ||
}); | ||
|
||
document.querySelectorAll('section[id]').forEach((section) => { | ||
observer.observe(section); | ||
}); | ||
}); | ||
|
||
const darkModeToggle = document.getElementById("dark-mode-toggle"); | ||
const body = document.body; | ||
|
||
function toggleDarkMode() { | ||
body.classList.toggle("dark"); | ||
|
||
if (localStorage.getItem("dark") === "enabled") { | ||
localStorage.setItem("dark", "disabled"); | ||
} else { | ||
localStorage.setItem("dark", "enabled"); | ||
} | ||
} | ||
|
||
darkModeToggle.addEventListener("click", toggleDarkMode); | ||
|
||
if (localStorage.getItem("dark") === "enabled") { | ||
body.classList.toggle("dark"); | ||
} | ||
</script> | ||
</body> | ||
</html> |
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