Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 901 902 903 904 905 906 907 908 909 910 911 .. 5022
— 502,152 events total
2020-10-27 21:27:38 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-27 21:27:44 <davean> Oh interesting
2020-10-27 21:27:46 <dolio> Seems like the problem is Hoare logic, not monads.
2020-10-27 21:27:51 <monsterchrom> :)
2020-10-27 21:28:09 <davean> dolio: I liked monsterchrom's telling better.
2020-10-27 21:28:11 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-27 21:28:18 <davean> dolio: Its not about the story, its about *how* you tell it.
2020-10-27 21:29:56 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-27 21:31:49 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-27 21:32:19 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-27 21:34:28 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 246 seconds)
2020-10-27 21:35:20 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-27 21:36:49 × ransom quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-27 21:38:42 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-27 21:38:58 × chaosmasttter quits (~chaosmast@p200300c4a73c4601bdd32dc7d6289d04.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-27 21:39:23 → knupfer1 joins (~Thunderbi@200116b82cb7c400d15b7230f52137ad.dip.versatel-1u1.de)
2020-10-27 21:39:35 × knupfer1 quits (~Thunderbi@200116b82cb7c400d15b7230f52137ad.dip.versatel-1u1.de) (Client Quit)
2020-10-27 21:41:22 × damianfral4 quits (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net) (Ping timeout: 258 seconds)
2020-10-27 21:42:13 × knupfer quits (~Thunderbi@mue-88-130-61-249.dsl.tropolys.de) (Ping timeout: 264 seconds)
2020-10-27 21:42:25 → knupfer joins (~Thunderbi@200116b82cb7c4002ca4e42aeeb0ad5c.dip.versatel-1u1.de)
2020-10-27 21:42:36 → taurux joins (~taurux@net-130-25-120-80.cust.vodafonedsl.it)
2020-10-27 21:42:38 × nschoe quits (~quassel@2a01:e0a:3c4:c7b0:496b:6bb1:2a12:b6fe) (Remote host closed the connection)
2020-10-27 21:42:51 × knupfer quits (~Thunderbi@200116b82cb7c4002ca4e42aeeb0ad5c.dip.versatel-1u1.de) (Client Quit)
2020-10-27 21:42:53 × teardown quits (~user@gateway/tor-sasl/mrush) (Quit: leaving)
2020-10-27 21:43:01 → knupfer joins (~Thunderbi@200116b82cb7c400415b2bb0b7a3fec7.dip.versatel-1u1.de)
2020-10-27 21:44:10 → knupfer1 joins (~Thunderbi@200116b82cb7c4002d58dadaff983f63.dip.versatel-1u1.de)
2020-10-27 21:44:12 × knupfer quits (~Thunderbi@200116b82cb7c400415b2bb0b7a3fec7.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-27 21:44:14 knupfer1 is now known as knupfer
2020-10-27 21:46:27 × knupfer quits (~Thunderbi@200116b82cb7c4002d58dadaff983f63.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-27 21:46:33 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 256 seconds)
2020-10-27 21:46:38 → knupfer joins (~Thunderbi@200116b82cb7c400705675e554fd2851.dip.versatel-1u1.de)
2020-10-27 21:47:51 × knupfer quits (~Thunderbi@200116b82cb7c400705675e554fd2851.dip.versatel-1u1.de) (Client Quit)
2020-10-27 21:48:02 → knupfer joins (~Thunderbi@200116b82cb7c4007db48986ca2bd4da.dip.versatel-1u1.de)
2020-10-27 21:49:01 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2020-10-27 21:49:43 × taurux quits (~taurux@net-130-25-120-80.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
2020-10-27 21:50:57 → taurux joins (~taurux@net-188-216-37-152.cust.vodafonedsl.it)
2020-10-27 21:52:24 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-27 21:55:40 × mmohammadi9812 quits (~mmohammad@5.238.178.31) (Remote host closed the connection)
2020-10-27 21:56:08 × obihann quits (~jhann@156.34.160.69) (Ping timeout: 260 seconds)
2020-10-27 21:56:32 → bennofs1 joins (~benno@dslb-178-000-069-093.178.000.pools.vodafone-ip.de)
2020-10-27 21:57:02 → obihann joins (~jhann@156.34.160.69)
2020-10-27 21:57:44 → mmohammadi9812 joins (~mmohammad@5.238.178.31)
2020-10-27 21:57:57 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:4998:5831:a85a:ec6f)
2020-10-27 21:59:45 × elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-27 22:03:02 × mmohammadi9812 quits (~mmohammad@5.238.178.31) (Quit: Quit)
2020-10-27 22:03:29 → teardown joins (~user@gateway/tor-sasl/mrush)
2020-10-27 22:03:42 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-27 22:04:25 × teardown quits (~user@gateway/tor-sasl/mrush) (Client Quit)
2020-10-27 22:04:53 → teardown joins (~user@gateway/tor-sasl/mrush)
2020-10-27 22:08:23 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:4998:5831:a85a:ec6f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-27 22:08:29 → mmohammadi9812 joins (~mmohammad@5.238.178.31)
2020-10-27 22:08:48 × mmohammadi9812 quits (~mmohammad@5.238.178.31) (Client Quit)
2020-10-27 22:09:27 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-27 22:09:29 → mmohammadi9812 joins (~mmohammad@5.238.178.31)
2020-10-27 22:10:46 × conal quits (~conal@198.8.81.89) (Quit: Computer has gone to sleep.)
2020-10-27 22:11:34 → conal joins (~conal@198.8.81.89)
2020-10-27 22:11:53 × conal quits (~conal@198.8.81.89) (Client Quit)
2020-10-27 22:12:37 → conal joins (~conal@198.8.81.89)
2020-10-27 22:12:37 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-27 22:12:40 × conal quits (~conal@198.8.81.89) (Client Quit)
2020-10-27 22:13:00 → chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-27 22:15:07 → damianfral4 joins (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net)
2020-10-27 22:20:16 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-27 22:20:36 × nuncanada quits (~dude@179.235.160.168) (Read error: Connection reset by peer)
2020-10-27 22:21:11 → conal joins (~conal@64.71.133.70)
2020-10-27 22:22:36 × christo_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-27 22:25:52 × knupfer quits (~Thunderbi@200116b82cb7c4007db48986ca2bd4da.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-27 22:27:11 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-10-27 22:27:24 → Deide joins (~Deide@217.155.19.23)
2020-10-27 22:27:29 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-10-27 22:28:45 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds)
2020-10-27 22:28:49 → Perlboy joins (~Perlboy@178.239.168.171)
2020-10-27 22:29:41 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-27 22:30:03 × teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds)
2020-10-27 22:31:52 → mbomba joins (~mbomba@142.114.9.241)
2020-10-27 22:31:55 × hiroaki quits (~hiroaki@2a02:908:4b18:e20::e363) (Ping timeout: 272 seconds)
2020-10-27 22:31:55 <Squarism> Anyone heard of any library able to (de)serialize a subset of Traversal's (used by lens)?
2020-10-27 22:32:33 <Rembane> Squarism: What's serialize in this context?
2020-10-27 22:32:39 <Squarism> e e
2020-10-27 22:33:16 × Tspoon quits (tlarjoma@hilla.kapsi.fi) (Ping timeout: 246 seconds)
2020-10-27 22:33:20 <Squarism> Rembane, preferably something human readable. But any string would do I guess.
2020-10-27 22:33:39 → Tspoon joins (tlarjoma@hilla.kapsi.fi)
2020-10-27 22:34:07 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-27 22:35:25 <Rembane> Squarism: Interesting, I've never seen one but perhaps someone else here has.
2020-10-27 22:36:53 × DTZUZU quits (~DTZUZU@S0106bcd165662a4d.vs.shawcable.net) (Read error: Connection reset by peer)
2020-10-27 22:38:39 <Squarism> I mean, it feels as if something like "field1 . ix 4 . fieldA . _Just" could have a textual representation. But maybe thats a naive conclusion
2020-10-27 22:38:58 → DTZUZU joins (~DTZUZU@S0106bcd165662a4d.vs.shawcable.net)
2020-10-27 22:39:18 <Rembane> Well, you need to go from a function to a textual representation and that's kinda tricky
2020-10-27 22:39:18 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2020-10-27 22:39:52 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 260 seconds)
2020-10-27 22:40:24 → Kolkrabe joins (~user@unaffiliated/siracusa)
2020-10-27 22:40:34 <Uniaika> I can't see a way to have a straightforward, abitrary expression of a Traversal that would not need a heap of context for it to make sense
2020-10-27 22:40:45 × son0p quits (~son0p@181.136.122.143) (Quit: leaving)
2020-10-27 22:40:46 <Uniaika> hmm.
2020-10-27 22:40:49 <Uniaika> that being said.
2020-10-27 22:41:01 × tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 264 seconds)
2020-10-27 22:41:22 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-27 22:41:22 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-27 22:41:22 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-27 22:41:27 <Uniaika> Squarism: have you read the Typed Tagless Final Interpreters paper? http://okmij.org/ftp/tagless-final/course/lecture.pdf
←Prev  Next→
Page 1 .. 901 902 903 904 905 906 907 908 909 910 911 .. 5022

All times are in UTC.