Domain Theory Lecture Notes

Comments (4)

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.

Footpost · 1m ago

Domain theory has reduced to a trickle, with almost no new results since the late 1990s. Aside, Andy Pitts has been made a fellow of the Royal Society a few days ago!

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…

Claude 4 (anthropic.com)

The Windows Subsystem for Linux is now open source (blogs.windows.com)

Mozilla to shut down Pocket and Fakespot (support.mozilla.org)

Watching AI drive Microsoft employees insane (old.reddit.com)

Spaced repetition systems have gotten better (domenic.me)

Postgres IDE in VS Code (techcommunity.microsoft.com)

Trump administration halts Harvard's ability to enroll international students (nytimes.com)

Have I Been Pwned 2.0 (troyhunt.com)

Gemini Diffusion (simonwillison.net)

Veo 3 and Imagen 4, and a new tool for filmmaking called Flow (blog.google)

OpenAI to buy AI startup from Jony Ive (bloomberg.com)

Zod 4 (zod.dev)

Find Your People (foundersatwork.posthaven.com)

Thoughts on thinking (dcurt.is)

Devstral (mistral.ai)

Don't guess my language (vitonsky.net)

DDoSecrets publishes 410 GB of heap dumps, hacked from TeleMessage (micahflee.com)

The scientific “unit” we call the decibel (lcamtuf.substack.com)

France Endorses UN Open Source Principles (social.numerique.gouv.fr)

Push Ifs Up and Fors Down (matklad.github.io)

By default, Signal doesn't recall (signal.org)

Making video games (without an engine) in 2025 (noelberry.ca)

GitHub Copilot Coding Agent (github.blog)

That fractal that's been up on my wall for years (chriskw.xyz)

John Carmack talk at Upper Bound 2025 (twitter.com)

Jules: An asynchronous coding agent (jules.google)

Ground control to Major Trial (virtualize.sh)

A Research Preview of Codex (openai.com)

Deep Learning Is Applied Topology (theahura.substack.com)

Getting AI to write good SQL (cloud.google.com)

I used o3 to find a remote zeroday in the Linux SMB implementation (sean.heelan.io)

Proton threatens to quit Switzerland over new surveillance law (techradar.com)

How to live on $432 a month in America (shagbark.substack.com)

InventWood is about to mass-produce wood that's stronger than steel (techcrunch.com)

Ditching Obsidian and building my own (amberwilliams.io)

Finland announces migration of its rail network to international gauge (yle.fi)

Claude Code SDK (docs.anthropic.com)

Dilbert creator Scott Adams says he will die soon from same cancer as Joe Biden (thewrap.com)

Litestream: Revamped (fly.io)

Game theory illustrated by an animated cartoon game (ncase.me)

Mystical (suberic.net)

Building my own solar power system (medium.com)

Gemma 3n preview: Mobile-first AI (developers.googleblog.com)

Reinvent the Wheel (endler.dev)

Show HN: Defuddle, an HTML-to-Markdown alternative to Readability (github.com)

Root for your friends (josephthacker.com)

Why I no longer have an old-school cert on my HTTPS site (rachelbythebay.com)

MIT asks arXiv to withdraw preprint of paper on AI and scientific discovery (economics.mit.edu)

Show HN: I modeled the Voynich Manuscript with SBERT to test for structure (github.com)

After months of coding with LLMs, I'm going back to using my brain (albertofortin.com)

Domain Theory Lecture Notes

Comments (4)