HN Explorer

kbradero

↗ HN profile [ 74.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com)

    Google Zanzibar datalog lang lets you describe concepts and express how they are related. I generalize it to DSL you can use on Lean4 (and other languages) this lets you represent a knowledge base you can construct,…

    18 points 2
  2. Show HN: Turn SSH X11 Forward to WebSocket – remote apps flow to you workstation

    https://github.com/jagg-ix/weaverssh

    3 points 1
  3. Don Knuth letter about libraries increasingly unable to afford prices (2003) [pdf] (cs.stanford.edu)
    190 points 100