Logs: freenode/#haskell
| 2021-03-25 03:04:41 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-03-25 03:05:19 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-25 03:05:46 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-03-25 03:06:43 | → | juri__ joins (~juri@79.140.115.251) |
| 2021-03-25 03:09:54 | × | juri_ quits (~juri@79.140.115.52) (Ping timeout: 256 seconds) |
| 2021-03-25 03:10:37 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-25 03:12:55 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-25 03:14:52 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-03-25 03:15:44 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-25 03:16:09 | × | azure4 quits (~azure@103.154.230.130) (Ping timeout: 264 seconds) |
| 2021-03-25 03:17:02 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 2021-03-25 03:17:08 | × | azure1 quits (~azure@103.154.230.130) (Ping timeout: 245 seconds) |
| 2021-03-25 03:17:56 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-25 03:18:08 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-25 03:19:08 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-25 03:19:13 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-dafwgwmpokgbtbau) (Quit: Connection closed for inactivity) |
| 2021-03-25 03:22:33 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 2021-03-25 03:23:37 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 2021-03-25 03:29:05 | × | alx741 quits (~alx741@186.178.108.68) (Quit: alx741) |
| 2021-03-25 03:30:34 | → | forgottenone joins (~forgotten@176.42.23.95) |
| 2021-03-25 03:30:58 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer) |
| 2021-03-25 03:32:44 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-03-25 03:38:42 | × | carlomagno quits (~cararell@148.87.23.9) (Quit: Leaving.) |
| 2021-03-25 03:44:21 | × | theDon quits (~td@94.134.91.247) (Ping timeout: 264 seconds) |
| 2021-03-25 03:45:51 | → | theDon joins (~td@94.134.91.163) |
| 2021-03-25 03:48:25 | → | ddellacosta joins (~ddellacos@86.106.143.24) |
| 2021-03-25 03:51:31 | <bbhoss> | any idea what's going on here? https://www.irccloud.com/pastebin/SlJI2k6B/ |
| 2021-03-25 03:51:32 | × | codygman__ quits (~user@47.186.207.161) (Read error: Connection reset by peer) |
| 2021-03-25 03:51:41 | → | codygman__ joins (~user@47.186.207.161) |
| 2021-03-25 03:51:47 | → | fffff joins (77120018@119-18-0-24.771200.syd.nbn.aussiebb.net) |
| 2021-03-25 03:52:27 | <Axman6> | probably a stack overflow |
| 2021-03-25 03:52:40 | <Axman6> | hmm, no that should actually run in constant space |
| 2021-03-25 03:52:57 | <Axman6> | did you hit ctrl-C? |
| 2021-03-25 03:53:07 | × | ddellacosta quits (~ddellacos@86.106.143.24) (Ping timeout: 268 seconds) |
| 2021-03-25 03:53:07 | <bbhoss> | nope |
| 2021-03-25 03:53:35 | × | fffff quits (77120018@119-18-0-24.771200.syd.nbn.aussiebb.net) (Client Quit) |
| 2021-03-25 03:54:06 | → | mice-user joins (77120018@119-18-0-24.771200.syd.nbn.aussiebb.net) |
| 2021-03-25 03:54:06 | <Axman6> | is the Data.Int import relevant? |
| 2021-03-25 03:54:22 | <Axman6> | doesn't appear to be. I assume this was running for a while before that happened? |
| 2021-03-25 03:54:23 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-25 03:54:41 | <bbhoss> | ran for a few seconds. I meant to pass 1::Int64 in |
| 2021-03-25 03:54:43 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-25 03:54:48 | <bbhoss> | doesn't seem to make a difference though |
| 2021-03-25 03:55:23 | <Axman6> | actually, I have a feeling the first line of that definition, example 0, isn't part of the definition of example, so nothing is getting forced |
| 2021-03-25 03:55:55 | → | ryxai joins (~textual@pool-71-183-41-241.nycmny.fios.verizon.net) |
| 2021-03-25 03:55:56 | <Axman6> | I assume that example 0 doesn't actually return "boom" |
| 2021-03-25 03:56:08 | <bbhoss> | nah it never gets that far, I was hoping it would overflow and hit that |
| 2021-03-25 03:56:48 | <Axman6> | it will never get to that because the second line, example a = example (a+1) replaces example 0's definition |
| 2021-03-25 03:57:15 | <Axman6> | ghci isn't the same as a haskell file, if you want multi-line definnitions, you need to use :{ then enter the lines, then :} to finish |
| 2021-03-25 03:57:30 | <Axman6> | or write example 0 = "boom"; example a = example (a+1) |
| 2021-03-25 03:58:06 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-25 03:58:06 | finn_elija | is now known as Guest82343 |
| 2021-03-25 03:58:06 | FinnElija | is now known as finn_elija |
| 2021-03-25 03:58:22 | × | elusive quits (~Jeanne-Ka@static-198-54-134-109.cust.tzulo.com) (Quit: Leaving) |
| 2021-03-25 03:59:09 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-25 03:59:49 | <bbhoss> | good to know |
| 2021-03-25 04:00:45 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-03-25 04:00:46 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-25 04:00:54 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-25 04:00:56 | <Axman6> | it's important to understand why just definint example a = example (a+1) just allocates memory indefinitely |
| 2021-03-25 04:01:19 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-25 04:01:24 | <Axman6> | you're just building up a thunk of ...+1+1+1+1+1+1+1+1+1+1+1+11...+ |
| 2021-03-25 04:01:54 | × | Guest82343 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-25 04:03:48 | × | DataComputist quits (~lumeng@50.43.26.251) (Ping timeout: 245 seconds) |
| 2021-03-25 04:04:06 | <Axman6> | when you have the definition example 0 = "boom"; example a = example (a+1), every recursive call to example must check if a is 0, which means you force the evaluation, so you get example 1 => example (1+1) -> example a = case a of 0 -> "boom; _ -> example (2+1) => ... |
| 2021-03-25 04:04:08 | → | Matthias1 joins (~matthias@li890-22.members.linode.com) |
| 2021-03-25 04:04:17 | <Axman6> | should've been consistent with my arrows... |
| 2021-03-25 04:04:25 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Remote host closed the connection) |
| 2021-03-25 04:04:39 | <bbhoss> | latest attempt: https://replit.com/@bbhoss/SarcasticQuickPattern#main.hs |
| 2021-03-25 04:04:59 | <bbhoss> | so I just compiled this with ghc and it's running now. spinning at 100% of a cpu but using no memory |
| 2021-03-25 04:05:23 | × | azure1 quits (~azure@103.154.230.130) (Ping timeout: 256 seconds) |
| 2021-03-25 04:05:30 | <Axman6> | I would wager you might die before it prints anything |
| 2021-03-25 04:05:34 | <bbhoss> | haha |
| 2021-03-25 04:05:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-25 04:06:04 | <Axman6> | but if you make it Int16 then it shouldn't take very long, and if you use Int32 you might expect it to run in a few tens of minutes or hours |
| 2021-03-25 04:06:39 | <bbhoss> | yeah I'm reading an article about overflows and it said it takes longer to break by just adding vs exponentiation, so I figured I'd see how much longer |
| 2021-03-25 04:07:51 | → | azure1 joins (~azure@103.154.230.130) |
| 2021-03-25 04:09:09 | <bbhoss> | successfully boomed it by changing it to a * 2 |
| 2021-03-25 04:10:09 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-03-25 04:10:22 | <ski> | repeatedly doubling grows much faster than repeated increment/successor |
| 2021-03-25 04:10:36 | <bbhoss> | indeed |
| 2021-03-25 04:11:04 | <Axman6> | I used to run dumb prograqmas like this to kill my battery faster when I wanted to run it down for recalibration. good times |
| 2021-03-25 04:11:41 | → | plutoniix joins (~q@ppp-124-121-237-222.revip2.asianet.co.th) |
| 2021-03-25 04:12:05 | × | plutoniix quits (~q@ppp-124-121-237-222.revip2.asianet.co.th) (Read error: Connection reset by peer) |
| 2021-03-25 04:15:13 | <bbhoss> | it's the core algorithm for my new crypto currency |
| 2021-03-25 04:15:45 | <Axman6> | proof od work, you must prove that you computed 0, very difficult problem |
| 2021-03-25 04:19:04 | × | brandly quits (~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2021-03-25 04:20:46 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-25 04:20:49 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-25 04:22:49 | <monochrom> | "proof of work" sounds like using blockchains to reduce student cheating in online exams... |
| 2021-03-25 04:22:53 | → | jamm__ joins (~jamm@unaffiliated/jamm) |
| 2021-03-25 04:24:17 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds) |
| 2021-03-25 04:25:45 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 264 seconds) |
| 2021-03-25 04:25:48 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 268 seconds) |
| 2021-03-25 04:27:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-03-25 04:27:39 | × | jamm__ quits (~jamm@unaffiliated/jamm) (Ping timeout: 268 seconds) |
| 2021-03-25 04:30:26 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-03-25 04:39:22 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 268 seconds) |
| 2021-03-25 04:40:02 | → | yohan joins (97f7b355@151.247.179.85) |
| 2021-03-25 04:40:21 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
All times are in UTC.