The ultimate yak shave: to implement its last generation of #LispMachines, Symbolics ...

2023-07-18 17:16:01

The ultimate yak shave: to implement its last generation of #LispMachines, Symbolics developed a complete #EDA toolset in #CommonLisp called NS that enabled them to design and verify their ASICs, gate arrays, and boards from architecture to photomasks for manufacturing.

Thanks to npub1x0g4kmver43ydq5wv8suva2yzy6svjg5glly9gen9l3pf63xnmeq6swd39 (npub1x0g…wd39) for scanning the article "The #Symbolics #Ivory Design and #Verification Strategy" that was unavailable on the net until now.

#Lisp #CAD #VLSI #History #ComputingHistory #Semiconductors #Technology

Author Public Key

npub1kz0muz0cehys8wwxauh99yw8szwtetvd6axawesgenu64y743q0qtjvaa5

Seen on

wss://relay.nostr.band

Show more details

Published at

2023-07-18 17:16:01

Kind type

1 Short Text Note

Event JSON

{ "id": "06b0faf46483940cf7ba48f0d17615491290575265513202046af3b49ce96822", "pubkey": "b09fbe09f8cdc903b9c6ef2e5291c7809cbcad8dd74dd76608ccf9aa93d5881e", "created_at": 1689700561, "kind": 1, "tags": [ [ "p", "33d15b6d991d6246828e61e1c67544113506491447fe42a3332fe214ea269ef2", "wss://relay.mostr.pub" ], [ "p", "097278271b0409a28a93208a1430ede288340406fff419a0a00035506ec73db6", "wss://relay.mostr.pub" ], [ "t", "lispmachines" ], [ "t", "eda" ], [ "t", "commonlisp" ], [ "t", "symbolics" ], [ "t", "ivory" ], [ "t", "verification" ], [ "t", "lisp" ], [ "t", "cad" ], [ "t", "vlsi" ], [ "t", "history" ], [ "t", "computinghistory" ], [ "t", "semiconductors" ], [ "t", "technology" ], [ "proxy", "https://mastodon.ie/users/surabax/statuses/110736215968353775", "activitypub" ] ], "content": "The ultimate yak shave: to implement its last generation of #LispMachines, Symbolics developed a complete #EDA toolset in #CommonLisp called NS that enabled them to design and verify their ASICs, gate arrays, and boards from architecture to photomasks for manufacturing.\n\nThanks to nostr:npub1x0g4kmver43ydq5wv8suva2yzy6svjg5glly9gen9l3pf63xnmeq6swd39 for scanning the article \"The #Symbolics #Ivory Design and #Verification Strategy\" that was unavailable on the net until now.\n\n#Lisp #CAD #VLSI #History #ComputingHistory #Semiconductors #Technology\n\nhttps://cdn.masto.host/mastodonie/media_attachments/files/110/736/184/996/940/543/original/6b6954d2f689f0c4.png\n\nhttps://cdn.masto.host/mastodonie/media_attachments/files/110/736/189/772/653/245/original/dcec178b67edd5eb.png\n\nhttps://cdn.masto.host/mastodonie/media_attachments/files/110/736/190/912/953/653/original/e4881979569913b2.png", "sig": "b3c2b6c0ef43e68d7b2fbab8145c7b26bd164925a02ab43760d606faf7de295e26917476eb3f87b2184bab6f427a59657e85ba4b47b89e8d12107c0dc4f20b15" }

Yaroslav Khnygin on Nostr: The ultimate yak shave: to implement its last generation of #LispMachines, Symbolics ...