Logs: freenode/#haskell
| 2021-05-21 03:38:09 | × | ddellacosta quits (~ddellacos@86.106.143.74) (Ping timeout: 260 seconds) |
| 2021-05-21 03:38:56 | <edwardk> | there was a talk from someone who was trying to explain how a logical inductor works (alex flint, this isn't really his area) https://github.com/alexflint/logical-induction gives a repo with some code from that talk, don't think the talk was recorded, alas. but it might give you some way to ground out the ideas a bit in actual bog standard python |
| 2021-05-21 03:39:08 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-iwvfoufejukbeyhc) |
| 2021-05-21 03:39:21 | <wroathe> | edwardk: Thanks |
| 2021-05-21 03:40:05 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 2021-05-21 03:40:28 | × | a6a45081-2b83 quits (~aditya@122.163.149.247) (Quit: Konversation terminated!) |
| 2021-05-21 03:40:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-21 03:41:13 | <edwardk> | fwiw- i do work for MIRI, and i do some advising for groq (tpu company, uses haskell). as i understand it, the founders of both do not have a high school diploma, so i think you're fine. ;) |
| 2021-05-21 03:41:52 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-21 03:41:53 | <DigitalKiwi> | (controversial opinion, not exclusive to python either, obviously nuanced, some exceptions...) like i think it's insane/irresponsible how much python is used for ...everything... esp. w.r.t. data science/ai. simply because i don't think it's possible for *anyone* to write safe/correct python (for varying and multiple levels and definitions of correct and safe) >.> |
| 2021-05-21 03:42:44 | <edwardk> | DigitalKiwi: i view it as a great gift to the AI safety community that the AI capabilities community does everything in Python. We're likely to get an extra 2-3 years before things blow up this way. ;) |
| 2021-05-21 03:42:55 | <wroathe> | edwardk: That's incredible. I'll keep that in mind for when I feel like my Haskell skills get a little better. |
| 2021-05-21 03:43:08 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-21 03:43:58 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-21 03:44:01 | <edwardk> | i do apologize for drowning the channel in #haskell-offtopic chatter |
| 2021-05-21 03:44:32 | <mniip> | edwardk, but at the same time, throwback to your degree spree and why you had to do that |
| 2021-05-21 03:45:04 | <edwardk> | mniip: it worked out super well for me to backfill some of the huge gaping holes i had in my understanding of the universe |
| 2021-05-21 03:45:45 | <edwardk> | i clearly need to quit irc and spend more time doing mathematics |
| 2021-05-21 03:45:49 | <mniip> | well just saying that "you don't need a degree" is not the complete story |
| 2021-05-21 03:45:57 | <edwardk> | true that |
| 2021-05-21 03:46:22 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-21 03:47:02 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2021-05-21 03:47:25 | <wroathe> | mniip: Indeed. I've fallen into the "or equivalent experience" column my entire career so far for the things I am qualified to do. I'm well aware of the nuances of that. My comment about my education was moreso about how I'm going to relate to those papers that edwardk kind enough to link |
| 2021-05-21 03:47:26 | <edwardk> | both folks mentioned above are incredibly focused and are constantly learning and doing new stuff |
| 2021-05-21 03:47:59 | <wroathe> | edwardk was kind enough* |
| 2021-05-21 03:48:29 | <edwardk> | wroathe: i did that through the first dot-com crash, then nobody wanted to hire a former-CTO with no formal education, so i went on a degree bender |
| 2021-05-21 03:48:47 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-05-21 03:48:47 | <DigitalKiwi> | https://www.theguardian.com/uk-news/2021/apr/23/court-clears-39-post-office-staff-convicted-due-to-corrupt-data i don't know the details of the platform but i expect that same class of problem exist/thrive in some systems more than others... |
| 2021-05-21 03:49:06 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2021-05-21 03:50:07 | <wroathe> | edwardk: Yeah, at some point I may make the same decision here. |
| 2021-05-21 03:50:18 | <DigitalKiwi> | edwardk: is that 2-3 years a joke about python2 lol |
| 2021-05-21 03:50:21 | <DigitalKiwi> | Python 2.7.18 |
| 2021-05-21 03:50:21 | <DigitalKiwi> | Release Date: April 20, 2020 |
| 2021-05-21 03:50:21 | <DigitalKiwi> | Python 2.7.18 is the last release of Python 2. |
| 2021-05-21 03:51:47 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-21 03:53:00 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-21 03:53:28 | <wroathe> | edwardk: How old were you when you started the degree bender? |
| 2021-05-21 03:53:33 | <wroathe> | If you don't mind me asking |
| 2021-05-21 03:53:34 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-21 03:53:47 | <edwardk> | 29? |
| 2021-05-21 03:54:01 | <DigitalKiwi> | i remember a video from SPJ that mentioned something about work he was doing with school curriculum (comp sci/haskell in primary school??) does anyone have more info? |
| 2021-05-21 03:54:18 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-21 03:54:26 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-05-21 03:54:32 | <edwardk> | DigitalKiwi: https://www.youtube.com/watch?v=y-xgWLYQc4g |
| 2021-05-21 03:54:36 | <edwardk> | that one? |
| 2021-05-21 03:54:44 | <edwardk> | he gave a few like it around that time frame |
| 2021-05-21 03:55:15 | <DigitalKiwi> | i don't think i've seen this video |
| 2021-05-21 03:55:19 | → | MidAutumnHotaru9 joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-05-21 03:55:44 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:8cd5:3c3f:bd26:2318) |
| 2021-05-21 03:56:18 | <shiraeeshi> | edwardk: do you know Josha Bach? |
| 2021-05-21 03:56:20 | <edwardk> | DigitalKiwi: https://www.youtube.com/watch?v=Ia55clAtdMs is the ted talk version |
| 2021-05-21 03:56:57 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Ping timeout: 252 seconds) |
| 2021-05-21 03:56:57 | MidAutumnHotaru9 | is now known as MidAutumnHotaru |
| 2021-05-21 03:57:11 | <edwardk> | nope, sounds like we have reasonably overlapping social circles though |
| 2021-05-21 03:57:52 | <shiraeeshi> | I once listened to a podcast episode where they were discussing AI |
| 2021-05-21 03:58:12 | <shiraeeshi> | it was an interesting discussion |
| 2021-05-21 03:58:27 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-05-21 03:59:45 | × | greymalkin quits (~greymalki@199.180.249.79) (Remote host closed the connection) |
| 2021-05-21 03:59:53 | → | greymalkin joins (~greymalki@199.180.249.79) |
| 2021-05-21 04:01:32 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-21 04:02:19 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-05-21 04:03:49 | <wroathe> | edwardk: Well, I'm taking off for the night. Thanks for the conversation. |
| 2021-05-21 04:05:30 | <edwardk> | night! |
| 2021-05-21 04:05:57 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-21 04:09:02 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-05-21 04:09:09 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:8cd5:3c3f:bd26:2318) (Ping timeout: 250 seconds) |
| 2021-05-21 04:09:22 | × | killsushi quits (~killsushi@2607:fea8:3d40:767:707b:b3b8:c407:1243) (Quit: Leaving) |
| 2021-05-21 04:09:26 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-05-21 04:10:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-21 04:11:18 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 260 seconds) |
| 2021-05-21 04:13:45 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-21 04:16:06 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:28d8:66fe:ae26:16e5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-21 04:16:37 | <sm[m]> | edwardk I'm very glad you're thinking about long term safety, thanks for working on that |
| 2021-05-21 04:17:05 | × | alx741 quits (~alx741@186.178.109.76) (Quit: alx741) |
| 2021-05-21 04:17:41 | <sm[m]> | DigitalKiwi: I landed on python for some small client scripts recently.. first time using it in years.. I was reminded it can feel *really nice* for small stuff |
| 2021-05-21 04:17:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-21 04:17:58 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-21 04:18:28 | <sm[m]> | after doing haskell for some time, there are many little things to appreciate |
| 2021-05-21 04:19:11 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-21 04:19:31 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 260 seconds) |
| 2021-05-21 04:24:00 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 258 seconds) |
| 2021-05-21 04:24:14 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:28d8:66fe:ae26:16e5) |
| 2021-05-21 04:25:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 04:30:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-21 04:31:39 | <justsomeguy> | As a noob in both languages; For Python, It's nice that everything you'd typically need is in scope, and that the str datatype doesn't suck, and how most abstract datatypes have easily discoverable operations. But... Haskell has concurrency, and better type safety, and also can be more expressive after you get things in scope. |
| 2021-05-21 04:32:13 | justsomeguy | always misses literal notation for sets and dicts when he switches from python to haskell |
| 2021-05-21 04:32:19 | × | Guest12814 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-21 04:32:31 | <oats> | edwardk: it delights me to know SPJ is a hug-it-out kinda guy |
| 2021-05-21 04:32:43 | <oats> | Oh damn I was scrolled way up |
| 2021-05-21 04:32:54 | <justsomeguy> | Ah, that happens to me a lot, too! |
| 2021-05-21 04:32:59 | → | a6a45081-2b83 joins (~aditya@122.163.149.247) |
| 2021-05-21 04:33:01 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-21 04:33:25 | tim | is now known as Guest45536 |
| 2021-05-21 04:33:27 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-21 04:33:48 | <a6a45081-2b83> | what happens if I do threadDelay on negative time? |
| 2021-05-21 04:35:58 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-21 04:36:07 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-21 04:37:36 | × | Guest45536 quits (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 260 seconds) |
| 2021-05-21 04:38:08 | <oats> | a6a45081-2b83: you break the fabric of spacetime |
| 2021-05-21 04:38:12 | <oats> | Please don't do that |
All times are in UTC.