tranny demon hacker on Nostr: and that is, the task of building little tools for interactive teaching of ideas in ...
and that is, the task of building little tools for interactive teaching of ideas in computer science, particularly ones related to proof theory, type theory, formal grammars, etc.
and rather than just jumping to my own specific problems, i wanted to instead look at prior art
Published at
2024-11-01 19:52:11Event JSON
{
"id": "58d780edef2bbfcb5dd8eaa029ab1481422b813333db22fb610649a7187eefff",
"pubkey": "6e5b64a93f9c17d6528911485e399c8be0361c502e3c736e8118f8e00d950d0c",
"created_at": 1730490731,
"kind": 1,
"tags": [
[
"e",
"9538a7840beff37e736c1304e82262544ca9c058d2aa22e31a8530a3f6361f5d",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/113409440603374038",
"activitypub"
]
],
"content": "and that is, the task of building little tools for interactive teaching of ideas in computer science, particularly ones related to proof theory, type theory, formal grammars, etc.\n\nand rather than just jumping to my own specific problems, i wanted to instead look at prior art",
"sig": "6da673e2d19cc44567494658d3d498cf189814b5e64c037aa397f9315a9ef66a36d9386a9a19c267787886fc428e1b3d5d9f15c788940b84ad17cb318c8cad06"
}
