supermooresie - Slashdot User

Slashdot

Stories
- Firehose
- All
- Popular
Polls
Software
Thought Leadership

Submit

Search Slashdot

Login
or
Sign up

Topics:
Devices
Build
Entertainment
Technology
Open Source
Science
YRO

Follow us:
RSS
Facebook
LinkedIn
Twitter
Youtube
Mastodon
Bluesky

Nickname:

Password:

Public Terminal

Forgot your password?

binspam dupe notthebest offtopic slownewsday stale stupid fresh funny insightful interesting maybe offtopic flamebait troll redundant overrated insightful interesting informative funny underrated descriptive typo dupe error

Subject	Datestamp		Replies			Score
Re:Formal correctness proofs -- YES!	*Monday July 17, 2000 @09:58PM					1
attached to What About Functional Languages?

supermoor...
Firehose
Comments
Friends
Achievements

Nickname:

Password:

Public Terminal

Forgot your password?

Close

supermooresie (125902)

(email not shown publicly)

supermooresie's Achievements

Days Read in a Row
Posted a Comment

supermooresie's Comments

Re:Formal correctness proofs -- YES!

Submit Story

Beware the new TTY code!

FAQ
Story Archive
Hall of Fame
Advertising
Terms
Privacy Statement
About
Feedback
Mobile View
Blog

Copyright © 2026 Slashdot Media. All Rights Reserved.

×

Close

Close

Slashdot

Working...