Logs: liberachat/#haskell
| 2021-08-12 00:06:27 | <monochrom> | Ah that gives me ideas. |
| 2021-08-12 00:07:26 | <monochrom> | Do graffiti in lemon juice. Then when someone tries to arson the wall, we get a "the writing is on the wall" effect. |
| 2021-08-12 00:07:58 | <DigitalKiwi> | =D |
| 2021-08-12 00:08:04 | <DigitalKiwi> | r u psychotic too lol |
| 2021-08-12 00:08:53 | × | worp quits (~worp@221.124.9.182) (Quit: Client closed) |
| 2021-08-12 00:09:48 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-12 00:11:56 | <monochrom> | I'm just sleep-deprived. |
| 2021-08-12 00:13:03 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-08-12 00:14:46 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-08-12 00:17:53 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 258 seconds) |
| 2021-08-12 00:19:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-08-12 00:19:45 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 2021-08-12 00:21:35 | <DigitalKiwi> | anyway sorry for being offtopic lol |
| 2021-08-12 00:23:14 | → | adam1 joins (~adam@2001-b011-4007-2990-bcbb-3682-3e68-66b1.dynamic-ip6.hinet.net) |
| 2021-08-12 00:26:03 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-08-12 00:26:06 | <hololeap> | is using haskell an indicator of mental health problems? |
| 2021-08-12 00:27:20 | <Axman6> | It does indicate an overly optimisticly pure view of the world |
| 2021-08-12 00:30:14 | <hololeap> | Just (pure (Right True)) -- it does kind of have a puritan vibe |
| 2021-08-12 00:31:12 | <Axman6> | :prayerhands: May your lambdas all apply |
| 2021-08-12 00:31:25 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) () |
| 2021-08-12 00:33:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-12 00:35:23 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-14a2-9fab-9546-ee58.res6.spectrum.com) |
| 2021-08-12 00:38:05 | → | worp joins (~worp@221.124.9.182) |
| 2021-08-12 00:39:58 | × | worp quits (~worp@221.124.9.182) (Client Quit) |
| 2021-08-12 00:48:49 | <DigitalKiwi> | yes |
| 2021-08-12 00:49:44 | <DigitalKiwi> | https://mostlyabsurd.com/about/#robert-djubek |
| 2021-08-12 00:52:07 | <DigitalKiwi> | https://twitter.com/ArchKiwi/status/1319218948722860032 |
| 2021-08-12 00:52:52 | dsal | logs into twitter to heart that |
| 2021-08-12 00:53:06 | <DigitalKiwi> | i've been crazy for over 20 years but haskell helps <3 |
| 2021-08-12 00:53:27 | → | zebrag joins (~chris@user/zebrag) |
| 2021-08-12 00:53:45 | <DigitalKiwi> | https://twitter.com/ArchKiwi/status/1249955169204342784 |
| 2021-08-12 00:56:34 | <dsal> | Yikes. :( |
| 2021-08-12 00:57:01 | <dsal> | I've experienced that a lot. |
| 2021-08-12 00:57:57 | × | montxero quits (~user@149.167.149.74) (Read error: No route to host) |
| 2021-08-12 00:58:21 | × | zebrag quits (~chris@user/zebrag) (Client Quit) |
| 2021-08-12 00:59:52 | × | kor1 quits (~kor1@user/kor1) (Quit: Leaving.) |
| 2021-08-12 00:59:56 | → | montxero joins (~user@149.167.149.74) |
| 2021-08-12 01:01:11 | <DigitalKiwi> | monochrom: lol so the grafitti should be "it was the man with the lemons!" |
| 2021-08-12 01:03:15 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 2021-08-12 01:03:36 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-08-12 01:07:16 | → | xsperry joins (~as@user/xsperry) |
| 2021-08-12 01:08:17 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-12 01:09:01 | × | montxero quits (~user@149.167.149.74) (Read error: No route to host) |
| 2021-08-12 01:09:42 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-12 01:09:46 | <hololeap> | DigitalKiwi: I think that milewski makes a good case for what you're saying in that first tweet |
| 2021-08-12 01:10:42 | <hololeap> | basically that software is complicated, and we need a computer (compiler and type system) to help us, otherwise we wouldn't need computers at all |
| 2021-08-12 01:11:49 | <hololeap> | (because if we could comprehend the complexity of software, we would already be able to "execute" it in our heads) |
| 2021-08-12 01:12:03 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-12 01:13:09 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-12 01:14:09 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-12 01:14:56 | <monochrom> | Yeah, using Haskell indicates both optimism with Just pure Right True and being pedantic about "but a computation that results with an Int is not an Int and does not contain Int either" i.e. M Int vs Int where M is a monadic type. |
| 2021-08-12 01:14:56 | exarkun | is now known as lafs |
| 2021-08-12 01:15:04 | lafs | is now known as exarkun |
| 2021-08-12 01:16:19 | <monochrom> | The latter really puzzles a lot of programmers outside, they have always survived without drawing that line. |
| 2021-08-12 01:16:23 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-12 01:18:18 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-08-12 01:18:24 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-08-12 01:19:37 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-14a2-9fab-9546-ee58.res6.spectrum.com) (Remote host closed the connection) |
| 2021-08-12 01:19:51 | <int-e> | @quote explain.this |
| 2021-08-12 01:19:52 | <lambdabot> | cjs says: I have to explain this shit to people. I mean, I start out right, "Hey, you know how you always have these bugs because what you thought was in the variable is not there?" And I get all of |
| 2021-08-12 01:19:52 | <lambdabot> | these nods of agreement. "Well, I've found a new language that solves that problem." Audience: "Ooooh! How?" Me: "There's no variables!" And then they all start moving away from me slowly.... |
| 2021-08-12 01:20:11 | <hololeap> | most people learn how to program with "tell computer to do this. tell computer to do that." which _is_ how computers operate, but then eventually you might discover that there actually _is_ another way with the purely functional paradigm, and all the cool abstract concepts that come with it |
| 2021-08-12 01:21:31 | <hololeap> | basically, Turing won the meme war :p |
| 2021-08-12 01:22:39 | <geekosaur> | turing, or von neumann? |
| 2021-08-12 01:23:07 | <hololeap> | honestly I lose track of all the things Von Neumann came up with :p |
| 2021-08-12 01:23:16 | <hololeap> | so it could have been him originally |
| 2021-08-12 01:24:15 | <int-e> | It's impressive to defeat Harvard single-handedly. |
| 2021-08-12 01:24:44 | <hololeap> | int-e: what are you referring to specifically? |
| 2021-08-12 01:25:31 | <int-e> | https://en.wikipedia.org/wiki/Harvard_architecture#Contrast_with_von_Neumann_architectures |
| 2021-08-12 01:25:43 | <int-e> | same thing as geekosaur, I think |
| 2021-08-12 01:26:40 | <int-e> | Which is a different fight than the Church, Kleene (I think) vs. Turing one |
| 2021-08-12 01:27:05 | <monochrom> | I think Harvest lost the battle but won the war. |
| 2021-08-12 01:28:00 | <monochrom> | If you don't actually practice self-modifying-code programming, you're using a von Neumann computer as though it's a Harvard computer. |
| 2021-08-12 01:28:11 | <davean> | Harvard is still here, Von Numann is dead, pretty easy to figure out who won the war. |
| 2021-08-12 01:28:25 | <monochrom> | haha |
| 2021-08-12 01:28:49 | <davean> | We have seperate instruction and data caches on most modern CPUs also |
| 2021-08-12 01:29:10 | <int-e> | morbid |
| 2021-08-12 01:29:51 | <monochrom> | "Harvard is too big to fail(TM)" |
| 2021-08-12 01:29:52 | <Axman6> | RAM is just shared storage for Harvard architecture CPUs |
| 2021-08-12 01:30:26 | <int-e> | I know, let's implement a virtual machine... |
| 2021-08-12 01:31:03 | <int-e> | (These lines between code and data are so blurry.) |
| 2021-08-12 01:33:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-12 01:40:40 | × | adam1 quits (~adam@2001-b011-4007-2990-bcbb-3682-3e68-66b1.dynamic-ip6.hinet.net) (Quit: WeeChat 3.2) |
| 2021-08-12 01:41:53 | → | adam1 joins (~adam@2001-b011-4007-2990-bcbb-3682-3e68-66b1.dynamic-ip6.hinet.net) |
| 2021-08-12 01:42:32 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-12 01:42:32 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-12 01:42:35 | allbery_b | is now known as geekosaur |
| 2021-08-12 01:44:21 | → | fjvallarino joins (~fjvallari@186.136.54.215) |
| 2021-08-12 01:48:02 | <dsal> | The problem with "tell the computer to do this..." types of programs is that that computers have changed and don't necessarily do what you tell them in those languages either. |
| 2021-08-12 01:48:12 | <dsal> | Tell a 1970s computer to do this, and the modern computer will try to guess what you mean. |
| 2021-08-12 01:49:04 | × | hendursaga quits (~weechat@user/hendursaga) (Quit: hendursaga) |
| 2021-08-12 01:49:31 | <dsal> | I experienced this a lot when I had to deal with a lot of perl code. Every time something went horribly wrong and I'd open the code, I'd spend most of the time trying to understand why the programmer thought the things they told the computer to do would be useful in achieving any particular goal they might have. |
| 2021-08-12 01:49:37 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-12 01:53:33 | <DigitalKiwi> | hololeap: https://twitter.com/haskellhutt/status/1308076394417655820?s=20 |
| 2021-08-12 01:54:17 | × | xff0x quits (~xff0x@2001:1a81:53fa:2600:743d:308e:abb:126) (Ping timeout: 245 seconds) |
| 2021-08-12 01:54:52 | × | pschorf quits (~user@c-73-77-28-188.hsd1.tx.comcast.net) (Remote host closed the connection) |
| 2021-08-12 01:55:17 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-08-12 01:56:15 | → | xff0x joins (~xff0x@2001:1a81:5238:9600:357e:7c22:5b05:e9dc) |
| 2021-08-12 01:57:59 | <DigitalKiwi> | are graham and barotosz the same person |
| 2021-08-12 01:58:53 | <DigitalKiwi> | maybe this is what polymorphism is |
All times are in UTC.