Hacker News
- "BitC isn't going to work in its current form" http://www.coyotos.org/pipermail/bitc-dev/2012-March/003300.html 81 comments
- The Coyotos Secure Operating System http://www.coyotos.org/ 3 comments
- [bitc-dev] What is a "Systems Programming Language" http://www.coyotos.org/pipermail/bitc-dev/2013-july/003740.html 15 comments rust
- [bitc-dev] Rust, GC, and language politics http://www.coyotos.org/pipermail/bitc-dev/2013-july/003737.html 21 comments rust
- BitC isn't going to work in its current form http://www.coyotos.org/pipermail/bitc-dev/2012-march/003300.html 74 comments programming
- Retrospective thoughts on BitC by its author, and why type classes didn't work for him http://www.coyotos.org/pipermail/bitc-dev/2012-march/003300.html 22 comments haskell
- Retrospective thoughts on BitC by its author http://www.coyotos.org/pipermail/bitc-dev/2012-march/003300.html 4 comments coding
- BitC is back! http://www.coyotos.org/pipermail/bitc-dev/2010-march/001809.html 11 comments programming
- BitC project wraps up http://www.coyotos.org/pipermail/bitc-dev/2009-april/001784.html 50 comments programming
- Debunking Linus's Latest http://www.coyotos.org/docs/misc/linus-rebuttal.html 17 comments programming
Lambda the Ultimate
- Retrospective Thoughts on BitC http://www.coyotos.org/pipermail/bitc-dev/2012-March/003300.html 44 comments LtU Forum
- BitC is back http://www.coyotos.org/pipermail/bitc-dev/2010-March/001809.html 8 comments LtU Forum
- Jonathon Shapiro Wraps Up BitC http://www.coyotos.org/pipermail/bitc-dev/2009-April/001784.html 8 comments General
- BitC, a new OS implementation language http://www.coyotos.org/docs/bitc-spec/bitc-spec.html 31 comments LtU Forum