Domain Theory Lecture Notes

Comments (3)

dunham · 7h ago

The tool used for this site is Jon Sterling's "forester": https://sr.ht/~jonsterling/forester/

His motivation for building it is described here: https://www.forester-notes.org/tfmt-0001/index.xml

discarded1023 · 5h ago

Thanks for the link. Is there anything new in these notes? They are cleanly presented but look like the greatest hits up to about 1982. Is there anything in there about reasoning about domains? e.g. what Andy Pitts made hay out of in the 1990s.

ferguswhite · 2h ago

I saw the title and thought “I remember Liam O’Connor giving a lecture series on this for TypeSIG” - PL really is tiny…

Ask HN: Selling software to company I work for as an employee

Ask HN: Go deep into AI/LLMs or just use them as tools?

Ask HN: Conversational AI to Learn a Language

Ask HN: Can you give tips on writing a README for project?

Ask HN: What's your favorite architect/editor pair with Aider?

Ask HN: What HN posts inspired or changed your perspective the most?

Ask HN: How do you promote your personal projects with a limited budget?

Ask HN: Senior SaaS developer wanting to pivot

ESP32 MCP Server

Ask HN: Do you have a side project you're getting tired of?

I'm Peter Roberts, immigration attorney, who does work for YC and startups. AMA

Ask HN: AI Reading List

Ask HN: How to Make Friendster Great?

Ask HN: What projects do you donate to?

We sold our first AI agent to a legacy industry–now we're stuck. Help us Advice?

Ask HN: How do you keep on top of all of the AI tools and new changes?

Ask HN: Places in the UK / Europe Related to computers

I spent 15 years developing a tool to make sense of software version numbers

Ask HN: Pros and cons of offering a self-hosted version of your SaaS?

Ask HN: Fakespot is shutting down July 1. Alternatives?

Modern Python Boilerplate – good package basic structure

Ask HN: Where to find UX design resources?

Ask HN: Engineering Statics and Dynamics book recommendation

What If Every Picture You've Ever Seen Already Exists?

Tell HN: The Hetzner Experience - Invisible Outages

Ask HN: Don't You Mind That LLMs Are Mostly Proprietary?

AskHN: Best, simplest platform to run a Technical Interview on?

Ask HN: Agent / workflow frameworks or roll your own?

Apple Rejects My Name Because It Contains "Dek" – But "Dick" Is Allowed

Ask HN: What makes a programming language great for code generation?

Domain Theory Lecture Notes

Comments (3)