2024-06-24 00:00:10 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
2024-06-24 00:10:52 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
2024-06-24 00:12:20 +0200 | solaire | (~solaire@2400:4050:aea2:2d00:5665:2fd7:3543:9485) |
2024-06-24 00:15:22 +0200 | <haskellbridge> | <aaron> adamCS: Checking membership in the IntSet probably isn't great. Maybe try both calculating the length of the result first and produce the result by iterating through the IntSet? |
2024-06-24 00:17:51 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc7721c0cda5f0392c78.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-06-24 00:21:17 +0200 | emm | (~emm@user/edmeme) (Quit: WeeChat 4.3.3) |
2024-06-24 00:27:06 +0200 | solaire | (~solaire@2400:4050:aea2:2d00:5665:2fd7:3543:9485) (Ping timeout: 268 seconds) |
2024-06-24 00:27:36 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) |
2024-06-24 00:28:24 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-06-24 00:35:32 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-06-24 00:38:55 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:3bd3:f968:ce64:ffee) |
2024-06-24 00:56:55 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
2024-06-24 00:57:47 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-06-24 01:00:24 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-24 01:19:44 +0200 | pyooque | (~puke@user/puke) |
2024-06-24 01:19:44 +0200 | puke | Guest79 |
2024-06-24 01:19:44 +0200 | Guest79 | (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services))) |
2024-06-24 01:19:44 +0200 | pyooque | puke |
2024-06-24 01:21:04 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
2024-06-24 01:21:33 +0200 | puke | (~puke@user/puke) |
2024-06-24 01:25:14 +0200 | igemnace | (~igemnace@user/igemnace) (Ping timeout: 252 seconds) |
2024-06-24 01:25:48 +0200 | natto | (~natto@129.154.243.159) (Ping timeout: 252 seconds) |
2024-06-24 01:26:22 +0200 | sajith_ | (~sajith@user/sajith) |
2024-06-24 01:26:25 +0200 | natto | (~natto@129.154.243.159) |
2024-06-24 01:26:54 +0200 | sajith | (~sajith@user/sajith) (Ping timeout: 252 seconds) |
2024-06-24 01:27:22 +0200 | igemnace | (~igemnace@user/igemnace) |
2024-06-24 01:28:26 +0200 | tmr | (~tamer@5.2.74.82) |
2024-06-24 01:29:05 +0200 | tamer | (~tamer@user/tamer) (Ping timeout: 252 seconds) |
2024-06-24 01:29:05 +0200 | andrea_r | (~user@93-49-96-212.ip366.fastwebnet.it) (Ping timeout: 252 seconds) |
2024-06-24 01:29:24 +0200 | andrea_r | (~user@93-49-96-212.ip366.fastwebnet.it) |
2024-06-24 01:35:20 +0200 | RandomOverlord | (~RandomOve@2603-9009-05f0-8210-d04b-f603-057a-2831.inf6.spectrum.com) |
2024-06-24 01:36:30 +0200 | <DreamDeckup> | do you guys know where I could find beginner exercises to learn the syntax and standard library functions? |
2024-06-24 01:36:41 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
2024-06-24 01:38:59 +0200 | <geekosaur> | https://en.wikibooks.org/wiki/Haskell has exercises |
2024-06-24 01:39:06 +0200 | <geekosaur> | @where cis194 |
2024-06-24 01:39:07 +0200 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
2024-06-24 01:40:55 +0200 | <DreamDeckup> | much appreciated |
2024-06-24 01:44:59 +0200 | RandomOverlord | (~RandomOve@2603-9009-05f0-8210-d04b-f603-057a-2831.inf6.spectrum.com) (Ping timeout: 260 seconds) |
2024-06-24 02:00:03 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-24 02:00:05 +0200 | DreamDeckup | (~DreamDeck@bras-base-lprrpq1404w-grc-06-184-145-181-233.dsl.bell.ca) (Ping timeout: 240 seconds) |
2024-06-24 02:00:17 +0200 | DreamDeckup | (~DreamDeck@184.145.181.233) |
2024-06-24 02:00:31 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-24 02:05:03 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:3bd3:f968:ce64:ffee) (Quit: Leaving) |
2024-06-24 02:15:27 +0200 | Guest62 | (~Guest62@2600:2b00:8c5f:2100::e039) |
2024-06-24 02:22:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-06-24 02:24:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-06-24 02:24:57 +0200 | Guest62 | (~Guest62@2600:2b00:8c5f:2100::e039) (Quit: Client closed) |
2024-06-24 02:32:48 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-24 02:33:12 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-24 02:39:40 +0200 | Square | (~Square@user/square) |
2024-06-24 02:41:32 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
2024-06-24 02:45:37 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-24 02:47:14 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-24 02:51:43 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
2024-06-24 02:52:36 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-24 02:54:22 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 256 seconds) |
2024-06-24 02:56:02 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) (Ping timeout: 268 seconds) |
2024-06-24 02:57:34 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) |
2024-06-24 03:00:16 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) (Read error: Connection reset by peer) |
2024-06-24 03:02:32 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) |
2024-06-24 03:02:36 +0200 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-06-24 03:03:22 +0200 | koz | (~koz@121.99.240.58) |
2024-06-24 03:20:32 +0200 | pavonia | (~user@user/siracusa) |
2024-06-24 03:31:15 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
2024-06-24 03:31:40 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-24 03:43:55 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
2024-06-24 03:44:16 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-24 03:44:52 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) (Ping timeout: 246 seconds) |
2024-06-24 03:48:14 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:53bd:714:3029:d610) |
2024-06-24 03:49:32 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:53bd:714:3029:d610) (Client Quit) |
2024-06-24 03:50:40 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:8e19:9b51:38c6:2dc4) |
2024-06-24 03:51:13 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-06-24 04:00:20 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-06-24 04:21:41 +0200 | ubert | (~Thunderbi@p548c973d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2024-06-24 04:22:46 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:2412:852b:477a:286f) (Remote host closed the connection) |
2024-06-24 04:23:10 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:7602:6b3:85b8:f636) |
2024-06-24 04:26:04 +0200 | erty | (~user@user/aeroplane) |
2024-06-24 04:42:29 +0200 | RandomOverlord | (~RandomOve@2603-9009-05f0-8210-d04b-f603-057a-2831.inf6.spectrum.com) |
2024-06-24 04:47:05 +0200 | RandomOverlord | (~RandomOve@2603-9009-05f0-8210-d04b-f603-057a-2831.inf6.spectrum.com) (Ping timeout: 256 seconds) |
2024-06-24 04:51:40 +0200 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 256 seconds) |
2024-06-24 04:53:39 +0200 | td_ | (~td@i5387092F.versanet.de) |
2024-06-24 04:55:09 +0200 | phma_ | (phma@2001:5b0:211f:da48:e550:db55:4d2e:255e) |
2024-06-24 04:55:18 +0200 | phma | (phma@2001:5b0:211f:5fd8:d0b2:ccd9:b64:4a70) (Read error: Connection reset by peer) |
2024-06-24 04:57:45 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10f8:3f28:8000::) |
2024-06-24 04:57:54 +0200 | madhavanmiui | (~madhavanm@2409:40f4:10f8:3f28:8000::) (Remote host closed the connection) |
2024-06-24 05:01:31 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 268 seconds) |
2024-06-24 05:02:32 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
2024-06-24 05:05:50 +0200 | DreamDeckup | (~DreamDeck@184.145.181.233) (Remote host closed the connection) |
2024-06-24 05:08:28 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-24 05:08:46 +0200 | erty | (~user@user/aeroplane) |
2024-06-24 05:10:28 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
2024-06-24 05:10:47 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-24 05:11:02 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:dadb:a586:6c1f:5f08) (Remote host closed the connection) |
2024-06-24 05:13:01 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) |
2024-06-24 05:14:35 +0200 | <monochrom> | GHC2021 includes standalone deriving <3 But too bad can't just write "deriving instance (Show M, Eq M)", have to split into two clauses. (No biggie. :) ) |
2024-06-24 05:16:16 +0200 | <monochrom> | Moreover it is OK if I put the standalone deriving clauses before the type definition >:D |
2024-06-24 05:19:41 +0200 | solaire | (~solaire@fp74528110.tkyc408.ap.nuro.jp) (Ping timeout: 240 seconds) |
2024-06-24 05:20:58 +0200 | <monochrom> | My use case: I am making an exam paper. I am coding up and testing my solution before putting on the exam (copy-paste, delete code, keep type sigs). I want to be too lazy to delete "deriving (Eq, Show)" after a type def. Standalone deriving lets me do that. |
2024-06-24 05:24:10 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-06-24 05:24:22 +0200 | solaire | (~solaire@2400:4050:aea2:2d00:327e:e5b7:3dcc:1120) |
2024-06-24 05:25:06 +0200 | visilii | (~visilii@188.254.110.246) |
2024-06-24 05:31:51 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
2024-06-24 05:38:47 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-06-24 05:39:01 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf7:eb00:b3e4:61be:b332:f613) |
2024-06-24 05:40:41 +0200 | aforemny | (~aforemny@i59F516C6.versanet.de) (Ping timeout: 268 seconds) |
2024-06-24 05:45:18 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-06-24 05:46:51 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
2024-06-24 05:48:17 +0200 | JimL | (~quassel@89.162.16.26) |
2024-06-24 06:08:59 +0200 | wlhn | (~wlhn@82-181-39-15.bb.dnainternet.fi) |
2024-06-24 06:12:42 +0200 | wlhn_ | (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Ping timeout: 256 seconds) |
2024-06-24 06:19:06 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-24 06:29:03 +0200 | danse-nr3 | (~danse-nr3@rm-19-49-201.service.infuturo.it) |
2024-06-24 06:29:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-06-24 06:29:50 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-24 06:39:00 +0200 | <erty> | Pardon my lack of knowledge, but in a complex Haskell project, how do developers have to think about the performance? |
2024-06-24 06:39:05 +0200 | <erty> | Is it like writing java code (threading etc.) or javascript code (event loop)? I know we have laziness in Haskell, but how do developers improve performance in a complex level? |
2024-06-24 06:40:27 +0200 | <monochrom> | I don't understand how threading or event loop improve performance. |
2024-06-24 06:43:55 +0200 | <erty> | Threading lets you write concurrent or parallel code. |
2024-06-24 06:44:03 +0200 | <erty> | Event loop manages that for you by offloading asynchronous tasks to kernel. |
2024-06-24 06:44:10 +0200 | <monochrom> | OK, s/concurrent or// |
2024-06-24 06:45:35 +0200 | <erty> | For nodejs, its not exactly performance improvement but still, developer only has to focus on user centric code |
2024-06-24 06:48:30 +0200 | <joeyadams> | Well, the runtime system ought to handle the async part for you. GHC doesn't have async/await, it has "green threads" which basically means regular IO threads are handled efficiently and use async IO behind the scenes. |
2024-06-24 06:48:53 +0200 | <joeyadams> | (unless your code has to run on Windows...) |
2024-06-24 06:50:53 +0200 | <joeyadams> | But if you're asking about general performance guidelines, I'm going to be lazy and link the first Google result: https://wiki.haskell.org/Performance |
2024-06-24 06:52:00 +0200 | <monochrom> | The book "Parallel and Concurrent Programming in Haskell" is a good place to start, but I have lost where to find a free version. |
2024-06-24 06:55:20 +0200 | <geekosaur> | https://github.com/clojurians-org/haskell-ebook/blob/master/Parallel%20and%20Concurrent%20Programm… |
2024-06-24 06:55:27 +0200 | <erty> | joeyadams: Thanks for the explanation. Your answer did satisfied my curiosity! And thanks for the link as well. I also found this link about performance https://www.fpcomplete.com/haskell/tutorial/profiling/ |
2024-06-24 06:55:39 +0200 | <geekosaur> | although that doesn't look particularly official now that I see the full url |
2024-06-24 06:56:10 +0200 | <monochrom> | Ah OK, it is still free on O'Reilly, just ignore "start free trial", scroll down to TOC and click "show more", select any section. |
2024-06-24 06:57:07 +0200 | <monochrom> | Haha Clojurians preserve Haskell books. |
2024-06-24 07:02:12 +0200 | <monochrom> | Err I forgot to provide the link. https://www.oreilly.com/library/view/parallel-and-concurrent/9781449335939/ |
2024-06-24 07:03:03 +0200 | phma_ | phma |
2024-06-24 07:05:03 +0200 | <erty> | geekosaur: monochrom: thank you for providing link for that book. It is really helpful indeed. |
2024-06-24 07:05:22 +0200 | <geekosaur> | @where PCPH |
2024-06-24 07:05:22 +0200 | <lambdabot> | "Parallel and Concurrent Programming in Haskell" by Simon Marlow in 2013 at <http://community.haskell.org/~simonmar/pcph/>,<http://chimera.labs.oreilly.com/books/1230000000929/>,<https://web.archive. |
2024-06-24 07:05:22 +0200 | <lambdabot> | org/web/20180117194842/http://chimera.labs.oreilly.com/books/1230000000929>,<https://www.oreilly.com/library/view/parallel-and-concurrent/9781449335939/> |
2024-06-24 07:05:29 +0200 | <geekosaur> | there's an official free link |
2024-06-24 07:05:39 +0200 | <erty> | But the book is really old and has not been updated (July 2013) |
2024-06-24 07:05:51 +0200 | <geekosaur> | o'reilly was making it aavailable for free for a while but that has apparently expired 😞 |
2024-06-24 07:05:59 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-06-24 07:08:54 +0200 | <Axman6> | erty: the majority of the details in there are still very relevant, the implementation of the parallelism and concurrency primitives in GHC haven't needed to change much, they were very well designed |
2024-06-24 07:10:47 +0200 | <erty> | Axman6: This is the thing about functional languages (like haskell,elisp) that I appreciate, articles as old as 1990s or 2000s are still valid today! Its very noice |
2024-06-24 07:10:52 +0200 | <Axman6> | erty: GHC has used an event based system for managing concurrent IO (and threads) for a long time, and the runtime just takes care of it all for you. You can start thousands of threads, one per connection in a netweork server for example, and expect it perform just fine. GHC's threads are very lightweight (fewer bytes per thread for bookkeeping than Erlang) |
2024-06-24 07:11:01 +0200 | wlhn | (~wlhn@82-181-39-15.bb.dnainternet.fi) (Remote host closed the connection) |
2024-06-24 07:11:34 +0200 | wlhn | (~wlhn@dl46fx8ym7lwsvqknt7by-3.rev.dnainternet.fi) |
2024-06-24 07:12:15 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-06-24 07:17:47 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-06-24 07:17:51 +0200 | <erty> | Axman6: The main reason for me asking this question was, that CPUs these days are becoming very powerful, so while writing performant and efficient code, do we have to think about the hardware that it would be executed on? Or let GHC handle that for you. |
2024-06-24 07:18:15 +0200 | <erty> | So I think let GHC handle it |
2024-06-24 07:18:49 +0200 | <erty> | You should think about the complexity of your functions instead |
2024-06-24 07:20:41 +0200 | <Axman6> | that depends a lot on the code I guess. finding what is making your code slow should direct what you focus on, not some general ideas of "if I do these things then my app will be fast". profile, benchmark, measure, then make changes and soo if they improve things. (and do as I say, not as I do, because I'm terrible at following this advice myself =) |
2024-06-24 07:22:51 +0200 | <Axman6> | For beginners, they often run into performance issues related to not understanding how their code actually executes - things like memory leaks through building up large thunks, or even simple algorithmic things like the naive implementation of reverse (see Well Typed's recent video on foldl' on YouTube for more details) |
2024-06-24 07:24:30 +0200 | <Axman6> | It's the same in any language, you have to understand what your code is doing to predict what might not be fast. There are optimisations you can make in many dimensions that will improve things, from chosing more appropriate data types, to changing algorithms, to splitting the problem across cores (and doing that without making things slower, sometimes harder than you'd think) |
2024-06-24 07:25:15 +0200 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2024-06-24 07:25:31 +0200 | danse-nr3 | (~danse-nr3@rm-19-49-201.service.infuturo.it) (Ping timeout: 268 seconds) |
2024-06-24 07:27:03 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:7602:6b3:85b8:f636) (Ping timeout: 268 seconds) |
2024-06-24 07:29:01 +0200 | michalz | (~michalz@185.246.207.193) |
2024-06-24 07:30:09 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-06-24 07:35:39 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) (Remote host closed the connection) |
2024-06-24 07:37:38 +0200 | <erty> | Axman6: These are all very very useful advices. I will gladly try to work on them. Thanks for providing link to that video, I will go and watch it now :-) |
2024-06-24 07:43:08 +0200 | <erty> | this should be the video I believe https://www.youtube.com/watch?v=wJgRsvtarmE&list=PLD8gywOEY4HauPWPfH0pJPIYUWqi0Gg10&index=24 |
2024-06-24 07:44:49 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc8889f5631cf21e07c5.dip0.t-ipconnect.de) |
2024-06-24 07:44:56 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-24 07:51:47 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
2024-06-24 07:54:35 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
2024-06-24 08:01:50 +0200 | ubert | (~Thunderbi@p200300ecdf49174f0b4465dc752c7466.dip0.t-ipconnect.de) |
2024-06-24 08:12:02 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:8e19:9b51:38c6:2dc4) (Quit: Leaving) |
2024-06-24 08:16:38 +0200 | <Axman6> | erty: this is the one I was actually thinking about: https://youtu.be/5ali1ZsABIY?si=b1mrhkloRtXqDHwb |
2024-06-24 08:40:07 +0200 | <jackdk> | Axman6: TIL that `main-is:` for an `executable` target of a `.cabal` file can be a C/C++/ObjC source file. |
2024-06-24 08:49:22 +0200 | <haskellbridge> | <magic_rb> Is there are book/article/anything on how to properly profile haskell programs? On the tooling, how to read the traces, stuff like that. Last time i tried i really struggled to make anything out of the perf file i managed to extract |
2024-06-24 08:56:16 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-06-24 08:56:43 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-06-24 09:00:02 +0200 | 029ABHGP6 | (~yobson@mail.jotron.com) |
2024-06-24 09:00:04 +0200 | <haskellbridge> | <sm> magic_rb: start with the chapter in the GHC user guide |
2024-06-24 09:00:39 +0200 | <haskellbridge> | <sm> "profiterole" can make time profiles a little easier to read |
2024-06-24 09:06:27 +0200 | solaire | (~solaire@2400:4050:aea2:2d00:327e:e5b7:3dcc:1120) (Ping timeout: 260 seconds) |
2024-06-24 09:06:30 +0200 | 029ABHGP6 | yobson_ |
2024-06-24 09:07:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-06-24 09:10:34 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:630a:fc0c:74f9:6ed1) |
2024-06-24 09:22:25 +0200 | <haskellbridge> | <magic_rb> sm: Ill try again, because i tried that last time and i got nowhere :( |
2024-06-24 09:23:13 +0200 | <haskellbridge> | <sm> profiling haskell is not easy, but the chapter has useful foundational info |
2024-06-24 09:25:01 +0200 | <haskellbridge> | <sm> after that I think I'd read https://haskell.foundation/hs-opt-handbook.github.io/ and maybe threads like https://www.reddit.com/r/haskell/comments/v787s0/optimisingprofiling_complex_haskell_projects/ |
2024-06-24 09:25:20 +0200 | <haskellbridge> | <magic_rb> Ill try it again then, because my physics implementation is still horrendously slow, but that is also probably an algorithmic slowness |
2024-06-24 09:27:43 +0200 | <haskellbridge> | <sm> in time profiles, just reading the number of entries column can be helpful. You can also often make progress without detailed time profiles, eg by just sprinkling trace logging through your code to get insight into what it's doing, or by changing things and comparing "+RTS -s" or "timeit" statistics |
2024-06-24 09:27:57 +0200 | <haskellbridge> | <sm> -just |
2024-06-24 09:28:29 +0200 | <haskellbridge> | <sm> * sometimes |
2024-06-24 09:29:45 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-06-24 09:35:39 +0200 | danse-nr3 | (~danse-nr3@151.57.198.141) |
2024-06-24 09:43:29 +0200 | generalbigm | (~generalbi@2001:250:3c0f:2000::e751) |
2024-06-24 09:55:11 +0200 | generalbigm | (~generalbi@2001:250:3c0f:2000::e751) () |
2024-06-24 09:56:56 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-24 09:57:15 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-24 09:59:57 +0200 | [exa] | (~exa@user/exa/x-3587197) |
2024-06-24 10:03:42 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-24 10:07:36 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-24 10:18:35 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
2024-06-24 10:19:33 +0200 | euleritian | (~euleritia@dynamic-176-004-153-151.176.4.pool.telefonica.de) |
2024-06-24 10:20:09 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-06-24 10:21:46 +0200 | Guest95 | (~Guest95@085080238199.dynamic.telenor.dk) |
2024-06-24 10:23:24 +0200 | Guest95 | (~Guest95@085080238199.dynamic.telenor.dk) (Client Quit) |
2024-06-24 10:26:00 +0200 | euleritian | (~euleritia@dynamic-176-004-153-151.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-24 10:27:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-24 10:28:07 +0200 | kuribas | (~user@ptr-17d51em6zbzs6w1hz41.18120a2.ip6.access.telenet.be) |
2024-06-24 10:32:13 +0200 | <haskellbridge> | <magic_rb> Ill try to revisit my optimization struggles later in the week. I need to make the physics more efficient, its not good that two bodies colliding gets my fps from 60 to 30 |
2024-06-24 10:33:39 +0200 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) (Quit: leaving) |
2024-06-24 10:36:17 +0200 | danse-nr3 | (~danse-nr3@151.57.198.141) (Ping timeout: 256 seconds) |
2024-06-24 10:41:41 +0200 | __monty__ | (~toonn@user/toonn) |
2024-06-24 10:50:19 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2024-06-24 10:50:28 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-06-24 10:55:26 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-06-24 11:03:47 +0200 | danse-nr3 | (~danse-nr3@151.57.198.141) |
2024-06-24 11:04:18 +0200 | chele | (~chele@user/chele) |
2024-06-24 11:05:18 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-24 11:08:35 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.cust.swisscom.net) |
2024-06-24 11:19:47 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
2024-06-24 11:25:47 +0200 | danse-nr3 | (~danse-nr3@151.57.198.141) (Ping timeout: 264 seconds) |
2024-06-24 11:26:25 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) |
2024-06-24 11:47:14 +0200 | gehmehgeh | gmg |
2024-06-24 11:47:29 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-24 11:48:18 +0200 | dcoutts | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
2024-06-24 11:48:59 +0200 | rosco | (~rosco@175.136.155.137) |
2024-06-24 11:54:55 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2024-06-24 11:55:33 +0200 | Yumemi | (~Yumemi@chamoin.net) (Quit: .) |
2024-06-24 11:56:28 +0200 | Yumemi | (~Yumemi@2001:bc8:47a0:1b14::1) |
2024-06-24 12:12:30 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
2024-06-24 12:15:06 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) (Remote host closed the connection) |
2024-06-24 12:15:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-06-24 12:17:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-24 12:20:12 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
2024-06-24 12:21:04 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) |
2024-06-24 12:22:04 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) (Read error: Connection reset by peer) |
2024-06-24 12:23:36 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) |
2024-06-24 12:27:14 +0200 | lortabac | (~lortabac@37.174.130.43) |
2024-06-24 12:38:41 +0200 | lain` | (lain@user/lain/x-9874679) |
2024-06-24 12:43:14 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
2024-06-24 12:45:24 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) |
2024-06-24 12:48:11 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) (Remote host closed the connection) |
2024-06-24 12:48:36 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) |
2024-06-24 12:51:51 +0200 | lortabac | (~lortabac@37.174.130.43) (Ping timeout: 264 seconds) |
2024-06-24 12:55:27 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
2024-06-24 12:57:11 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) (Remote host closed the connection) |
2024-06-24 12:57:35 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) |
2024-06-24 13:06:51 +0200 | yin | (~yin@user/zero) |
2024-06-24 13:08:45 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-06-24 13:12:51 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2024-06-24 13:18:33 +0200 | generalbigm | (~generalbi@2001:250:3c0f:2000::e751) |
2024-06-24 13:20:07 +0200 | erty | (~user@user/aeroplane) (Remote host closed the connection) |
2024-06-24 13:20:45 +0200 | CiaoSen | (~Jura@2a05:5800:291:e700:e6b9:7aff:fe80:3d03) |
2024-06-24 13:21:58 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-24 13:25:52 +0200 | lortabac | (~lortabac@37.174.130.43) |
2024-06-24 13:34:41 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-06-24 14:08:39 +0200 | yobson_ | (~yobson@mail.jotron.com) (Quit: Leaving...) |
2024-06-24 14:14:22 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 268 seconds) |
2024-06-24 14:18:59 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-06-24 14:20:50 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) (Ping timeout: 268 seconds) |
2024-06-24 14:27:42 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-06-24 14:30:59 +0200 | yin | (~yin@user/zero) |
2024-06-24 14:37:35 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) |
2024-06-24 14:41:05 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1f:ac2f:8000::) |
2024-06-24 14:42:15 +0200 | lortabac | (~lortabac@37.174.130.43) (Ping timeout: 264 seconds) |
2024-06-24 14:43:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-06-24 14:43:27 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1f:ac2f:8000::) (Client Quit) |
2024-06-24 14:43:57 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-06-24 14:44:25 +0200 | AlexNoo | (~AlexNoo@5.139.233.94) (Quit: Leaving) |
2024-06-24 14:44:57 +0200 | AlexZenon | (~alzenon@5.139.233.94) (Quit: ;-) |
2024-06-24 14:49:47 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-06-24 14:56:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2024-06-24 14:57:40 +0200 | euleritian | (~euleritia@dynamic-176-004-137-118.176.4.pool.telefonica.de) |
2024-06-24 14:59:10 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
2024-06-24 15:22:39 +0200 | AlexNoo | (~AlexNoo@5.139.233.94) |
2024-06-24 15:23:06 +0200 | danse-nr3 | (~danse-nr3@151.57.243.247) (Read error: Connection reset by peer) |
2024-06-24 15:24:03 +0200 | danse-nr3 | (~danse-nr3@151.43.249.133) |
2024-06-24 15:27:29 +0200 | AlexZenon | (~alzenon@5.139.233.94) |
2024-06-24 15:29:10 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) |
2024-06-24 15:33:47 +0200 | dcoutts | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 256 seconds) |
2024-06-24 15:34:16 +0200 | erty | (~user@user/aeroplane) |
2024-06-24 15:38:12 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 3.3) |
2024-06-24 15:39:07 +0200 | natto | (~natto@129.154.243.159) (Quit: a.) |
2024-06-24 15:40:22 +0200 | immae | (~immae@2a01:4f8:141:53e7::) |
2024-06-24 15:41:53 +0200 | ystael | (~ystael@user/ystael) |
2024-06-24 15:46:05 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-06-24 15:46:19 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-06-24 15:57:39 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-06-24 15:59:00 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-06-24 15:59:01 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-06-24 15:59:01 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-06-24 15:59:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-06-24 15:59:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-06-24 16:00:08 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-06-24 16:00:49 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-06-24 16:04:22 +0200 | yin | (~yin@user/zero) |
2024-06-24 16:04:51 +0200 | czy` | (~user@fortigate.wolfson.cam.ac.uk) |
2024-06-24 16:11:37 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-06-24 16:12:31 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 260 seconds) |
2024-06-24 16:19:59 +0200 | euleritian | (~euleritia@dynamic-176-004-137-118.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-06-24 16:20:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-06-24 16:20:38 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
2024-06-24 16:22:19 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
2024-06-24 16:26:39 +0200 | danse-nr3 | (~danse-nr3@151.43.249.133) (Ping timeout: 264 seconds) |
2024-06-24 16:27:40 +0200 | yin | (~yin@user/zero) |
2024-06-24 16:42:15 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-06-24 16:43:14 +0200 | danse-nr3 | (~danse-nr3@host-79-3-138-198.business.telecomitalia.it) |
2024-06-24 16:46:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
2024-06-24 16:47:51 +0200 | yin | (~yin@user/zero) |
2024-06-24 16:50:03 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
2024-06-24 16:54:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-06-24 16:55:23 +0200 | xdminsy | (~xdminsy@117.147.70.231) (Quit: Konversation terminated!) |
2024-06-24 16:59:44 +0200 | gdl_ | (~gdl__@mob-5-91-30-194.net.vodafone.it) |
2024-06-24 17:00:14 +0200 | <gdl_> | Is there a channel or is anyone familiar with happy parser? |
2024-06-24 17:00:50 +0200 | <EvanR> | better luck asking the question about happy |
2024-06-24 17:02:27 +0200 | <gdl_> | Is there a way to have monadic actions in productions like { %myFunction $1 } and at the same time using an attributed grammar setting an attribute to pass upwards, like { %action $1; $$.attr = 1} ? |
2024-06-24 17:06:24 +0200 | <danse-nr3> | huh fancy syntax |
2024-06-24 17:06:42 +0200 | <danse-nr3> | is that template haskell? |
2024-06-24 17:08:00 +0200 | <gdl_> | mmm I don't actually know, I guess kind of... It's a happy grammar rule. The second one I wrote doesn't work of course |
2024-06-24 17:08:33 +0200 | natto | (~natto@129.154.243.159) |
2024-06-24 17:13:26 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-06-24 17:13:36 +0200 | <EvanR> | gdl_, the manual seems to suggest you have something like that by default |
2024-06-24 17:13:50 +0200 | <EvanR> | https://haskell-happy.readthedocs.io/en/latest/using.html#monadic-parsers |
2024-06-24 17:15:47 +0200 | <c_wraith> | danse-nr3: no, happy syntax is its own thing. It's not an EDSL in Haskell the way basically every parser we talk about is |
2024-06-24 17:16:04 +0200 | <c_wraith> | danse-nr3: it's more like bison or yacc |
2024-06-24 17:16:11 +0200 | <danse-nr3> | i see, thanks c_wraith |
2024-06-24 17:19:24 +0200 | <gdl_> | I have my monadic parser working and executing the function which returns the correct type (to build a tree) but I'd like to pass other stuff as attributes. Actually it's not written in the manual how to mix those 2 features, or I missed it :( |
2024-06-24 17:20:17 +0200 | yin | (~yin@user/zero) |
2024-06-24 17:21:10 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-06-24 17:22:00 +0200 | <EvanR> | put the attributes in your semantic value? |
2024-06-24 17:22:18 +0200 | generalbigm | (~generalbi@2001:250:3c0f:2000::e751) (Quit: Leaving.) |
2024-06-24 17:23:08 +0200 | Guest96 | (~Guest96@2a02-a45a-5cfd-1-c521-6246-db7a-c5e0.fixed6.kpn.net) |
2024-06-24 17:23:35 +0200 | Guest96 | (~Guest96@2a02-a45a-5cfd-1-c521-6246-db7a-c5e0.fixed6.kpn.net) (Client Quit) |
2024-06-24 17:26:03 +0200 | <gdl_> | EvanR, you're right, that would work. But I would like to avoid that, if possible. I know it sounds crazy, but I'm forced to somehow do this |
2024-06-24 17:27:40 +0200 | <EvanR> | you want a parallel semantic value that builds the same final tree but has different stuff in it |
2024-06-24 17:31:55 +0200 | CiaoSen | (~Jura@2a05:5800:291:e700:e6b9:7aff:fe80:3d03) (Ping timeout: 246 seconds) |
2024-06-24 17:33:01 +0200 | <gdl_> | more less yes |
2024-06-24 17:33:20 +0200 | <gdl_> | attributes would help me a long way, but happy accepted grammar is just not documented enough |
2024-06-24 17:36:20 +0200 | <EvanR> | yeah they didn't design it to produce 2 semantic values because that's already covered by having 1 semantic value that can hold a pair of values at each node |
2024-06-24 17:36:56 +0200 | <EvanR> | which can be trivially projected to get the original with fst or snd |
2024-06-24 17:37:01 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-24 17:37:47 +0200 | <gdl_> | Yeah. But since there are attributes I was wondering if it could be used with monads... |
2024-06-24 17:38:57 +0200 | kuribas | (~user@ptr-17d51em6zbzs6w1hz41.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
2024-06-24 17:38:58 +0200 | <EvanR> | oh didn't know about attributes |
2024-06-24 17:42:11 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-06-24 17:42:43 +0200 | nschoe- | (~nschoe@2a01:e0a:8e:a190:e2d2:7213:77e6:ad6) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-06-24 17:43:00 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:64a0:45cd:88ff:5a99) |
2024-06-24 17:47:15 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 255 seconds) |
2024-06-24 17:50:08 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-24 17:51:45 +0200 | <Hecate> | 9 |
2024-06-24 17:51:49 +0200 | <Hecate> | (woops) |
2024-06-24 17:52:58 +0200 | danse-nr3 | (~danse-nr3@host-79-3-138-198.business.telecomitalia.it) (Ping timeout: 268 seconds) |
2024-06-24 17:53:39 +0200 | kuribas | (~user@ptr-17d51eonpxlwucyjt75.18120a2.ip6.access.telenet.be) |
2024-06-24 17:59:45 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-06-24 18:04:26 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 256 seconds) |
2024-06-24 18:04:58 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
2024-06-24 18:11:59 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
2024-06-24 18:15:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
2024-06-24 18:17:01 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2024-06-24 18:19:14 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2024-06-24 18:19:18 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-06-24 18:20:23 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 264 seconds) |
2024-06-24 18:23:32 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-06-24 18:24:07 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-06-24 18:27:54 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-06-24 18:28:36 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Remote host closed the connection) |
2024-06-24 18:28:52 +0200 | danse-nr3 | (~danse-nr3@93-34-6-146.ip47.fastwebnet.it) |
2024-06-24 18:29:50 +0200 | masterbuilder | (~quassel@user/masterbuilder) |
2024-06-24 18:31:12 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
2024-06-24 18:31:29 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) |
2024-06-24 18:36:30 +0200 | gdl_ | (~gdl__@mob-5-91-30-194.net.vodafone.it) (Remote host closed the connection) |
2024-06-24 18:39:15 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) (Ping timeout: 264 seconds) |
2024-06-24 18:44:49 +0200 | igghibu | (~igghibu@178.249.211.102) |
2024-06-24 18:47:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2024-06-24 18:48:09 +0200 | euleritian | (~euleritia@dynamic-176-004-137-118.176.4.pool.telefonica.de) |
2024-06-24 18:52:06 +0200 | igghibu | (~igghibu@178.249.211.102) (Remote host closed the connection) |
2024-06-24 18:57:45 +0200 | yin | (~yin@user/zero) |
2024-06-24 19:00:07 +0200 | danse-nr3 | (~danse-nr3@93-34-6-146.ip47.fastwebnet.it) (Remote host closed the connection) |
2024-06-24 19:00:30 +0200 | euleritian | (~euleritia@dynamic-176-004-137-118.176.4.pool.telefonica.de) (Ping timeout: 268 seconds) |
2024-06-24 19:00:32 +0200 | danse-nr3 | (~danse-nr3@93-34-6-146.ip47.fastwebnet.it) |
2024-06-24 19:03:40 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-24 19:07:19 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-06-24 19:08:12 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 268 seconds) |
2024-06-24 19:12:25 +0200 | erty | (~user@user/aeroplane) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.2)) |
2024-06-24 19:18:41 +0200 | danse-nr3 | (~danse-nr3@93-34-6-146.ip47.fastwebnet.it) (Ping timeout: 268 seconds) |
2024-06-24 19:21:35 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2024-06-24 19:22:43 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
2024-06-24 19:23:06 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2024-06-24 19:23:11 +0200 | ft | (~ft@p3e9bcb39.dip0.t-ipconnect.de) |
2024-06-24 19:23:53 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-24 19:30:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-06-24 19:34:37 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) |
2024-06-24 19:34:48 +0200 | yin | zzz |
2024-06-24 19:37:06 +0200 | <sm> | matrix.org homeserver down ? |
2024-06-24 19:38:50 +0200 | <geekosaur> | just came back for me |
2024-06-24 19:39:14 +0200 | <geekosaur> | it's been in and out all morning |
2024-06-24 19:40:25 +0200 | <sm> | yay for fallback technology |
2024-06-24 19:43:20 +0200 | MrFox | (~MrFox___@89-201-255-150.dsl.optinet.hr) |
2024-06-24 19:52:28 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-06-24 19:53:42 +0200 | MrFox | (~MrFox___@89-201-255-150.dsl.optinet.hr) (Quit: Leaving) |
2024-06-24 20:12:04 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2024-06-24 20:12:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
2024-06-24 20:13:28 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-06-24 20:14:03 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
2024-06-24 20:26:48 +0200 | <zzz> | does irc fallback on itself? |
2024-06-24 20:31:30 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 255 seconds) |
2024-06-24 20:34:08 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:1751:70a4:a1e7:3b39) |
2024-06-24 20:36:06 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-06-24 20:36:15 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
2024-06-24 20:40:15 +0200 | rvalue- | rvalue |
2024-06-24 20:41:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-06-24 20:43:48 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) |
2024-06-24 20:47:15 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
2024-06-24 20:48:58 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-06-24 20:48:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-06-24 20:48:58 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-06-24 20:48:58 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-06-24 20:50:00 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-06-24 20:50:30 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-06-24 20:50:31 +0200 | gmg | (~user@user/gehmehgeh) |
2024-06-24 20:50:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-06-24 20:52:57 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-24 20:53:12 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-06-24 20:55:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-06-24 20:56:44 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
2024-06-24 20:58:35 +0200 | lxsameer | (lxsameer@Serene/lxsameer) |
2024-06-24 21:02:39 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Ping timeout: 264 seconds) |
2024-06-24 21:04:53 +0200 | lxsameer | (lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds) |
2024-06-24 21:06:57 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-06-24 21:15:45 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:630a:fc0c:74f9:6ed1) (Remote host closed the connection) |
2024-06-24 21:17:58 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:b9d0:f0c5:81d6:5db5) |
2024-06-24 21:18:44 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
2024-06-24 21:23:07 +0200 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) |
2024-06-24 21:24:56 +0200 | <monochrom> | IRC has multiple, mutually-duplicating servers. |
2024-06-24 21:25:16 +0200 | <monochrom> | Then again I don't know whether matrix also does that. |
2024-06-24 21:27:07 +0200 | <monochrom> | IRC, Usenet, internet routing... were designed back in the old days when people took no-single-point-of-failure seriously. |
2024-06-24 21:27:44 +0200 | <monochrom> | Clearly, it would not last long because it makes zero commercial sense. |
2024-06-24 21:28:10 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 246 seconds) |
2024-06-24 21:28:43 +0200 | <geekosaur> | matrix is federated, but if you log in to a particular homeserver or a room exists on a particular homeserver then you have problems when it goes down |
2024-06-24 21:30:22 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-06-24 21:32:55 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-06-24 21:43:39 +0200 | <juri_> | the same is true for Wire. |
2024-06-24 21:53:02 +0200 | xtabentun | (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-06-24 22:01:39 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-06-24 22:01:39 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-06-24 22:01:39 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-24 22:08:16 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:1751:70a4:a1e7:3b39) (Ping timeout: 268 seconds) |
2024-06-24 22:08:54 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-24 22:09:05 +0200 | euleritian | (~euleritia@dynamic-176-004-137-118.176.4.pool.telefonica.de) |
2024-06-24 22:15:23 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
2024-06-24 22:18:08 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2024-06-24 22:21:43 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-24 22:24:20 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) (Quit: WeeChat 4.3.0) |
2024-06-24 22:25:04 +0200 | ocra8 | (~ocra8@user/ocra8) |
2024-06-24 22:25:40 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-06-24 22:33:05 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-06-24 22:34:09 +0200 | gmg | (~user@user/gehmehgeh) |
2024-06-24 22:40:48 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
2024-06-24 22:43:59 +0200 | euleritian | (~euleritia@dynamic-176-004-137-118.176.4.pool.telefonica.de) (Ping timeout: 252 seconds) |
2024-06-24 22:45:50 +0200 | notzmv | (~daniel@user/notzmv) |
2024-06-24 22:47:41 +0200 | <zzz> | i do not like matrix |
2024-06-24 22:48:01 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
2024-06-24 22:48:57 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-24 22:56:23 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
2024-06-24 22:56:23 +0200 | dcoutts | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
2024-06-24 22:57:05 +0200 | euleritian | (~euleritia@dynamic-176-007-161-051.176.7.pool.telefonica.de) |
2024-06-24 23:02:29 +0200 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) (Remote host closed the connection) |
2024-06-24 23:10:32 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-06-24 23:12:50 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) |
2024-06-24 23:19:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-06-24 23:19:30 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) (Ping timeout: 268 seconds) |
2024-06-24 23:27:03 +0200 | soverysour | (~soverysou@81.196.150.219) |
2024-06-24 23:27:03 +0200 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
2024-06-24 23:27:03 +0200 | soverysour | (~soverysou@user/soverysour) |
2024-06-24 23:30:54 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-06-24 23:31:03 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
2024-06-24 23:31:24 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 256 seconds) |
2024-06-24 23:32:24 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-06-24 23:36:15 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-06-24 23:43:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-24 23:45:00 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
2024-06-24 23:55:32 +0200 | kuribas | (~user@ptr-17d51eonpxlwucyjt75.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
2024-06-24 23:59:20 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |