Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 .. 5022
— 502,152 events total
2020-11-25 08:31:03 → sqrt2 joins (~ben@unaffiliated/sqrt2)
2020-11-25 08:31:25 → Amras joins (~Amras@unaffiliated/amras)
2020-11-25 08:32:35 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-25 08:34:18 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-25 08:35:42 → Yumasi joins (~guillaume@pop.92-184-106-211.mobile.abo.orange.fr)
2020-11-25 08:36:39 × mpereira quits (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55) (Ping timeout: 272 seconds)
2020-11-25 08:37:10 → kuribas joins (~user@ptr-25vy0iacghmhtu8v1sd.18120a2.ip6.access.telenet.be)
2020-11-25 08:37:57 → m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de)
2020-11-25 08:38:28 × aoei quits (~aoei@li2174-104.members.linode.com) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-25 08:38:32 × hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit)
2020-11-25 08:39:08 → gproto023 joins (~gproto23@unaffiliated/gproto23)
2020-11-25 08:39:11 → borne joins (~fritjof@200116b864509c00394a967dc8ef4e61.dip.versatel-1u1.de)
2020-11-25 08:40:05 → aoei joins (~aoei@li2174-104.members.linode.com)
2020-11-25 08:40:34 × cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 272 seconds)
2020-11-25 08:40:36 × gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 240 seconds)
2020-11-25 08:45:05 → cyphase joins (~cyphase@unaffiliated/cyphase)
2020-11-25 08:46:11 gproto023 is now known as gproto23
2020-11-25 08:46:53 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-25 08:49:33 → jedws joins (~jedws@101.184.150.93)
2020-11-25 08:50:46 × jedws quits (~jedws@101.184.150.93) (Client Quit)
2020-11-25 08:51:38 × Yumasi quits (~guillaume@pop.92-184-106-211.mobile.abo.orange.fr) (Read error: Connection reset by peer)
2020-11-25 08:51:40 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-11-25 08:56:56 → aredirect joins (~aredirect@197.52.231.124)
2020-11-25 08:57:04 → Yumasi joins (~guillaume@pop.92-184-106-211.mobile.abo.orange.fr)
2020-11-25 08:57:34 → Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk)
2020-11-25 08:58:17 × SanchayanMaity quits (~Sanchayan@171.76.82.54) (Quit: SanchayanMaity)
2020-11-25 08:58:44 × Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Remote host closed the connection)
2020-11-25 08:59:04 → Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk)
2020-11-25 08:59:29 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-25 08:59:50 → SanchayanMaity joins (~Sanchayan@171.76.82.54)
2020-11-25 09:00:06 × betrion[m] quits (betrionmat@gateway/shell/matrix.org/x-lhecpqwtjkkiglwb) (Quit: Idle for 30+ days)
2020-11-25 09:00:26 <tdammers> does anyone know how I can convince postgresql-simple to consume postgres values of type 'interval'?
2020-11-25 09:00:35 → f-a joins (~f-a@151.36.219.202)
2020-11-25 09:02:44 × cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 272 seconds)
2020-11-25 09:05:27 → mpereira joins (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55)
2020-11-25 09:07:52 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer)
2020-11-25 09:09:01 → benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-lrpyjjkwyhqzgysi)
2020-11-25 09:09:29 → star_cloud joins (~star_clou@106.206.23.122)
2020-11-25 09:09:47 × star_cloud quits (~star_clou@106.206.23.122) (Read error: Connection reset by peer)
2020-11-25 09:09:52 × mpereira quits (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55) (Ping timeout: 260 seconds)
2020-11-25 09:11:54 × adm_ quits (~adm@43.229.88.197) (Remote host closed the connection)
2020-11-25 09:13:00 × Yumasi quits (~guillaume@pop.92-184-106-211.mobile.abo.orange.fr) (Read error: Connection reset by peer)
2020-11-25 09:13:03 → adm_ joins (~adm@43.229.88.197)
2020-11-25 09:13:12 → Er45 joins (5fa448e7@95.164.72.231)
2020-11-25 09:13:19 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-11-25 09:13:35 → mpereira joins (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55)
2020-11-25 09:18:23 → Yumasi joins (~guillaume@pop.92-184-106-211.mobile.abo.orange.fr)
2020-11-25 09:19:16 × adm_ quits (~adm@43.229.88.197) (Ping timeout: 240 seconds)
2020-11-25 09:19:28 × cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 256 seconds)
2020-11-25 09:20:25 → michalz joins (~user@185.246.204.47)
2020-11-25 09:23:21 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2020-11-25 09:23:50 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-ysnvsqftovuddatt) (Quit: Connection closed for inactivity)
2020-11-25 09:24:25 × Yumasi quits (~guillaume@pop.92-184-106-211.mobile.abo.orange.fr) (Ping timeout: 240 seconds)
2020-11-25 09:24:38 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-11-25 09:24:50 → Yumasi joins (~guillaume@40.72.95.92.rev.sfr.net)
2020-11-25 09:26:22 <dminuoso> define "consume"
2020-11-25 09:26:45 <tdammers> map to Haskell values
2020-11-25 09:27:05 <tdammers> I have a table with 'interval' values in it, and I want to read those with postgresql-simple
2020-11-25 09:27:18 × Chousuke quits (oranenj@coffee.modeemi.fi) (Remote host closed the connection)
2020-11-25 09:27:35 → Chousuke joins (oranenj@coffee.modeemi.fi)
2020-11-25 09:28:05 → adm joins (~adm@43.229.88.197)
2020-11-25 09:28:09 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-11-25 09:28:23 <dminuoso> tdammers: I didn't map interval yet, but roughly https://hackage.haskell.org/package/postgresql-simple-0.6.3/docs/src/Database.PostgreSQL.Simple.FromField.html#FromField shows how
2020-11-25 09:28:54 <dminuoso> in particular, look at `attoFieldParser`, `doFromField` and `okXXX` primitives like `okBinary`
2020-11-25 09:29:09 <tdammers> right. upon further thought, it turns out that interval is actually the wrong data type, so that means I won't have to write my own parser for it
2020-11-25 09:29:23 → DavidEichmann joins (~david@62.110.198.146.dyn.plus.net)
2020-11-25 09:29:24 <dminuoso> To figure out the underlying oids, use something like
2020-11-25 09:29:26 <dminuoso> elect 'interval'::regtype::oid;
2020-11-25 09:29:50 × gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds)
2020-11-25 09:31:25 → darjeeling_ joins (~darjeelin@122.245.219.209)
2020-11-25 09:34:59 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-25 09:35:38 → trcc joins (~trcc@users-1190.st.net.au.dk)
2020-11-25 09:37:20 <trcc> I am aware that this is not the right channel to ask the question, but I do not know where to ask :) Anyone familiar with a channel related to model checking?
2020-11-25 09:37:35 <trcc> Usually there is a lot of knowledge contained in here
2020-11-25 09:39:59 × mpereira quits (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55) (Ping timeout: 272 seconds)
2020-11-25 09:44:11 × adm quits (~adm@43.229.88.197) (Remote host closed the connection)
2020-11-25 09:46:03 × datajerk quits (~datajerk@sense.net) (Ping timeout: 260 seconds)
2020-11-25 09:46:43 → adm_ joins (~adm@43.229.88.197)
2020-11-25 09:49:59 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-25 09:52:36 → datajerk joins (~datajerk@sense.net)
2020-11-25 09:53:57 × Er45 quits (5fa448e7@95.164.72.231) (Remote host closed the connection)
2020-11-25 09:55:03 → pokid joins (~pokid@unaffiliated/pokid)
2020-11-25 09:55:06 → christo joins (~chris@81.96.113.213)
2020-11-25 09:55:16 <[exa]> trcc: that sounds a bit too specialized even for #haskell, esp. in the morning :]
2020-11-25 09:55:26 <trcc> hehe
2020-11-25 09:55:42 <[exa]> do you seek papers, software, advice, or anything specific?
2020-11-25 09:56:31 hackage ukrainian-phonetics-basic 0.3.0.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.3.0.0 (OleksandrZhabenko)
2020-11-25 09:59:16 × christo quits (~chris@81.96.113.213) (Ping timeout: 246 seconds)
2020-11-25 09:59:37 → ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-11-25 10:00:26 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-25 10:00:35 → TommyC7 joins (~TommyC@unaffiliated/sepulchralbloom)
2020-11-25 10:00:48 × TommyC quits (~TommyC@unaffiliated/sepulchralbloom) (Disconnected by services)
2020-11-25 10:01:11 TommyC7 is now known as TommyC
2020-11-25 10:01:47 → cads joins (~cads@ip-64-72-99-232.lasvegas.net)
2020-11-25 10:04:08 × aredirect quits (~aredirect@197.52.231.124) (Ping timeout: 260 seconds)
2020-11-25 10:04:57 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-25 10:05:24 → ER joins (5fa448e7@95.164.72.231)
2020-11-25 10:05:43 <ER> @hoogle displayShow
2020-11-25 10:05:44 <lambdabot> RIO displayShow :: Show a => a -> Utf8Builder
2020-11-25 10:05:44 <lambdabot> Stack.Prelude displayShow :: Show a => a -> Utf8Builder
←Prev  Next→
Page 1 .. 1527 1528 1529 1530 1531 1532 1533 1534 1535 1536 1537 .. 5022

All times are in UTC.