Logs: freenode/#haskell
| 2021-03-13 19:48:00 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 2021-03-13 19:48:05 | <tomsmeding> | unyu: this paper explains quite nicely how the structure works: https://dl.acm.org/doi/10.1145/3406088.3409026 |
| 2021-03-13 19:48:31 | <unyu> | Thanks! |
| 2021-03-13 19:49:20 | <monochrom> | That's a nice paper indeed. |
| 2021-03-13 19:49:45 | <monochrom> | Very often "how you would reinvent it" is the best explanation. |
| 2021-03-13 19:51:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-13 19:51:35 | <dmj`> | still waiting for "how you would reinvent GHC" |
| 2021-03-13 19:52:09 | <tomsmeding> | lots of work |
| 2021-03-13 19:52:34 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-03-13 19:54:44 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 2021-03-13 19:54:44 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 2021-03-13 19:55:00 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 2021-03-13 19:55:03 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 2021-03-13 19:56:27 | <dmj`> | tomsmeding: that's why I'm a fan of the cronokirby series https://github.com/cronokirby/haskell-in-haskell |
| 2021-03-13 19:58:23 | → | kingmaker joins (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de) |
| 2021-03-13 19:58:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-13 19:58:52 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-13 19:59:46 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:6cfb:c91f:3c9a:a8cb) |
| 2021-03-13 20:02:34 | <dmj`> | "GHC for the rest of us" |
| 2021-03-13 20:03:52 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 2021-03-13 20:05:37 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 276 seconds) |
| 2021-03-13 20:05:54 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-03-13 20:07:41 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-03-13 20:10:03 | × | jdt quits (~jdt@38.77.195.50) (Ping timeout: 245 seconds) |
| 2021-03-13 20:10:31 | <duairc> | Is this use of `unsafeCoerce` incorrect: https://paste.tomsmeding.com/frUzLTeS |
| 2021-03-13 20:10:49 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 276 seconds) |
| 2021-03-13 20:12:18 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-13 20:14:15 | <joebobjoe> | is there a tool that can mock a website? e.g., go to website in browser, log in, interact with it... then the mock server can play it all back to you so you can test the server for things like scraper scripts without actually hitting the server |
| 2021-03-13 20:15:18 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-03-13 20:17:03 | → | malumore joins (~malumore@151.62.123.0) |
| 2021-03-13 20:18:15 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-03-13 20:21:05 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-13 20:21:09 | × | jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-03-13 20:21:21 | → | jdt joins (~jdt@38.77.195.50) |
| 2021-03-13 20:22:09 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:2d14:82db:e894:f28b) |
| 2021-03-13 20:29:15 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-13 20:29:54 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 260 seconds) |
| 2021-03-13 20:31:13 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-03-13 20:31:55 | <juri_> | joebobjoe: look up 'MockServer'. it's written in java, and i do that sortof stuff with it. |
| 2021-03-13 20:32:22 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-13 20:33:22 | <joebobjoe> | ok thanks |
| 2021-03-13 20:35:24 | × | kingmaker quits (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de) (Quit: Connection closed) |
| 2021-03-13 20:38:38 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-13 20:43:17 | → | gitgood joins (~gitgood@80-44-12-84.dynamic.dsl.as9105.com) |
| 2021-03-13 20:43:33 | → | tinhatcat joins (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) |
| 2021-03-13 20:45:58 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2021-03-13 20:48:19 | → | fuzzypixelz joins (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-03-13 20:48:30 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 2021-03-13 20:49:13 | <fuzzypixelz> | what would be a fairly large project I could build in Haskell? I want to get a sense of big programs that do "real world" tasks. |
| 2021-03-13 20:49:32 | <dmj`> | fuzzypixelz: A compiler |
| 2021-03-13 20:49:39 | → | mirrorbird joins (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-13 20:49:50 | <geekosaur> | existing, or something you want to write? |
| 2021-03-13 20:50:07 | <fuzzypixelz> | something I want to write |
| 2021-03-13 20:50:15 | <shapr> | fuzzypixelz: duplicate file finder? |
| 2021-03-13 20:50:17 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-13 20:50:38 | <shapr> | That could be a fairly small project if you know a bunch of Haskell |
| 2021-03-13 20:50:45 | <shapr> | like, finish it in a day |
| 2021-03-13 20:51:10 | <fuzzypixelz> | shapr: how about a fairly _large_ project? (: |
| 2021-03-13 20:51:16 | <shapr> | fuzzypixelz: what do you want to write? |
| 2021-03-13 20:51:42 | <shapr> | I wrote a few useful programs that I use everyday, like https://github.com/shapr/sandwatch and https://github.com/shapr/bloohm |
| 2021-03-13 20:52:31 | <shapr> | fuzzypixelz: what scratches your own itch? |
| 2021-03-13 20:52:59 | → | hackage joins (mniip@haskell/bot/hackage) |
| 2021-03-13 20:53:07 | <mniip> | geekosaur, whoops it looks like the server was rebooted and it's one of those things that's just running in SCREEN |
| 2021-03-13 20:53:27 | <fuzzypixelz> | shapr: I actually don't have any ideas for something "useful to me" |
| 2021-03-13 20:53:32 | <shapr> | fuzzypixelz: I also spent three months writing https://github.com/shapr/fermatslastmargin |
| 2021-03-13 20:53:38 | <geekosaur> | thanks |
| 2021-03-13 20:54:16 | <mniip> | must've been a week, too |
| 2021-03-13 20:54:30 | <juri_> | write real things. real problems are harder, you learn more. :D |
| 2021-03-13 20:54:56 | <fuzzypixelz> | that's ... why I'm here, for inspiration (: |
| 2021-03-13 20:55:05 | <dmj`> | fuzzypixelz: what do you find useful, reimplement some unix commands you use every day |
| 2021-03-13 20:55:27 | <dmj`> | fuzzypixelz: if you play games, write solvers for the games you play, or tools to help you in the game. |
| 2021-03-13 20:55:34 | <fuzzypixelz> | I usually just do with whatever tools I can put my hands on, which not the best mindset for this I'm afraid ): |
| 2021-03-13 20:55:58 | <shapr> | Oh yeah, I was addicted to Endless Sky so I wrote a solver! https://shapr.github.io/posts/2019-07-10-smt-solvers.html |
| 2021-03-13 20:56:01 | <dmj`> | fuzzypixelz: write a browser |
| 2021-03-13 20:58:08 | <fuzzypixelz> | an internet broswe right? |
| 2021-03-13 20:58:43 | <shapr> | you could even start with a Gemini browser if you want simpler? |
| 2021-03-13 20:59:16 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-13 20:59:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-13 20:59:16 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 2021-03-13 20:59:17 | <dmj`> | fuzzypixelz: yea, but could be text based like lynx |
| 2021-03-13 20:59:47 | <dmj`> | fuzzypixelz: reimplement sqlite in Haskell |
| 2021-03-13 21:00:20 | <fuzzypixelz> | thanks, both those sound interesting to me |
| 2021-03-13 21:00:44 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-13 21:00:55 | <hpc> | shapr: funny, i just did a similar exercise for all the shields and engines that accounts for mass, heat, and energy |
| 2021-03-13 21:01:21 | <shapr> | hpc: TELL ME MORE |
| 2021-03-13 21:01:33 | <shapr> | cause I never got that far |
| 2021-03-13 21:01:42 | <shapr> | hpc: did you start with my article? |
| 2021-03-13 21:01:51 | <MarcelineVQ> | yes, do tell |
| 2021-03-13 21:01:54 | <hpc> | so, i didn't go all the way to "solve for a target mass threshold" |
| 2021-03-13 21:01:56 | <shapr> | I like to think someone gained some benefit from me writing that post and its followup |
| 2021-03-13 21:02:08 | <hpc> | but i noticed that the whole system is linear |
| 2021-03-13 21:02:08 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-03-13 21:02:16 | <hpc> | and that cooling modules have a very simple equation |
| 2021-03-13 21:02:25 | <hpc> | and once you have that, energy has a really simple equation |
| 2021-03-13 21:02:49 | <hpc> | so you can turn heat and energy into mass equivalence quite simply, and everything has a single effective mass value |
| 2021-03-13 21:02:51 | <shapr> | hpc: you gonna write a blog post? |
| 2021-03-13 21:02:58 | shapr | thinks about that |
| 2021-03-13 21:03:00 | <hpc> | i don't have a blog |
| 2021-03-13 21:03:07 | <shapr> | hpc: want me to get you a blog? :-P |
| 2021-03-13 21:03:11 | <hpc> | once you have that idea though, it's pretty simple |
All times are in UTC.