close
Skip to main content
BERJAYASifa ID
Tim Disney

Tim Disney

@disnetdev.com

Independent software developer

Seattle, Washington, United States🇺🇸
Open to:Full-time rolesContract rolesCollaborations
Preferred workplace:Remote (worldwide)
Subscribe to their writingReport

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.

Activity

Active on:dev.radl.v2.askMsgdev.radl.v2.goalOpdev.radl.v2.ask

Loading activity...

View full activity

Track Record

This section is a placeholder — track record features are coming soon.

Endorsements

Skills endorsed by other professionals on Sifa.

Verified Accounts

Cryptographically verified platform accounts via Keytrace.

Reactions Received

Reactions on your posts across Atmosphere apps.

Community Presence

Activity and contributions in Barazo communities.

Career: 13

Director of Engineering

F5

Oct 2022 - Jun 2025

Lead a team of engineers building systems to prevent malicious automation against web sites.

Senior Software Engineering Manager

F5 Networks

Jan 2020 - Oct 2022

Lead a team of engineers building systems to prevent malicious automation against web sites.

Principal Software Engineer

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

University of California, Santa Cruz

Sep 2009 - Sep 2015

Research Intern

Mozilla

Jun 2013 - Sep 2013

Research Intern

Mozilla Corporation

Jun 2012 - Sep 2012

Research Intern

Mozilla Corporation

Jun 2011 - Sep 2011

Software Engineer II

Blue Nile

Feb 2009 - Aug 2009

Junior Software Engineer

Blue Nile

Jun 2007 - Feb 2009

Search Marketing Intern

POP

Mar 2007 - Jun 2007

Senior Miscrosystems Analyst Assistant

Seattle Pacific University - Computer & Information Services

Oct 2003 - Apr 2007

Special Event Media Consultant

Seattle Pacific University - Computer & Information Services

Mar 2003 - Apr 2007

Research Experience for Undergrads Student

DePaul University

Jun 2006 - Aug 2006

Education: 2

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

Projects: 6

SembleIt

sembleit.dev/

Mar 2026

An alternative Semble client built for speed

Skyboard

skyboard.dev/

Feb 2026

Kanban + atproto

Skyreader

skyreader.app/

Jan 2026

RSS + atproto

Flint note

flintnote.com/

Oct 2025

Note taking app for knowledge management

sweet.js

sweetjs.org

2012

Hygienic Macros for JavaScript

contracts.js

contractsjs.org

2011

Behavioral contracts for JavaScript

Publications: 64

disnetdev52 articles
View publication
BERJAYA

RFCs on the Atmosphere

www.disnetdev.com

May 2026
BERJAYA

An Atmospheric Website

www.disnetdev.com

Apr 2026
BERJAYA

Stuff I Enjoyed in 2025 - Books

www.disnetdev.com

Jan 2026
BERJAYA

New Year, New Flint

www.disnetdev.com

Jan 2026
BERJAYA

How Flint Helps You Externalize

www.disnetdev.com

Nov 2025

Introducing Flint

www.disnetdev.com

Oct 2025

GPT-5 Thoughts

www.disnetdev.com

Aug 2025

MCP is neat

www.disnetdev.com

Jun 2025

New Things

www.disnetdev.com

Jun 2025

Zed Edit Prediction Feature

www.disnetdev.com

Feb 2025

Decentralized Systems Aren't

www.disnetdev.com

Jan 2025

Never Forgive Them

www.disnetdev.com

Jan 2025

Some Games I Enjoyed In 2024

www.disnetdev.com

Jan 2025

Don't Get Burned

www.disnetdev.com

Dec 2024

Some of the Apps I used in 2024

www.disnetdev.com

Dec 2024

AI Scaling Myths

www.disnetdev.com

Dec 2024

Some of the Apps I used in 2023

www.disnetdev.com

Dec 2023

Announcing ParserLang

www.disnetdev.com

Jun 2019

Sweetening syntactic abstractions

www.disnetdev.com

Apr 2017

Announcing Sweet.js 1.0

www.disnetdev.com

Mar 2016

Hygiene in sweetjs

www.disnetdev.com

Sep 2013

How to read macros

www.disnetdev.com

Dec 2012

Hygienic Macros for JavaScript

www.disnetdev.com

Oct 2012

Link Roundup

www.disnetdev.com

May 2012

Link Roundup

www.disnetdev.com

Apr 2012

contracts.coffee now runs in Chrome!

www.disnetdev.com

Apr 2012

Updates to contracts.coffee

www.disnetdev.com

Apr 2012

Weekly Link Roundup

www.disnetdev.com

Apr 2012

Link Roundup

www.disnetdev.com

Mar 2012

Link roundup

www.disnetdev.com

Mar 2012

Occupying Language Design at POPL

www.disnetdev.com

Feb 2012

Updates to contracts.coffee

www.disnetdev.com

Jan 2012

Performance of contracts.coffee

www.disnetdev.com

Sep 2011

Contracts.coffee Works In Node.js!

www.disnetdev.com

Sep 2011
Skyreader Dev Log3 articles
Subscribe on Leaflet

Turns Out People Still Like RSS

skyreader-dev.leaflet.pub

Jan 2026
Publication2 articles

How to control Claude with a kanban board

Feb 2026

Announcing Skyboard - A collaborative kanban board on the AT Protocol

Feb 2026

Other publications

Skills: 17

Technical

CSSGenerative AIGitHTMLJavaJavaScriptLinuxMySQL
ProgrammingPythonSoftware DevelopmentSoftware EngineeringSvelteTest AutomationTypeScriptUnit Testing

Community

Open Source