Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 .. 5022
— 502,152 events total
2020-11-20 02:16:24 → christo joins (~chris@81.96.113.213)
2020-11-20 02:16:43 × livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-11-20 02:20:37 × leungbk quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Remote host closed the connection)
2020-11-20 02:20:54 × benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-aztrejkfdpbhytuo) (Quit: Connection closed for inactivity)
2020-11-20 02:21:47 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 260 seconds)
2020-11-20 02:22:49 <dsal> iqubic: Bounded2D gives me `bounds2d :: a -> ((Int,Int), (Int,Int))`-- (min x, min y), (max x, max y)
2020-11-20 02:23:05 → toorevitimirp joins (~tooreviti@117.182.180.118)
2020-11-20 02:23:10 <iqubic> I see.
2020-11-20 02:23:12 <iqubic> Nice.
2020-11-20 02:23:25 <iqubic> I don't have any functions for dealing with Rectangles.
2020-11-20 02:24:15 → Tario joins (~Tario@201.192.165.173)
2020-11-20 02:24:30 hackage mprelude 0.2.1 - A minimalish prelude. https://hackage.haskell.org/package/mprelude-0.2.1 (mbj)
2020-11-20 02:24:39 × falafel_ quits (~falafel@c-73-79-82-198.hsd1.pa.comcast.net) (Remote host closed the connection)
2020-11-20 02:25:03 → falafel_ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-20 02:25:20 <MarcelineVQ> you should steal conal's drawing stuff http://conal.net/papers/functional-images/
2020-11-20 02:28:04 <dsal> I end up drawing a lot of the stuff while I'm trying to understand it. This junk helps. Also that thing that translates my arbitrary bounds to 0-based bounds. I get that wrong so much.
2020-11-20 02:28:29 <dsal> I ended up with a data type that represents the size and has translation functions for each direction.
2020-11-20 02:29:19 <dsal> I'm not trying to do super fancy drawing stuff, mainly just "take grid from memory and put on screen"
2020-11-20 02:29:20 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Read error: Connection reset by peer)
2020-11-20 02:29:35 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-11-20 02:30:01 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-20 02:30:38 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-20 02:31:04 × conal quits (~conal@ip-66-115-176-195.creativelink.net) (Quit: Computer has gone to sleep.)
2020-11-20 02:31:27 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:7958:7d8e:4908:c843) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-20 02:31:36 <dsal> e.g., this is about as fancy as I get: https://asciinema.org/a/288366
2020-11-20 02:32:17 × falafel_ quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Ping timeout: 260 seconds)
2020-11-20 02:32:38 <MarcelineVQ> Urist Akinhumor has drowned
2020-11-20 02:38:04 × xff0x quits (~fox@2001:1a81:534b:a000:65df:cebc:ef3d:70f7) (Ping timeout: 240 seconds)
2020-11-20 02:38:09 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:7958:7d8e:4908:c843)
2020-11-20 02:39:39 → conal joins (~conal@ip-66-115-176-195.creativelink.net)
2020-11-20 02:40:00 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-20 02:40:28 → xff0x joins (~fox@2001:1a81:5385:e100:f695:2019:7725:a87d)
2020-11-20 02:42:13 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-20 02:42:49 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-20 02:47:16 <ski> dsal : seems to be missing an `o', just beside the start ?
2020-11-20 02:49:01 hackage devtools 0.1.0 - Haskell development tool agregate https://hackage.haskell.org/package/devtools-0.1.0 (mbj)
2020-11-20 02:50:04 <ski> MarcelineVQ : who ?
2020-11-20 02:52:12 <MarcelineVQ> Urist is the generic surname for dwarfs when telling dwarf fortress stories, dsal's art was reminiscent of flooding water in dwarf fortress
2020-11-20 02:53:18 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-20 02:53:53 → christo joins (~chris@81.96.113.213)
2020-11-20 02:54:26 × alp quits (~alp@2a01:e0a:58b:4920:a9d4:25a5:c24f:25ed) (Remote host closed the connection)
2020-11-20 02:55:08 × jedws quits (~jedws@101.184.150.93) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-20 02:55:08 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-20 02:55:19 → christo joins (~chris@81.96.113.213)
2020-11-20 02:58:03 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-20 03:01:52 <dsal> I don't remember the puzzle. Something about flooding with air.
2020-11-20 03:02:18 → CMCDragonkai1 joins (~Thunderbi@124.19.3.250)
2020-11-20 03:02:59 × da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:6c06:f0fd:283a:1f37:de16) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-20 03:03:08 <dsal> Yeah, I don't remember what that gap was. Probably should've painted it something that didn't make it look like an accident.
2020-11-20 03:06:45 × CMCDragonkai1 quits (~Thunderbi@124.19.3.250) (Ping timeout: 240 seconds)
2020-11-20 03:07:30 → drbean joins (~drbean@TC210-63-209-219.static.apol.com.tw)
2020-11-20 03:08:56 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-11-20 03:11:05 <ski> mhm
2020-11-20 03:13:25 × jespada quits (~jespada@90.254.245.49) (Ping timeout: 240 seconds)
2020-11-20 03:15:55 → jespada joins (~jespada@90.254.245.49)
2020-11-20 03:17:24 → da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:6c06:f0fd:283a:1f37:de16)
2020-11-20 03:17:39 × renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Quit: WeeChat 2.3)
2020-11-20 03:18:42 <magicman> I must be missing something. Is there a way in esqueleto to turn an SqlExpr (Entity x) into an SqlExpr (Maybe (Entity x))?
2020-11-20 03:19:05 <magicman> The 'just' function works on SqlExpr (Value x) -> SqlExpr (Value (Maybe x)), so that's not what I want.
2020-11-20 03:21:26 didymos is now known as oats
2020-11-20 03:24:02 × acidjnk_new2 quits (~acidjnk@p200300d0c719ff356dc4eeabe79b61ea.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-11-20 03:24:35 <magicman> I have a function that chooses between two queries, depending on if I want "Only those X that have some related Y, and their Y", or "All X, and possibly their related Y".
2020-11-20 03:25:45 <magicman> So that translates to an inner join VS outer join, except esqueleto says no, because outer join gives Maybe. For good reason. So I want to wrap the result of the inner join in Maybe as well.
2020-11-20 03:27:36 <magicman> And I kinda want to still be on the query-level. I could do the select $ from $ blah for both queries, and map Just where relevant, but that feels a bit off.
2020-11-20 03:30:46 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-20 03:34:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-20 03:35:33 → nados joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-11-20 03:35:36 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-11-20 03:37:40 × conal quits (~conal@ip-66-115-176-195.creativelink.net) (Quit: Computer has gone to sleep.)
2020-11-20 03:38:00 → acidjnk_new2 joins (~acidjnk@p200300d0c719ff356dc4eeabe79b61ea.dip0.t-ipconnect.de)
2020-11-20 03:42:35 → falafel_ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-20 03:43:31 hackage yi-mode-haskell 0.19.0 - Yi editor haskell mode https://hackage.haskell.org/package/yi-mode-haskell-0.19.0 (TomMurphy)
2020-11-20 03:44:31 hackage yi-mode-javascript 0.19.0 - Yi editor javascript mode https://hackage.haskell.org/package/yi-mode-javascript-0.19.0 (TomMurphy)
2020-11-20 03:44:39 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (hitchcock.freenode.net (Nickname regained by services)))
2020-11-20 03:44:47 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-11-20 03:45:31 hackage yi-fuzzy-open 0.19.0 - Fuzzy open plugin for yi https://hackage.haskell.org/package/yi-fuzzy-open-0.19.0 (TomMurphy)
2020-11-20 03:46:30 hackage yi-ireader 0.19.0 - Yi editor incremental reader https://hackage.haskell.org/package/yi-ireader-0.19.0 (TomMurphy)
2020-11-20 03:47:31 hackage yi-snippet 0.19.0, yi-keymap-emacs 0.19.0 (TomMurphy): https://qbin.io/weak-ratios-hjy8
2020-11-20 03:51:02 × theDon quits (~td@muedsl-82-207-238-104.citykom.de) (Ping timeout: 260 seconds)
2020-11-20 03:51:48 <magicman> Hrm. Looks like I can maybe possibly use the EMaybe function from the Internal module. This probably will not break anything ever, because directly using datatype constructors from modules named Internal never breaks things... *knocks on wood*.
2020-11-20 03:52:01 hackage yi-dynamic-configuration 0.19.0 - Dynamic configuration support for Yi https://hackage.haskell.org/package/yi-dynamic-configuration-0.19.0 (TomMurphy)
2020-11-20 03:52:31 <magicman> (also, whoa, didn't know people still worked on Yi. It's been a while since I've seen that name show up!)
2020-11-20 03:52:41 → theDon joins (~td@94.134.91.165)
2020-11-20 03:53:20 × northman_ quits (~northman@204.111.252.124) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-20 03:57:03 → falafel__ joins (~falafel@c-73-79-82-198.hsd1.pa.comcast.net)
2020-11-20 03:57:30 hackage conversions 0.0.4 - Injective explicit total and partial conversions https://hackage.haskell.org/package/conversions-0.0.4 (mbj)
2020-11-20 03:59:47 × falafel_ quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Ping timeout: 260 seconds)
2020-11-20 04:00:45 → jedws joins (~jedws@101.184.150.93)
2020-11-20 04:08:56 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2020-11-20 04:09:36 → falafel_ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-20 04:12:12 × falafel__ quits (~falafel@c-73-79-82-198.hsd1.pa.comcast.net) (Ping timeout: 256 seconds)
2020-11-20 04:13:17 → Feuermagier_ joins (~Feuermagi@213.178.26.41)
2020-11-20 04:15:16 × Feuermagier quits (~Feuermagi@213.178.26.41) (Ping timeout: 240 seconds)
2020-11-20 04:18:42 × nf quits (~n@monade.li) (Ping timeout: 260 seconds)
2020-11-20 04:19:01 → nf joins (~n@monade.li)
2020-11-20 04:19:54 × m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 272 seconds)
2020-11-20 04:20:18 <koz_> If I'm reading type judgments, should I read 'Gamma, x : A |- x : A' as something like, 'given the fact that x types as A (plus possibly other facts), it follows that x types as A'?
2020-11-20 04:21:00 → quarters joins (~quarters@unaffiliated/quarters)
2020-11-20 04:21:37 <monochrom> Yes.
2020-11-20 04:22:40 <koz_> So basically, if I have '[above horizontal line] Gamma |- A : s [below horizontal line] Gamma, x : A |- x : A', this basically says 'if A is really a type, and we know that x types as A, then x types as A'?
←Prev  Next→
Page 1 .. 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 .. 5022

All times are in UTC.