abrax3141

12 ms·

1.
Waits: Arthur Samuel's Checkers(timereshared.com)
9 points by abrax3141 1mo ago|1 comments
2.
Show HN: Hacker's Guides(github.com)
2 points by abrax3141 3mo ago|0 comments
3.
Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover(github.com)
26 points by abrax3141 4mo ago|1 comments
4.
by abrax3141 4mo ago
Earlier this week, having come across my ArXiv paper about reanimating the Logic Theorist, David Moews ( https://djm.cc/dmoews.html ) wrote me about an amazing piece of work he's done: He built an interpreter for the ori
5.
Parry Parries Again: Reanimating the Famous Paranoid Chatbot (In a Day)(sites.google.com)
11 points by abrax3141 5mo ago|1 comments
6.
by abrax3141 5mo ago
Lars Brinkhoff brought up PARRY, Kenneth Colby's 1972 paranoid chatbot, and Rupert Lane, who recently reanimated the original ELIZA, was able to (sort of) reproduce the famous RFC439 trans-internet conversation between ELIZA and PARRY
7.
Eliza a Play by Tom Holloway(mtc.com.au)
23 points by abrax3141 5mo ago|14 comments
8.
by abrax3141 5mo ago
"Inspired by true events, this world premiere by award-winning playwright Tom Holloway is a gripping psychological thriller about the birth of AI, and the ethical consequences of outsourcing our humanity."
9.
Executable Archaeology(arxiv.org)
2 points by abrax3141 6mo ago|0 comments
10.
by abrax3141 6mo ago
The header URL got trashed use: https://github.com/jeffshrager/IPL-V/
11.
by abrax3141 6mo ago
BTW, squashed the bug, and now it's producing complete and correct results! https://github.com/jeffshrager/IPL-V/blob/master/major_resul... (Well, there's a minor printout issue, but the proofs
12.
Logic Theorist Reanimated in IPL-V(github.com)
5 points by abrax3141 6mo ago|3 comments
13.
by abrax3141 6mo ago
I have successfully reanimated Simon, Newell, and Shaw’s Logic Theorist, the world's first AI[note], on an IPL-V emulator written in Lisp! This dribble shows it proving 11 complete theorems from the original Principia (or, at least fro
14.
Reconstructing OPL: Joseph Weizenbaum's Online Programming Language(timereshared.com)
2 points by abrax3141 7mo ago|0 comments
15.
Workshop Annoucement: Retro AI: Archeologies of Artificial Intelligence(docs.google.com)
1 points by abrax3141 9mo ago|1 comments
16.
by abrax3141 9mo ago
Retro AI: Archeologies of Artificial Intelligence In-Person at USC: July 31, August 1 Deadline: Jan. 8.
17.
Ask HN: GAN'ing Coding GPTs
2 points by abrax3141 1y ago|0 comments
18.
Patient Lisp Hacker Seeks Same for Long Walks Through IPL-V Code
7 points by abrax3141 1y ago|2 comments
19.
Irony and PathOS(github.com)
2 points by abrax3141 1y ago|2 comments
20.
by abrax3141 1y ago
To "pre-teach" my son CS, I created a (highly) simplified code-to-bytecode-to-machine stack for a language called "irony", and (extremely simple) OS, called "pathos". (Hacker ethos: Hundreds of lines of code ju
21.
by abrax3141 1y ago
Holy S! How did I not know about this?! (I curate ElizaGen.org … where this is immediately going! DM me if you want cred by your rn on the elizagen news post; my rn and landline deets are in my hn about.)
22.
by abrax3141 1y ago
Clarification: These papers are different enough that I don’t feel like I double dipped by posting both in HN, also the new pub is ... well, new. (Also, thank you for reminding me that I need to update the arXiv entry since it’s not been pu
23.
ELIZA Reanimated: Restoring the Mother of All Chatbots(computer.org)
106 points by abrax3141 1y ago|30 comments
24.
by abrax3141 1y ago
SHRDLU was written in Lisp, albeit a pre-CL list. So it was quite easy to bring up by writing macros that make CL work like older Lisps. We did the same thing with Bernie Cosell's ELIZA: https://sites.google.com/view
25.
Reanimation of the original Logic Theorist, the first AI, in IPL-V [video](youtube.com)
34 points by abrax3141 1y ago|6 comments
26.
by abrax3141 2y ago
Excellent point. We have many decently large programs. In fact, we have pretty much the jackpot. Ed Feigenbaum famously wrote EPAM, one of the first simulators of human memory. Not only is the program extensively documented in numerous publ
27.
by abrax3141 2y ago
BTW, Re: #2: There was a proposal for a Lisp-Like IPL that used s-expressions as list representations (actually, they call it "linear"): https://apps.dtic.mil/sti/tr/pdf/AD0611841.pdf
28.
by abrax3141 2y ago
Re: Why do you need the old code if you implement your own interpreter anyway? Several reasons. First, we don't need it, we want it -- it's a nice-to-have not a need-to-have. It's nice to have for many reasons, none of them h
29.
by abrax3141 2y ago
Two good questions; Two different answers. First, re "ironically": Short answer: Lisp and IPL were competitors for the list&symbol-processing community of early AI. IPL invented a lot of what Lisp implemented in nicer syntax -
30.
by abrax3141 2y ago
Yow! This is amazing! We'll check it out asap! If this sentence was a question would I have to use a question mark instead of an exclamation point?

More ›