Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 93 94 95 96 97 98 99 100 101 102 103 .. 5022
— 502,152 events total
2020-09-20 14:29:32 <kicov> Hi, just one more question - did someone try to use liquid haskell on lens? Got any tips how to write these annotations? `fn :: Int -> Lens' State a` doesn't work well
2020-09-20 14:30:54 × __Joker quits (~Joker@180.151.105.65) (Ping timeout: 272 seconds)
2020-09-20 14:31:00 <Cale> Is liquid haskell getting to the point where it can be used on nontrivial programs?
2020-09-20 14:31:19 <kicov> Just for reference: https://dpaste.com/H877D9HQU
2020-09-20 14:33:39 → howdoi joins (uid224@gateway/web/irccloud.com/x-dtashatgyjqumlie)
2020-09-20 14:34:19 <Cheery> Haskell's still using STG in the runtime right?
2020-09-20 14:35:16 <lechner> Hi, will findFiles from System.Directory descend into subdirectories?
2020-09-20 14:35:23 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-20 14:35:30 → irc_user joins (uid423822@gateway/web/irccloud.com/x-yhvajookqrbnnurt)
2020-09-20 14:36:17 <Cale> Cheery: In name more than anything
2020-09-20 14:38:05 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-20 14:38:17 <edwardk> well, i suppose what i can do is this. i'll make Z and S hacks that can inhabit kind Natural for now. and when they merge I'll just take the name Nat and move them over there =)
2020-09-20 14:38:41 <Cheery> Cale: the 1992 paper describes the design space and abstract machine with denotational and operational semantics. Is this still the same?
2020-09-20 14:39:08 <edwardk> Cheery: the STG has gotten a few upgrades since then, dynamic pointer tagging, etc.
2020-09-20 14:39:20 <edwardk> but the general flavor is there
2020-09-20 14:39:23 <Cale> Understanding the original STG will still give a decent understanding of what exists today, even though it's no longer always spineless and usually no longer tagless
2020-09-20 14:40:13 <Cale> http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.19.411&rep=rep1&type=pdf -- "Putting the Spine back in the Spineless Tagless G-Machine"
2020-09-20 14:40:43 <Cale> https://simonmar.github.io/bib/papers/ptr-tagging.pdf -- "Faster laziness using dynamic pointer tagging"
2020-09-20 14:41:31 → pta2002 joins (~quassel@104.248.23.110)
2020-09-20 14:42:25 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-20 14:42:46 → urodna joins (~urodna@unaffiliated/urodna)
2020-09-20 14:43:53 <Cheery> I thought I do one last thing with RPython. Exploring eval/apply interpreters and STG. I'll see if there's something to propose in place of Javascript so that there's less room for people to replace it with crap.
2020-09-20 14:44:13 <Cheery> a nice FP runtime. :)
2020-09-20 14:44:13 → outerpassage joins (~outerpass@2600:1700:4640:c560:68bd:9d76:dbd8:24e7)
2020-09-20 14:45:20 <Cheery> Also would love for an efficient logic programming runtime slipped in, but I'll try to not scope creep much.
2020-09-20 14:45:28 × CMCDragonkai1 quits (~Thunderbi@120.17.10.7) (Ping timeout: 272 seconds)
2020-09-20 14:47:04 → ddellacosta joins (~dd@86.106.121.168)
2020-09-20 14:48:22 × polyrain quits (~polyrain@2001:8003:e501:6901:3846:7fa4:c749:eb08) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-20 14:49:33 × petersen quits (~petersen@redhat/juhp) (Quit: petersen)
2020-09-20 14:55:42 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-20 14:56:25 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-20 15:00:01 × jeremybennett quits (~jeremyben@185.244.214.216) ()
2020-09-20 15:01:33 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 256 seconds)
2020-09-20 15:02:47 <Orbstheorem> If building a derivation is a linear process, why doesn't nix cache intemediate build steps ? (e.g. git@`buildPhase::c1kj2h31...`)
2020-09-20 15:03:08 → __Joker joins (~Joker@180.151.105.65)
2020-09-20 15:04:01 × outerpassage quits (~outerpass@2600:1700:4640:c560:68bd:9d76:dbd8:24e7) (Quit: Leaving)
2020-09-20 15:08:16 × __Joker quits (~Joker@180.151.105.65) (Ping timeout: 272 seconds)
2020-09-20 15:08:26 <Orbstheorem> Oh, my bad, wrong buffer ><"
2020-09-20 15:10:39 × knupfer quits (~Thunderbi@i59F7FF48.versanet.de) (Quit: knupfer)
2020-09-20 15:10:39 → knupfer1 joins (~Thunderbi@200116b82c277000795bc1703ccafd48.dip.versatel-1u1.de)
2020-09-20 15:12:30 → pingiun joins (~pingiun@j63019.upc-j.chello.nl)
2020-09-20 15:12:48 → HeAvengin7_ joins (~sedx@112.198.75.236)
2020-09-20 15:13:03 knupfer1 is now known as knupfer
2020-09-20 15:16:30 × jespada quits (~jespada@148.252.133.47) (Read error: Connection reset by peer)
2020-09-20 15:16:45 → __Joker joins (~Joker@180.151.105.65)
2020-09-20 15:16:48 × HeAvengin7_ quits (~sedx@112.198.75.236) (Quit: Please click my blog: https://bit.ly/2RjfReh or https://bit.ly/33tb5lx)
2020-09-20 15:17:50 <sm[m]> hi lechner, doesn't it's doc say ?
2020-09-20 15:19:33 × dsf quits (~dsf@cpe-75-80-106-108.san.res.rr.com) (Ping timeout: 260 seconds)
2020-09-20 15:22:04 → ermau joins (~ermau@185.163.110.116)
2020-09-20 15:30:50 × knupfer quits (~Thunderbi@200116b82c277000795bc1703ccafd48.dip.versatel-1u1.de) (Quit: knupfer)
2020-09-20 15:31:14 → knupfer joins (~Thunderbi@200116b82c2770005077b6463d9d1f88.dip.versatel-1u1.de)
2020-09-20 15:32:40 → dsf joins (~dsf@cpe-75-82-64-167.socal.res.rr.com)
2020-09-20 15:37:11 → ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net)
2020-09-20 15:37:12 × ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-09-20 15:37:12 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2020-09-20 15:39:57 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-09-20 15:40:42 → ukari joins (~ukari@unaffiliated/ukari)
2020-09-20 15:42:52 → Turmfalke joins (~user@unaffiliated/siracusa)
2020-09-20 15:46:22 × acidjnk_new2 quits (~acidjnk@p200300d0c736584378afc0f7e05aaafd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-20 15:51:30 × kicov quits (959c7c03@nat.ds3.agh.edu.pl) (Remote host closed the connection)
2020-09-20 15:53:32 → gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-20 16:00:39 → Rudd0 joins (~Rudd0@185.189.115.98)
2020-09-20 16:02:09 × gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2020-09-20 16:04:00 → outerpassage joins (outerpassa@2600:3c01::f03c:92ff:fed1:4643)
2020-09-20 16:04:11 → elliott_ joins (~elliott@2600:380:9266:42eb:7b5e:250e:ef35:8b08)
2020-09-20 16:07:59 × son0p quits (~son0p@186.159.4.142) (Read error: Connection reset by peer)
2020-09-20 16:09:19 <lechner> sm[m]: I am not sure. I can only see the "given list of directories"---which is elaborated on but not otherwise expanded to recursive behavior in the reference to findFilesWith here: https://hackage.haskell.org/package/directory-1.3.6.1/docs/System-Directory.html#v:findFiles
2020-09-20 16:11:01 × ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 264 seconds)
2020-09-20 16:11:12 → son0p joins (~son0p@186.159.4.142)
2020-09-20 16:11:28 → jflewkfjlwjefklf joins (~jfkeflkwe@2600:1700:4640:c560:68bd:9d76:dbd8:24e7)
2020-09-20 16:11:42 → ryansmccoy joins (~ryansmcco@193.37.254.27)
2020-09-20 16:12:33 × jflewkfjlwjefklf quits (~jfkeflkwe@2600:1700:4640:c560:68bd:9d76:dbd8:24e7) (Remote host closed the connection)
2020-09-20 16:16:59 → gmt joins (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-20 16:20:18 → zebrag joins (~inkbottle@aaubervilliers-654-1-99-86.w86-212.abo.wanadoo.fr)
2020-09-20 16:20:52 × inkbottle quits (~inkbottle@aaubervilliers-654-1-100-182.w86-212.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-09-20 16:22:18 → thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de)
2020-09-20 16:22:23 <thir> #bitsnbugs
2020-09-20 16:22:33 × gmt quits (~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2020-09-20 16:22:47 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-20 16:23:13 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-09-20 16:23:42 ← thir parts (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) ()
2020-09-20 16:28:44 → pera joins (~pera@unaffiliated/pera)
2020-09-20 16:29:01 → Jeanne-Kamikaze joins (~Jeanne-Ka@104.200.129.62)
2020-09-20 16:30:36 → ajfelfjlsdkfjejf joins (~jfkeflkwe@2600:1700:4640:c560:68bd:9d76:dbd8:24e7)
2020-09-20 16:31:27 hackage uniqueness-periods-vector-examples 0.5.3.0 - Examples of usage for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.5.3.0 (OleksandrZhabenko)
2020-09-20 16:31:28 × carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-09-20 16:31:45 → jespada joins (~jespada@148.252.133.47)
2020-09-20 16:32:15 → carlomagno joins (~cararell@inet-hqmc02-o.oracle.com)
2020-09-20 16:32:27 × zopsi quits (~zopsi@irc.dir.ac) (Remote host closed the connection)
2020-09-20 16:32:45 → gestone joins (~gestone@c-98-225-37-68.hsd1.wa.comcast.net)
2020-09-20 16:33:23 → zopsi joins (zopsi@2600:3c00::f03c:91ff:fe14:551f)
2020-09-20 16:33:26 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-20 16:34:39 → fendor joins (~fendor@77.119.128.171.wireless.dyn.drei.com)
2020-09-20 16:35:33 × ericsagnes quits (~ericsagne@2405:6580:0:5100:59cb:4e8f:c201:4e04) (Ping timeout: 272 seconds)
2020-09-20 16:35:40 → aenesidemus joins (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net)
2020-09-20 16:39:20 → tzh joins (~tzh@2601:448:c500:5300::ad1c)
2020-09-20 16:39:20 × cheater quits (~user@unaffiliated/cheater) (Quit: BitchX: the new hardcore, psycho, nitro client -- in a can)
2020-09-20 16:41:53 → cheater joins (~user@unaffiliated/cheater)
2020-09-20 16:43:26 × knupfer quits (~Thunderbi@200116b82c2770005077b6463d9d1f88.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-09-20 16:47:21 → ericsagnes joins (~ericsagne@2405:6580:0:5100:5585:9ff6:72b9:d99a)
←Prev  Next→
Page 1 .. 93 94 95 96 97 98 99 100 101 102 103 .. 5022

All times are in UTC.