2024/05/26

Newest at the top

2024-05-26 16:17:44 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds)
2024-05-26 16:17:24 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 256 seconds)
2024-05-26 16:12:38 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-26 16:12:11 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-26 16:12:05 +0200Square2(~Square@user/square) (Ping timeout: 240 seconds)
2024-05-26 16:09:22 +0200 <safinaskar> i just asked Conor on mastodon what he thinks about koka. he said: "it’s the right way out of this mess."
2024-05-26 16:08:59 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-26 16:05:08 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-26 16:04:47 +0200 <ski> .. or it was me talking about my idea, which is inspired by idiom brackets, amongst other things
2024-05-26 16:04:38 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-26 16:04:15 +0200 <lambdabot> https://hackage.haskell.org/package/applicative-quoters
2024-05-26 16:04:15 +0200 <ski> @hackage applicative-quoters
2024-05-26 16:04:06 +0200 <ski> perhaps you're thinking of
2024-05-26 16:02:54 +0200 <safinaskar> also i remember someone in this channel told about his idea for idiom brackets long time ago. this brackets didn't exist in that time. yet they seem to be available now (in form of a plugin)
2024-05-26 16:01:13 +0200 <safinaskar> i still have no time to implement proper de bruijn indices
2024-05-26 16:00:52 +0200 <safinaskar> somewhere in 2014 i tried to write my prover in haskell. and it is still unfinished and buggy :(
2024-05-26 16:00:23 +0200 <safinaskar> ski: cool :)
2024-05-26 15:59:27 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 268 seconds)
2024-05-26 15:58:02 +0200 <ski> (well, i do remember your nickname, as well)
2024-05-26 15:55:52 +0200euleritian(~euleritia@dynamic-176-004-181-220.176.4.pool.telefonica.de)
2024-05-26 15:54:45 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-26 15:54:21 +0200euleritian(~euleritia@dynamic-176-006-177-191.176.6.pool.telefonica.de) (Ping timeout: 272 seconds)
2024-05-26 15:51:46 +0200safinaskar(~quassel@212.73.77.104)
2024-05-26 15:51:39 +0200safinaskar(~quassel@212.73.77.104) ()
2024-05-26 15:50:34 +0200Square2(~Square@user/square)
2024-05-26 15:48:53 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 252 seconds)
2024-05-26 15:44:30 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-26 15:42:08 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-26 15:41:16 +0200 <safinaskar> koka is absolutely brilliant!!
2024-05-26 15:41:05 +0200 <safinaskar> and koka have: 1) truly total functions, 2) failible functions, 3) possibly non-terminating functions, 4) haskell-like functions (i. e. failible AND possibly non-terminating) 5) functions with side-effects 6) etc
2024-05-26 15:39:58 +0200 <safinaskar> and i think i can easily implement something like koka (but their Perceus reference counting seems to be hard to implement, so i will skip it)
2024-05-26 15:38:16 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-26 15:37:50 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Remote host closed the connection)
2024-05-26 15:35:24 +0200madariaga(~madariaga@user/madariaga) (Read error: Connection reset by peer)
2024-05-26 15:29:13 +0200 <safinaskar> (also, i kind of remember your nicknames. i think 10 years ago very same people were present in this channel)
2024-05-26 15:27:17 +0200 <ski> not quite like Moggi, iiuc
2024-05-26 15:27:04 +0200 <ski> effect handlers, yea
2024-05-26 15:26:38 +0200 <safinaskar> ski: i Koka you write code just like in usual imperative language. but under hood Koka seem to do something like Moggi translation
2024-05-26 15:25:56 +0200 <safinaskar> ski: i don't know what Conor meant. but personally I like how things done in Koka language ( https://koka-lang.github.io/koka/doc/book.html )
2024-05-26 15:23:34 +0200 <int-e> just `do` it
2024-05-26 15:22:25 +0200 <lyxia> you may need 10 phds to find out the answer, and another 10 to actually implement it.
2024-05-26 15:20:01 +0200 <ski> automate, in what manner ?
2024-05-26 15:16:42 +0200BigKozlowski(~BigKozlow@194.5.60.133)
2024-05-26 15:16:39 +0200 <safinaskar> ncf: and yes, it was Conor! thank you!
2024-05-26 15:15:32 +0200 <safinaskar> here it is: https://types.pl/@pigworker/111320631493915615
2024-05-26 15:15:22 +0200 <safinaskar> i found that toot!!!
2024-05-26 15:14:01 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-26 15:11:56 +0200BigKozlowski(~BigKozlow@194.5.60.133) (Ping timeout: 260 seconds)
2024-05-26 15:11:18 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-26 15:09:08 +0200rembo10(~rembo10@main.remulis.com)