kbradero

Karma: 110
Created: 16 years ago

Recent Submissions

1. ▲ Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com) 18 points · 1 month ago · 2 comments
2. ▲ Show HN: Turn SSH X11 Forward to WebSocket – remote apps flow to you workstation 3 points · 1 month ago · 1 comment
3. ▲ Don Knuth letter about libraries increasingly unable to afford prices (2003) [pdf] (cs.stanford.edu) 190 points · 2 years ago · 100 comments

All submissions on HN · View profile on HN