2026/01/23

Newest at the top

2026-01-23 22:32:14 +0100 <EvanR> (not that they ended up optimized in any way)
2026-01-23 22:31:52 +0100 <EvanR> because of how much it can be decomplected
2026-01-23 22:31:29 +0100 <EvanR> I'm fascinated by the one or two APLs implemented in haskell
2026-01-23 22:29:08 +0100haritz(~hrtz@user/haritz) haritz
2026-01-23 22:29:08 +0100haritz(~hrtz@140.228.70.141) (Changing host)
2026-01-23 22:29:08 +0100haritz(~hrtz@140.228.70.141)
2026-01-23 22:28:54 +0100 <monochrom> Someone wrote a "Liskell" for Lisp syntax but Haskell semantics. :)
2026-01-23 22:28:52 +0100 <EvanR> a consensus about lisp sounds ominous AF
2026-01-23 22:28:41 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-01-23 22:26:24 +0100michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2026-01-23 22:25:12 +0100 <monochrom> I prefer both Haskell syntax and types.
2026-01-23 22:15:50 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2026-01-23 22:15:07 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-01-23 22:13:43 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-01-23 22:11:11 +0100danza(~danza@user/danza) (Read error: Connection reset by peer)
2026-01-23 22:07:08 +0100 <oskarw> I stared using emacs because I had course about agda, and agda manual recommended Emacs.
2026-01-23 22:06:53 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds)
2026-01-23 22:06:19 +0100skum(~skum@user/skum) skum
2026-01-23 22:06:12 +0100 <oskarw> gentauro: I have also been using Emacs, but only for 2 years.
2026-01-23 22:03:58 +0100 <gentauro> oskarw: I would say, way to many parenthesis. However, I'm an `emacs` user since 2005 ish, so, I'm kind of used to it
2026-01-23 22:02:04 +0100 <oskarw> Personally, I prefer lisp syntax to haskell, but I also love haskell typing
2026-01-23 22:01:36 +0100 <oskarw> What is general consensus about lisp in this channel?
2026-01-23 21:59:31 +0100karenw(~karenw@user/karenw) karenw
2026-01-23 21:59:14 +0100 <oskarw> Yes ^^
2026-01-23 21:59:01 +0100 <gentauro> oskarw: nice, no more tick ;)
2026-01-23 21:58:38 +0100 <oskarw> Here I am
2026-01-23 21:58:28 +0100oskarw(~user@user/oskarw) oskarw
2026-01-23 21:58:21 +0100oskarw`(~user@176.106.33.171) (Remote host closed the connection)
2026-01-23 21:58:07 +0100 <oskarw`> Ok
2026-01-23 21:58:01 +0100 <gentauro> you should just re-login again to libera with your real nickname
2026-01-23 21:57:52 +0100 <oskarw`> Why do I have backup nickname?
2026-01-23 21:57:41 +0100oskarw`(~user@176.106.33.171)
2026-01-23 21:57:34 +0100oskarw`(~user@176.106.33.171) (ERC 5.6.1 (IRC client for GNU Emacs 30.2))
2026-01-23 21:57:17 +0100 <gentauro> oskarw`: is your `backup` nickname
2026-01-23 21:56:56 +0100 <oskarw`> Why I have ` in nickname?
2026-01-23 21:56:44 +0100 <gentauro> we can only hope they don't do a Jane Street, which is "silently" moving from OCaml to Python :'(
2026-01-23 21:56:42 +0100 <oskarw`> https://jobs.standardchartered.com/job/Quantitative-Developer(Poland%2C-India)/43718-en_GB/?&feedid=363857
2026-01-23 21:56:07 +0100 <oskarw`> Yes
2026-01-23 21:56:05 +0100 <gentauro> it was Standard Charterd right?
2026-01-23 21:55:52 +0100 <gentauro> oskarw`: hopefully
2026-01-23 21:55:50 +0100 <davean> What job is this?
2026-01-23 21:55:09 +0100 <oskarw`> gentauro: I just hope other haskeller get this job
2026-01-23 21:47:47 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-23 21:47:35 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-01-23 21:45:50 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-01-23 21:44:35 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-01-23 21:39:55 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 246 seconds)
2026-01-23 21:38:44 +0100pavonia(~user@user/siracusa) siracusa
2026-01-23 21:36:38 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-01-23 21:36:35 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus