Active
Recent
Comments
Search
Login
Login
boxbase.org: 21 stories from 5 submitters
7
Case against OOP is understated, not overstated
programming
rant
boxbase.org
via
dhotson
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
14 comments
14
20
Plan 9 on epaper (SPI driver)
hardware
osdev
boxbase.org
via
raymii
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
6 comments
6
14
"Porting" of kapow to Plan 9
unix
boxbase.org
via
raymii
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
45
Return to Plan 9
osdev
unix
boxbase.org
via
raymii
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
13
Don't clone that GUI (how about this instead?)
practices
programming
boxbase.org
authored by
HenriTuhola
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
10 comments
10
17
How a Haskell programmer wrote a tris in Purescript
haskell
boxbase.org
authored by
HenriTuhola
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
9
Flaws in structured programming
plt
boxbase.org
authored by
HenriTuhola
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
7
Chu construction on linear logic
compsci
haskell
plt
python
boxbase.org
authored by
HenriTuhola
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
8
Modeling tower of hanoi in linear logic
compsci
formalmethods
plt
boxbase.org
authored by
HenriTuhola
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
Explaining formal proofs
formalmethods
plt
boxbase.org
authored by
HenriTuhola
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
10 comments
10
2
Study into exact real arithmetic Pt. 1&2
☶
compsci
haskell
plt
boxbase.org
authored by
HenriTuhola
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
8
Contradiction in divide by zero
compsci
plt
boxbase.org
authored by
HenriTuhola
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
5
Dialogical logic resolution algorithm with sound negation
plt
boxbase.org
authored by
HenriTuhola
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
8
Dialogical logic programming
plt
boxbase.org
authored by
HenriTuhola
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
8
Null references was a mistake, but what's the take-away?
culture
plt
programming
rant
boxbase.org
authored by
HenriTuhola
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
7
Types and Indeterminates
ml
plt
boxbase.org
authored by
HenriTuhola
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
5
Happy extra rare new year + solution to leap second problem
compsci
historical
practices
programming
boxbase.org
authored by
HenriTuhola
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
6
How should the addition -expression behave?
☶
compilers
programming
boxbase.org
authored by
HenriTuhola
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
5 comments
5
5
In Defense of Details
programming
boxbase.org
via
calvin
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
3
Application of Fortune's algorithm on triangulation
programming
python
boxbase.org
via
mabynogy
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
Optimizing Lever PNG loading
assembly
graphics
programming
boxbase.org
via
calvin
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0