Add
support
to
the
Limbo
compiler
to
run
SPIN
at
compile-time.
This
idea
comes
from
the
last
point
in
an
interview
that
Gerard
Holzmann
did
for
FTP
online
magazine
in
2003.
Port
the
Tor
anonymizing
overlay
network
to
/net.
Doing
away
with
the
concept
of
talking
to
a
SOCKS
proxy
would
be
the
first
step.
(from
pip)
Extend
the
emulator
or
native
kernel
to
make
process
creation
possible
through
the
name
space
(via
prog(3))
(from
pip)
Likewise,
implement
a
load
balancer
that
works
through
the
name
space,
and
manages
the
process
creation
interface
of
multiple
hosts,
add/delete
hosts,
etc
using
this
process
creation
feature
(from
pip)
Add
suport
for
Zeroconf
Networking
(aka
Rendezvous)
to
native
inferno
and/or
the
emulator.
This
entails
integrating
Apple's
open
source
mDNSresponder
code
into
the
inferno
source
tree,
ideally
in
a
way
that
new
releases
of
mDNSresponder
can
easily
be
plugged
in,
and
also
so
that
the
changes
can
be
submitted
back
to
Apple.
The
primary
challenge
for
the
emulator
is
that
the
emulator
does
not
directly
support
IP
multicast,
which
is
needed,
so
you
have
to
use
the
host
multicast
hooks.
Re-implement
plumber
as
a
real
filesystem.
Translate
the
Plan
9
code
to
Inferno
Write
a
debug
client
for
Acme
to
replace
wm/deb
(i've
got
most
of
this
working
-caerwyn)
A
venti
client
to
archive
kfs
and
a
vkfs
to
serve
the
archive
Port
to
windows
mobile
implement
closures
in
limbo
compiler
and
dis
vm
implement
tail
recursion
(Alef's
become
keyword)
in
limbo
and
dis
vm
APPLICATION IDEAS
Some
form
of
ssh
might
be
useful.
Or
maybe
not,
I
dunno.
Port
the
SPIN
model
checker
to
Limbo.
c2l
could
possibly
help.
a
PGP
implementation
an
S/MIME
implementation
a
Blogger
client
for
Acme.
This
would
work
much
like
Mail
using
the
Atom
api
to
get
the
recent
posts
for
a
blog
and
edit
or
post
new
blog
entries.
SERVICES
Folksonomy
with
a
web
and
Acme
interface
for
tagging
URLs
and
possibly
Styx
served
files
A
public
certificate
authority
so
the
community
can
more
easily
host
and
share
resources