--- Log opened Sun Oct 27 00:00:32 2024
00:01 -!- mxz_ [~mxz@user/mxz] has joined #hplusroadmap
00:38 < fenn> LeanAgent successfully proves 162 theorems previously unproved by humans across 23 diverse Lean repositories, many from advanced mathematics. https://arxiv.org/abs/2410.06209
00:38 < fenn> are we obsolete yet
00:47 -!- darsie [~darsie@84-112-12-36.cable.dynamic.surfer.at] has joined #hplusroadmap
01:02 <+gnusha_> https://secure.diyhpl.us/cgit/diyhpluswiki/commit/?id=26af9591 fenn: copy manifesto from twitter >> http://diyhpl.us/diyhpluswiki/index/
01:03 < fenn> kanzure: since twitter is not an archival medium i figured i'd make a page for the project
01:10 <+gnusha_> https://secure.diyhpl.us/cgit/diyhpluswiki/commit/?id=f7ddab3c fennwiki: add link to twitter thread and contact info >> 
01:11 < fenn> enjoy the crackpot phone calls i guess
01:12 < fenn> was "humanoid" intentional?
01:31 < hprmbridge> kanzure> arc of your ark. oh well!
01:31 < fenn> this is going on your permanent record
01:34 < hprmbridge> kanzure> no ok the wiki, you must have typed it wrong when copying
06:47 -!- justanotheruser [~justanoth@gateway/tor-sasl/justanotheruser] has quit [Ping timeout: 260 seconds]
08:27 -!- darsie [~darsie@84-112-12-36.cable.dynamic.surfer.at] has quit [Remote host closed the connection]
08:28 -!- darsie [~darsie@84-112-12-36.cable.dynamic.surfer.at] has joined #hplusroadmap
09:54 -!- Gooberpatrol66 [~Gooberpat@user/gooberpatrol66] has quit [Quit: Konversation terminated!]
09:55 -!- Gooberpatrol66 [~Gooberpat@user/gooberpatrol66] has joined #hplusroadmap
10:03 -!- TMM [hp@amanda.tmm.cx] has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
10:03 -!- TMM [hp@amanda.tmm.cx] has joined #hplusroadmap
10:35 -!- justanotheruser [~justanoth@gateway/tor-sasl/justanotheruser] has joined #hplusroadmap
10:38 -!- Gooberpatrol_66 [~Gooberpat@user/gooberpatrol66] has joined #hplusroadmap
10:39 -!- Gooberpatrol66 [~Gooberpat@user/gooberpatrol66] has quit [Ping timeout: 246 seconds]
15:19 -!- Guest11 [~Guest69@78-80-81-166.customers.tmcz.cz] has joined #hplusroadmap
15:20 -!- Guest11 [~Guest69@78-80-81-166.customers.tmcz.cz] has quit [Client Quit]
15:21 -!- Guest111 [~Guest111@78-80-81-166.customers.tmcz.cz] has joined #hplusroadmap
15:28 -!- Guest111 [~Guest111@78-80-81-166.customers.tmcz.cz] has quit [Quit: Client closed]
17:57 < L29Ah> https://www.sciencealert.com/scientists-revived-a-pigs-brain-nearly-a-whole-hour-after-it-died
17:58 < L29Ah> liver-in-a-box gets additional uses
18:11 -!- darsie [~darsie@84-112-12-36.cable.dynamic.surfer.at] has quit [Ping timeout: 265 seconds]
20:45 -!- Hooloovoo is now known as Hoolooboo
21:53 -!- mxz [~mxz@user/mxz] has quit [Ping timeout: 265 seconds]
21:53 -!- mxz__ [~mxz@user/mxz] has joined #hplusroadmap
21:53 -!- mxz__ is now known as mxz
21:55 -!- mxz_ [~mxz@user/mxz] has quit [Ping timeout: 272 seconds]
--- Log closed Mon Oct 28 00:00:33 2024