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"
}
