Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 .. 5022
— 502,152 events total
2020-11-16 01:47:48 ← robert___ parts (uid452915@gateway/web/irccloud.com/x-auhharawilekbpts) ()
2020-11-16 01:48:16 → forell joins (~forell@unaffiliated/forell)
2020-11-16 01:48:55 × Lycurgus quits (~niemand@cpe-45-46-134-163.buffalo.res.rr.com) (Quit: Exeunt)
2020-11-16 01:52:22 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2020-11-16 01:57:07 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-11-16 02:02:29 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:8491:5fed:8d7f:daad) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-16 02:03:03 × da39a3ee5e6b4b0d quits (~da39a3ee5@ppp-223-24-93-183.revip6.asianet.co.th) (Ping timeout: 256 seconds)
2020-11-16 02:05:13 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-16 02:05:49 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-16 02:07:09 → christo joins (~chris@81.96.113.213)
2020-11-16 02:10:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-16 02:12:29 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-11-16 02:13:02 × m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 256 seconds)
2020-11-16 02:13:14 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-11-16 02:15:44 <monochrom> aoei: The greatest thing about standards is there are so many to choose from!
2020-11-16 02:16:32 <dolio> I mean, it's also not true that mathematical notation is standardized.
2020-11-16 02:17:05 × alp quits (~alp@88.126.45.36) (Ping timeout: 240 seconds)
2020-11-16 02:17:07 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds)
2020-11-16 02:17:16 <dolio> Which is probably okay, because there's a lot of bad notation out there.
2020-11-16 02:17:21 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-16 02:17:46 <koz_> This might be slightly off-topic: how do web frameworks actually implement routing when URLs can have captures (meaning, stuff in the URL which isn't fixed, typically for use as an input into the handler)?
2020-11-16 02:18:05 <koz_> I'm interested in 'what algorithms/data structures are used to make this not-garbage', but I'm turning up nothing.
2020-11-16 02:24:05 <dsal> My mqttd SubTree type is similar, except it's always multimatch. The naive thing worked quite well.
2020-11-16 02:24:42 <koz_> dsal: Link?
2020-11-16 02:24:47 × mozzarella quits (~sam@unaffiliated/sam113101) (Remote host closed the connection)
2020-11-16 02:25:53 → mozzarella joins (~sam@unaffiliated/sam113101)
2020-11-16 02:25:56 → christo joins (~chris@81.96.113.213)
2020-11-16 02:26:53 → drbean joins (~drbean@TC210-63-209-39.static.apol.com.tw)
2020-11-16 02:27:31 <dsal> github.com/dustin/mqttd t SubTree
2020-11-16 02:27:41 <dsal> (sorry: driving)
2020-11-16 02:28:04 <koz_> Close enough - thanks!
2020-11-16 02:28:38 → star_cloud joins (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
2020-11-16 02:29:14 <dsal> + and # are wildcards and I have to return everything that matches. I don't care about the topics
2020-11-16 02:30:12 × benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-dkapzzdvbagqfebh) (Quit: Connection closed for inactivity)
2020-11-16 02:30:43 <koz_> Hmm, now I need a Monoid of the form 'None | One a | TooMany'.
2020-11-16 02:31:00 <dsal> The point is that I thought I'd need something complicated, but the easy thing worked. Then all my hand-written instances could be derived. I sat down to write difficult code that night.
2020-11-16 02:31:10 × jduhamel quits (~textual@bras-base-toroon4664w-grc-14-184-145-124-162.dsl.bell.ca) (Ping timeout: 256 seconds)
2020-11-16 02:31:16 <koz_> dsal: This is exactly what I wanted to see - thanks!
2020-11-16 02:31:23 <dsal> This was very specific to my mqtt needs
2020-11-16 02:31:31 <dsal> Ok, I was hoping it'd help
2020-11-16 02:34:31 <koz_> :t maybe mempty
2020-11-16 02:34:32 <lambdabot> Monoid b => (a -> b) -> Maybe a -> b
2020-11-16 02:34:39 <koz_> :t foldMap
2020-11-16 02:34:40 <lambdabot> (Foldable t, Monoid m) => (a -> m) -> t a -> m
2020-11-16 02:34:43 <koz_> :D
2020-11-16 02:34:55 <koz_> % :t foldMap @Maybe
2020-11-16 02:34:55 <yahb> koz_: Monoid m => (a -> m) -> Maybe a -> m
2020-11-16 02:36:30 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-11-16 02:38:12 → toorevitimirp joins (~tooreviti@117.182.180.118)
2020-11-16 02:43:59 × xff0x quits (~fox@2001:1a81:5263:6400:a8c9:21df:16db:a24a) (Ping timeout: 272 seconds)
2020-11-16 02:45:36 → xff0x joins (~fox@2001:1a81:529e:a500:712c:5a16:6a4b:9d48)
2020-11-16 02:45:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-16 02:47:10 × xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection)
2020-11-16 02:49:14 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds)
2020-11-16 02:53:05 → guest1116 joins (~user@49.5.6.87)
2020-11-16 03:00:01 × nielsonm quits (~nielsonm@84.39.117.57) ()
2020-11-16 03:02:01 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 264 seconds)
2020-11-16 03:02:27 × dmlloyd_laptop quits (~dmlloyd_l@193.56.252.12) (Remote host closed the connection)
2020-11-16 03:06:53 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-11-16 03:07:37 → jedws joins (~jedws@101.184.175.183)
2020-11-16 03:10:19 → kushNYC joins (4620050d@70.32.5.13)
2020-11-16 03:11:22 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 246 seconds)
2020-11-16 03:13:15 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-11-16 03:13:40 <kushNYC> Anyone else try to install cross-compiled ghc binaries in iSH for iOS? It’s a musl-based Alpine Linux environment. I get fairly far with installing the i386-musl build from https://github.com/redneb/ghc-alt-libc/releases - but ultimately come up against an error during install of ghc-pkg that eludes me...
2020-11-16 03:13:45 <kushNYC> ```Installing library in /opt/ghc/lib/ghc-8.10.2/ghc-8.10.2"/opt/ghc/lib/ghc-8.10.2/bin/ghc-pkg" --force --global-package-db "/opt/ghc/lib/ghc-8.10.2/package.conf.d" update rts/dist/package.conf.installghc-pkg: Couldn't open database /opt/ghc/lib/ghc-8.10.2/package.conf.d for modification: {handle:
2020-11-16 03:13:45 <kushNYC> /opt/ghc/lib/ghc-8.10.2/package.conf.d/package.cache.lock}: hLock: invalid argument (Invalid argument)make[1]: *** [ghc.mk:973: install_packages] Error 1make: *** [Makefile:51: install] Error 2```
2020-11-16 03:14:40 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:8491:5fed:8d7f:daad)
2020-11-16 03:14:40 <kushNYC> Tried messing with permissions and running ghc-pkg recache to no avail
2020-11-16 03:18:12 × s00pcan quits (~chris@107.181.165.217) (Ping timeout: 256 seconds)
2020-11-16 03:20:03 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2020-11-16 03:20:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-16 03:24:50 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-16 03:25:27 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-16 03:25:50 × kushNYC quits (4620050d@70.32.5.13) (Remote host closed the connection)
2020-11-16 03:26:25 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-11-16 03:31:27 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-16 03:31:41 → Tario joins (~Tario@201.192.165.173)
2020-11-16 03:33:00 → pehjota1 joins (~pehjota@185.204.1.185)
2020-11-16 03:35:05 × nexii quits (~user@38-73-246-124.starry-inc.net) (Ping timeout: 240 seconds)
2020-11-16 03:35:11 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-16 03:36:02 × renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 260 seconds)
2020-11-16 03:38:08 → falafel_ joins (~falafel@50.216.77.242)
2020-11-16 03:39:56 → nexii joins (~user@38-73-246-124.starry-inc.net)
2020-11-16 03:46:15 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-16 03:49:12 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-16 03:49:35 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds)
2020-11-16 03:50:28 → conal_ joins (~conal@64.71.133.70)
2020-11-16 03:52:19 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-16 03:52:43 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 265 seconds)
2020-11-16 03:54:41 × theDon quits (~td@94.134.91.56) (Ping timeout: 260 seconds)
2020-11-16 03:55:01 × nexii quits (~user@38-73-246-124.starry-inc.net) (Read error: Connection reset by peer)
2020-11-16 03:55:33 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services)))
2020-11-16 03:55:39 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-11-16 03:56:13 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-11-16 03:56:31 → theDon joins (~td@94.134.91.49)
2020-11-16 03:57:02 → sammuel86 joins (~sammuel86@178.239.168.171)
2020-11-16 03:57:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-11-16 03:59:18 → aarvar joins (~foewfoiew@50.35.43.33)
2020-11-16 04:00:45 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds)
2020-11-16 04:02:22 → Tario joins (~Tario@201.192.165.173)
←Prev  Next→
Page 1 .. 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 .. 5022

All times are in UTC.