Logs: liberachat/#haskell
| 2021-06-02 00:45:46 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Client Quit) |
| 2021-06-02 00:45:59 | × | wagle quits (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-06-02 00:46:26 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-06-02 00:55:47 | × | petersen quits (~juhp@bb219-75-40-154.singnet.com.sg) (Ping timeout: 268 seconds) |
| 2021-06-02 00:55:48 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-02 00:58:13 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Client Quit) |
| 2021-06-02 00:59:25 | → | ddellacosta joins (~ddellacos@89.45.224.248) |
| 2021-06-02 01:00:14 | × | tonyday quits (~user@202-65-93-249.ip4.superloop.com) (Ping timeout: 272 seconds) |
| 2021-06-02 01:00:40 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-02 01:01:29 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-02 01:02:00 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-06-02 01:02:01 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-06-02 01:02:01 | <lyxia> | yin: is there a two sentence summary of what you are looking for |
| 2021-06-02 01:03:17 | × | dhil quits (~dhil@195.213.192.85) (Ping timeout: 264 seconds) |
| 2021-06-02 01:04:52 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 252 seconds) |
| 2021-06-02 01:07:13 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-06-02 01:11:05 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-06-02 01:12:47 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-02 01:13:55 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-02 01:14:38 | → | shailangsa joins (~shailangs@host86-186-136-74.range86-186.btcentralplus.com) |
| 2021-06-02 01:15:32 | peteretep | is now known as pjlsergeant |
| 2021-06-02 01:15:51 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-02 01:17:02 | <yin> | performant peano-like natural numbers i guess? |
| 2021-06-02 01:17:29 | <yin> | emphasis on performant |
| 2021-06-02 01:18:02 | × | pjlsergeant quits (sid143467@id-143467.stonehaven.irccloud.com) (Quit: Updating details, brb) |
| 2021-06-02 01:18:11 | → | pjlsergeant joins (sid143467@id-143467.stonehaven.irccloud.com) |
| 2021-06-02 01:18:14 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Remote host closed the connection) |
| 2021-06-02 01:21:46 | × | falafel_ quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-06-02 01:23:34 | <yin> | the talk i based on this paper http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.3442 |
| 2021-06-02 01:24:09 | <yin> | *is |
| 2021-06-02 01:24:37 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-02 01:25:21 | <lyxia> | well you can write a compiler that compiles your Nat to a GMP integer and translates pattern-matching to arithmetic operations. |
| 2021-06-02 01:25:21 | → | abrar joins (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 2021-06-02 01:29:18 | × | ddellacosta quits (~ddellacos@89.45.224.248) (Remote host closed the connection) |
| 2021-06-02 01:29:35 | <yin> | i that what idris does? |
| 2021-06-02 01:31:35 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-02 01:33:18 | <yin> | Colin siggests something like a pair (m,n) where m is a machine word and n is a thunk, where the think progressively collapses, incrementing the word as it is lazily evaluated |
| 2021-06-02 01:33:44 | × | xff0x quits (~xff0x@2001:1a81:52ca:4f00:7e41:f92f:ed4d:a7b5) (Ping timeout: 252 seconds) |
| 2021-06-02 01:35:14 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 01:35:28 | → | xff0x joins (~xff0x@2001:1a81:5307:4e00:e51:c3f6:62c2:5e71) |
| 2021-06-02 01:36:26 | <Axman6> | yin: I seem to remember edwardk doing some stuff that involved using weird representation of natural numbers that might be relevant - I remember something where they were base 2, but the digits were 2 and 3, with a single 1... it's been along time (pretty sure this had to do with efficient maps or caches or something) |
| 2021-06-02 01:36:53 | <c_wraith> | sounds like the skew heap stuff |
| 2021-06-02 01:38:36 | × | egoist quits (~egoist@186.235.82.52) (Quit: WeeChat 3.1) |
| 2021-06-02 01:38:48 | <Axman6> | yes! |
| 2021-06-02 01:38:53 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-02 01:40:30 | → | jaevanko joins (~jaevanko@2600:1700:1330:2bef:7d9a:87ce:495f:966a) |
| 2021-06-02 01:45:50 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2021-06-02 01:48:08 | → | wenzel joins (~wenzel@user/wenzel) |
| 2021-06-02 01:49:09 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-06-02 01:51:12 | → | hmmmas joins (~chenqisu1@183.217.202.217) |
| 2021-06-02 01:52:56 | → | systemhalted joins (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) |
| 2021-06-02 01:58:40 | × | systemhalted quits (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-06-02 02:01:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-02 02:02:26 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 245 seconds) |
| 2021-06-02 02:02:43 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-06-02 02:05:01 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) (Remote host closed the connection) |
| 2021-06-02 02:05:59 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-02 02:06:04 | → | systemhalted joins (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) |
| 2021-06-02 02:07:43 | → | juhp joins (~juhp@128.106.188.199) |
| 2021-06-02 02:09:08 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 244 seconds) |
| 2021-06-02 02:12:06 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-02 02:12:07 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (copper.libera.chat (Nickname regained by services))) |
| 2021-06-02 02:12:07 | finn_elija | is now known as FinnElija |
| 2021-06-02 02:12:26 | × | systemhalted quits (~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-02 02:12:58 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-02 02:14:09 | → | o1lo01ol1o joins (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-02 02:15:46 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 02:16:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-02 02:18:17 | × | y04nn quits (~y04nn@193.32.127.220) (Ping timeout: 252 seconds) |
| 2021-06-02 02:20:43 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 272 seconds) |
| 2021-06-02 02:20:45 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 2021-06-02 02:24:53 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-02 02:29:43 | <yin> | oh i think i remember that! |
| 2021-06-02 02:31:30 | × | td_ quits (~td@94.134.91.112) (Ping timeout: 264 seconds) |
| 2021-06-02 02:32:56 | → | tonyday joins (~user@202-65-93-249.ip4.superloop.com) |
| 2021-06-02 02:33:10 | → | td_ joins (~td@muedsl-82-207-238-043.citykom.de) |
| 2021-06-02 02:35:13 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5878:fcfd:e07b:ffd9) |
| 2021-06-02 02:35:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-02 02:36:17 | → | ikex joins (~ash@user/ikex) |
| 2021-06-02 02:36:50 | → | mccoyb joins (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) |
| 2021-06-02 02:37:15 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 02:37:32 | × | tonyday quits (~user@202-65-93-249.ip4.superloop.com) (Ping timeout: 268 seconds) |
| 2021-06-02 02:41:51 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-02 02:44:31 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-06-02 02:45:17 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-02 02:45:55 | → | tonyday joins (~user@202-65-93-249.ip4.superloop.com) |
| 2021-06-02 02:48:33 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-06-02 02:48:34 | × | ornxka quits (~ornxka@user/ornxka) (Quit: WeeChat 3.0) |
| 2021-06-02 02:53:47 | → | ornxka joins (~ornxka@user/ornxka) |
| 2021-06-02 03:01:14 | × | shailangsa quits (~shailangs@host86-186-136-74.range86-186.btcentralplus.com) () |
| 2021-06-02 03:01:56 | → | falafel_ joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-02 03:02:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-02 03:03:18 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 03:06:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-02 03:07:19 | × | alx741 quits (~alx741@181.196.69.176) (Quit: alx741) |
| 2021-06-02 03:11:59 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-02 03:12:58 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-06-02 03:15:14 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-02 03:15:31 | → | otto_s joins (~user@p5b044eb9.dip0.t-ipconnect.de) |
| 2021-06-02 03:17:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
All times are in UTC.