# Tim Disney (@disnetdev.com)

Profile: https://sifa.id/p/disnetdev.com
Headline: Independent software developer
Location: Seattle, Washington, United States

## About

I'm a developer building software that brings me joy.

Throughout my career I've gravitated to systems and technologies that enhance user freedom: the web, open source, and currently the AT Protocol.

I have a background in formal programming language theory and then spent a decade working in web security. Now I'm trying to build as many cool things that I can.

## Career

- **Director of Engineering at F5** (Oct 2022 - Jun 2025)
  Lead a team of engineers building systems to prevent malicious automation against web sites.
- **Senior Software Engineering Manager at F5 Networks** (Jan 2020 - Oct 2022)
  Lead a team of engineers building systems to prevent malicious automation against web sites.
- **Principal Software Engineer at Shape Security** (Oct 2015 - Jan 2020)
  Built a JavaScript SDK to protect web sites from malicious automation (e.g. bots running credential stuffing attacks).
- **Graduate Student Researcher at University of California, Santa Cruz** (Sep 2009 - Sep 2015)
- **Research Intern at Mozilla** (Jun 2013 - Sep 2013)
- **Research Intern at Mozilla Corporation** (Jun 2012 - Sep 2012)
- **Research Intern at Mozilla Corporation** (Jun 2011 - Sep 2011)
- **Software Engineer II at Blue Nile** (Feb 2009 - Aug 2009)
- **Junior Software Engineer at Blue Nile** (Jun 2007 - Feb 2009)
- **Search Marketing Intern at POP** (Mar 2007 - Jun 2007)
- **Senior Miscrosystems Analyst Assistant at Seattle Pacific University - Computer & Information Services** (Oct 2003 - Apr 2007)
- **Special Event Media Consultant at Seattle Pacific University - Computer & Information Services** (Mar 2003 - Apr 2007)
- **Research Experience for Undergrads Student at DePaul University** (Jun 2006 - Aug 2006)

## Projects

- **SembleIt** — https://sembleit.dev/ (Mar 2026 - Present)
  An alternative Semble client built for speed
- **Skyboard** — https://skyboard.dev/ (Feb 2026 - Present)
  Kanban + atproto
- **Skyreader** — https://skyreader.app/ (Jan 2026 - Present)
  RSS + atproto
- **Flint note** — https://www.flintnote.com/ (Oct 2025 - Present)
  Note taking app for knowledge management
- **sweet.js** — http://sweetjs.org (2012 - Present)
  Hygienic Macros for JavaScript
- **contracts.js** — http://www.contractsjs.org (2011 - Present)
  Behavioral contracts for JavaScript

## Publications

- Skyreader update - Reading Rooms — skyreader-dev.leaflet.pub (Sep 2026) https://skyreader-dev.leaflet.pub/3mvnm3f4src23
- Skyreader Vision — skyreader-dev.leaflet.pub (Aug 2026) https://skyreader-dev.leaflet.pub/3mufsapgbec2q
- Skyreader update - Linkblog on external publications & Improve sharing — skyreader-dev.leaflet.pub (Aug 2026) https://skyreader-dev.leaflet.pub/3mttw3tm33k23
- this is a test — disnet-test.leaflet.pub (Aug 2026) https://disnet-test.leaflet.pub/3ms7k7gg4h22p
- Introducing Radial: Agent orchestration on the Atmosphere — www.disnetdev.com (Jul 2026) https://www.disnetdev.com/blog/introducing-radial-agent-orchestration-on-the-atmosphere
- Skyreader update - Home, Magazines, and Paged view — skyreader-dev.leaflet.pub (Jul 2026) https://skyreader-dev.leaflet.pub/3mquasiypuc2p
- Skyreader update - Bookmark syncing to Semble/Margin and Standard Reader Collections support — skyreader-dev.leaflet.pub (Jun 2026) https://skyreader-dev.leaflet.pub/3moxvif7ejk2i
- Skyreader update - Highlights, Margin, and Performance — skyreader-dev.leaflet.pub (Jun 2026) https://skyreader-dev.leaflet.pub/3modqvmd4i22h
- Skyreader update - Linkblogs, standard.site, and discussions — skyreader-dev.leaflet.pub (Jun 2026) https://skyreader-dev.leaflet.pub/3mnnmkh7vxk22
- RFCs on the Atmosphere — www.disnetdev.com (May 2026) https://www.disnetdev.com/blog/rfcs-on-the-atmosphere
- An Atmospheric Website — www.disnetdev.com (Apr 2026) https://www.disnetdev.com/blog/an-atmospheric-website
- SembleIt: Semble Without the Distractions — www.disnetdev.com (Apr 2026) https://www.disnetdev.com/blog/2026-04-10-sembleit-semble-without-the-distractions
- Stuff I Enjoyed in 2025 - Publications & Writing — www.disnetdev.com (Jan 2026) https://www.disnetdev.com/blog/2026-01-27-stuff-i-enjoyed-in-2025-publications-and-writing
- Skyreader: A RSS Reader on the AT Protocol — www.disnetdev.com (Jan 2026) https://www.disnetdev.com/blog/2026-01-20-skyreader-a-rss-reader-on-the-at-protocol
- Game Semantics for Type Soundness (2015) http://disnetdev.com/papers/game-semantics-for-type-soundness.html
- Contracts for Async Patterns in JavaScript (2015) http://disnetdev.com/papers/contracts-for-async-patterns-in-javascript.html
- Sweeten Your JavaScript: Hygienic Macros for ES5 — DLS 2014 (2014) http://disnetdev.com/papers/sweeten-your-javascript.html
- Dynamic Detection of Object Capability Violations Through Model Checking — DLS 2014 (2014) http://disnetdev.com/papers/dynamic-detection-of-ocap.html
- Virtual Values for Language Extension — OOPSLA (2011) http://disnetdev.com/papers/virtual-values-for-language-extension.html
- Temporal Higher-Order Contracts — ICFP (2011) http://disnetdev.com/papers/temporal-higher-order-contracts.html
- Gradual Information Flow Typing — STOP (2011) http://disnetdev.com/papers/gradual-information-flow-typing.html

## Skills

### Technical
- CSS
- Generative AI
- Git
- HTML
- Java
- JavaScript
- Linux
- MySQL
- Programming
- Python
- Software Development
- Software Engineering
- Svelte
- Test Automation
- TypeScript
- Unit Testing
### Community
- Open Source

## Education

- **University of California Santa Cruz** — PhD, Computer Science (Sep 2009 - Sep 2015)
  Studied programming languages with an emphasis on type theory and hygienic macro systems.
- **Seattle Pacific University** — BS, Computer Science (Jan 2003 - Jan 2007)

## Links

- Mastodon: https://mastodon.social/home
- GitHub: https://github.com/disnet (verified)
- LinkedIn: https://www.linkedin.com/in/timdisney/
- Website: https://www.disnetdev.com/