Skip to content

Instantly share code, notes, and snippets.

View stefanlesser's full-sized avatar

Stefan Lesser stefanlesser

29 followers · 79 following
View GitHub Profile
@stefanlesser
stefanlesser / subscriptions.xml
Created September 13, 2018 15:30
Future of Programming RSS feeds
<?xml version="1.0" encoding="UTF-8"?>
<opml version="1.0">
<head>
<title>RSS subscriptions for Future of Programming</title>
<dateCreated>Thu, 13 Sep 2018 10:28:49 -0500</dateCreated>
</head>
<body>
<outline text="Future of Programming" title="Future of Programming">
<outline text="Programming in the 21st Century" title="Programming in the 21st Century" type="rss" xmlUrl="http://prog21.dadgum.com/atom.xml" htmlUrl="http://prog21.dadgum.com/"/>
<outline text="Bret Victor's website" title="Bret Victor's website" type="rss" xmlUrl="http://worrydream.com/feed.xml" htmlUrl="http://worrydream.com/"/>
@stefanlesser
stefanlesser / CategoryTheoryResources.md
Last active June 17, 2019 14:06

I’m currently trying to fully understand category theory as it applies to programming. I’m not scared of math, however, I’m also not a mathematician, so I’m looking for an introduction that helps me build intuitive understanding first, and then goes all the way into the formalisms.

Here are the resources I am currently reading that I found the most helpful so far:

Resources

Why Category Theory Matters • rs.io

http://rs.io/why-category-theory-matters/

Quick intro on why it's useful and lots of links to resources of applications of category theory.