Logs: freenode/#haskell
| 2021-05-15 12:00:24 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 268 seconds) |
| 2021-05-15 12:04:30 | <pjb> | kuribas: do you know the definition of life? |
| 2021-05-15 12:04:54 | <kuribas> | pjb: no |
| 2021-05-15 12:05:15 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-05-15 12:06:50 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-15 12:07:29 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-05-15 12:09:16 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-15 12:09:41 | <pjb> | kuribas: for an entity to be alive, it must be able to grow, to reproduce, to have a functional activity, and to change, before dying. |
| 2021-05-15 12:09:56 | <pjb> | kuribas: have you seen software grow (by themselves), and to reproduce (by themselves)? |
| 2021-05-15 12:10:21 | <pjb> | kuribas: did liskell multiply github repositories with its children? |
| 2021-05-15 12:10:36 | <kuribas> | pjb: perhaps? :-P |
| 2021-05-15 12:10:39 | <pjb> | kuribas: did it include an Ada backend? |
| 2021-05-15 12:10:44 | <pjb> | all by itself? |
| 2021-05-15 12:10:59 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-15 12:11:05 | <kuribas> | pjb: I didn't, which is why it's dead :) |
| 2021-05-15 12:11:17 | → | henninb joins (~henninb@63-226-190-31.mpls.qwest.net) |
| 2021-05-15 12:11:28 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-15 12:11:30 | <pjb> | Instead of asking silly questions, fetch it and try it1 |
| 2021-05-15 12:11:32 | <pjb> | ! |
| 2021-05-15 12:12:04 | <kuribas> | pjb: I'll put it on my long list of interesting things to try... |
| 2021-05-15 12:15:18 | <[exa]> | pjb: software "life" is defined by people who are able to classify whether it's dead or not |
| 2021-05-15 12:15:30 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-15 12:16:44 | <[exa]> | (which is not far from the current practical biological definition tbh) |
| 2021-05-15 12:16:51 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-15 12:18:16 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-15 12:18:43 | <pjb> | [exa]: software cannot be dead: you can always get the sources, compile and run it, even 1000 years later, and even if some dependencies don't exist anymore, by emulating or reimplementing the dependencies. |
| 2021-05-15 12:19:10 | <pjb> | It is very far from the biological definition of life an dead, because of the autonomy of life. |
| 2021-05-15 12:22:48 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-15 12:23:32 | <[exa]> | pjb: I therefore challenge you to get the original version of this software https://en.wikipedia.org/wiki/IBM_7090/94_IBSYS running |
| 2021-05-15 12:23:41 | <[exa]> | (please compare with reanimating corpses) |
| 2021-05-15 12:25:47 | <sshine> | That is not dead which can eternal lie. And with strange aeons even death may die. |
| 2021-05-15 12:26:06 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-15 12:26:12 | <sshine> | I think Lovecraft was talking about version control. |
| 2021-05-15 12:26:25 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-15 12:26:27 | <[exa]> | :] |
| 2021-05-15 12:26:55 | <[exa]> | well technically, archving source code consumes energy and effort |
| 2021-05-15 12:27:10 | <[exa]> | (just saying') |
| 2021-05-15 12:28:09 | <sshine> | I'd need to read up on the metaphysics of git to respond to that. :-P |
| 2021-05-15 12:30:58 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-15 12:32:16 | × | dsrt^ quits (~hph@ip98-184-89-2.mc.at.cox.net) () |
| 2021-05-15 12:32:19 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-15 12:33:13 | <pjb> | [exa]: Sure. You get the tape from https://sky-visions.com/ibm/ibsys_tapes.shtml and you get simh to emulate the 7090. |
| 2021-05-15 12:33:38 | <pjb> | [exa]: We have the LISP 1.5 tapes, and we run them routinly on simh s7090. |
| 2021-05-15 12:34:13 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 240 seconds) |
| 2021-05-15 12:35:00 | → | nrl^ joins (~hph@ip98-184-89-2.mc.at.cox.net) |
| 2021-05-15 12:35:19 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-15 12:35:25 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-15 12:35:46 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-15 12:35:48 | <pjb> | [exa]: have a look at http://web.sonoma.edu/users/l/luvisi/lisp/lisp15.tar.gz it contains a README explaining how to do it in details. |
| 2021-05-15 12:35:53 | <[exa]> | OK I underestimated the endurance of IBM stuff |
| 2021-05-15 12:35:57 | <pjb> | [exa]: just get the IBSYS tapes. |
| 2021-05-15 12:36:33 | <pjb> | [exa]: any and all old systems are getting emulated and keeps running on current hardware. |
| 2021-05-15 12:39:16 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-15 12:45:02 | → | drbean_ joins (~drbean@210.63.209.175) |
| 2021-05-15 12:45:13 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 2021-05-15 12:46:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-15 12:46:20 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 2021-05-15 12:47:40 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-05-15 12:47:52 | × | rdd quits (~user@c-407ce255.012-81-73746f39.cust.ownit.se) (Ping timeout: 240 seconds) |
| 2021-05-15 12:49:09 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 245 seconds) |
| 2021-05-15 12:49:09 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-05-15 12:49:35 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-15 12:51:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-15 12:52:23 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-15 12:52:49 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-15 12:54:02 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-15 12:54:03 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 268 seconds) |
| 2021-05-15 12:54:21 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-05-15 12:55:19 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-15 13:00:29 | → | conal joins (~conal@64.71.133.70) |
| 2021-05-15 13:00:56 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-dollewrwtlzsdbco) (Quit: Connection closed for inactivity) |
| 2021-05-15 13:01:10 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT) |
| 2021-05-15 13:01:54 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-15 13:02:27 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-05-15 13:04:28 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-05-15 13:04:38 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-15 13:07:37 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-05-15 13:07:53 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 2021-05-15 13:12:17 | × | henninb quits (~henninb@63-226-190-31.mpls.qwest.net) (Quit: leaving) |
| 2021-05-15 13:17:41 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 2021-05-15 13:18:41 | → | guest5 joins (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 2021-05-15 13:19:02 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-05-15 13:19:12 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-15 13:20:43 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-15 13:21:30 | <guest5> | hi, I had some help yesterday writing this function - https://paste.tomsmeding.com/anKJ0UYp - but as you can see the output is formatted badly, I've tried using printf but haven't had any luck. Any help would be appreciated :) |
| 2021-05-15 13:22:11 | <guest5> | (the first 3 data points in each line are output in a different function that also calls the one added ^) |
| 2021-05-15 13:25:30 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-15 13:30:27 | × | tlyu quits (~tlyu@138.199.47.158) (Remote host closed the connection) |
| 2021-05-15 13:31:44 | → | cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-15 13:32:26 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-05-15 13:34:46 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-15 13:35:35 | × | cdsmith quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Client Quit) |
| 2021-05-15 13:35:49 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds) |
| 2021-05-15 13:35:57 | → | cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) |
| 2021-05-15 13:40:01 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-05-15 13:41:05 | → | Shuppiluliuma joins (~shuppilul@153.33.68.161) |
| 2021-05-15 13:41:09 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-05-15 13:41:11 | × | Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-05-15 13:41:31 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-05-15 13:42:30 | → | danso joins (~dan@modemcable156.91-20-96.mc.videotron.ca) |
All times are in UTC.