Y
Hacker News
new
|
ask
|
show
|
jobs
by
yuppiemephisto
947 days ago
Can do it in pure ZF:
https://www.youtube.com/watch?v=YE68yptMMeQ
https://u.cs.biu.ac.il/~katzmik/spot.html