Domain Theory Lecture Notes

Comments (2)

dunham · 3h 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 · 1h 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.

Reinvent the Wheel (endler.dev)

How to Install Windows NT 4 Server on Proxmox (blog.pipetogrep.org)

On File Formats (solhsa.com)

Nvidia Pushes Further into Cloud with GPU Marketplace (wsj.com)

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

Why old games never die, but new ones do (pleromanonx86.wordpress.com)

Failure Mechanisms in Democratic Regimes – An Army's Role (angrystaffofficer.com)

Tachy0n: The Last 0day Jailbreak (blog.siguza.net)

Good Writing (paulgraham.com)

The WinRAR Approach (basicappleguy.com)

Show HN: Rotary Phone Dial Linux Kernel Driver (gitlab.com)

Space is not a wall: toward a less architectural level design (blog.radiator.debacle.us)

Contacts let you see in the dark with your eyes closed (scitechdaily.com)

The Xenon Death Flash: How a Camera Nearly Killed the Raspberry Pi 2 (magnus919.com)

Using the Apple ][+ with the RetroTink-5X (nicole.express)

Lone coder cracks 50-year puzzle to find Boggle's top-scoring board (ft.com)

Hong Kong's Famous Bamboo Scaffolding Hangs on (For Now) (nytimes.com)

An Almost Pointless Exercise in GPU Optimization (blog.speechmatics.com)

The Logistics of Road War in the Wasteland (acoup.blog)

Scientific conferences are leaving the US amid border fears (nature.com)

Peer Programming with LLMs, for Senior+ Engineers (pmbanugo.me)

It is time to stop teaching frequentism to non-statisticians (2012) (arxiv.org)

Crypto Investor Charged with Kidnapping and Torturing Man for Weeks (nytimes.com)

Personal Computer Origins: The Datapoint 2200 (thechipletter.substack.com)

Exposed Industrial Control Systems and Honeypots in the Wild [pdf] (gsmaragd.github.io)

One of the Most Popular Games on the Planet (kotaku.com)

AI, Heidegger, and Evangelion (fakepixels.substack.com)

Domain Theory Lecture Notes (liamoc.net)

The Next-Gen Mainboard Designed with AmigaOS4 and MorphOS in Mind (mirari.vitasys.nl)

Trellis (YC W24) Is Hiring founding SDR to help automate healthcare paperwork (ycombinator.com)

The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf] (simon.peytonjones.org)

Show HN: SuperUtilsPlus – A Modern Alternative to Lodash (github.com)

Show HN: F2 – Cross-Platform CLI Batch Renaming Tool (github.com)

Goethe's Faustian Life (commonwealmagazine.org)

Microsoft-backed UK tech unicorn Builder.ai collapses into insolvency (ft.com)

Is Astrophotography Without Tracking Possible? (2022) (astroimagery.com)

The Last Nomads (thedial.world)

The legacy of the iconic Nakagin capsule tower (designboom.com)

The Decline of Usability: Revisited (2023) (datagubbe.se)

Python in LibreOffice (LibrePythonista Extension) (extensions.libreoffice.org)

Soda Can Stove (thesodacanstove.com)

Live facial recognition cameras may become 'commonplace' as police use soars (theguardian.com)

Why Algebraic Effects? (antelang.org)

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

What even is a small language model now? (jigsawstack.com)

Jupiter was formerly twice its current size, had a much stronger magnetic field (phys.org)

In-Depth Guide to the Best Free Fonts (beautifulwebtype.com)

voyage-3.5 and voyage-3.5-lite: improved quality for a new retrieval frontier (blog.voyageai.com)

Find Your People (foundersatwork.posthaven.com)

Scientist busts myths about how humans burn calories–and why (2022) (science.org)

Domain Theory Lecture Notes

Comments (2)