Logs: liberachat/#haskell
| 2026-01-04 13:32:20 | → | Square3 joins (~Square@user/square) |
| 2026-01-04 13:36:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 13:40:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 13:44:15 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-04 13:45:29 | → | img joins (~img@user/img) |
| 2026-01-04 13:46:30 | × | yin quits (~zero@user/zero) (Ping timeout: 244 seconds) |
| 2026-01-04 13:49:50 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-04 13:51:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 13:55:37 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-04 13:55:49 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 246 seconds) |
| 2026-01-04 13:56:25 | → | yin joins (~zero@user/zero) |
| 2026-01-04 13:57:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 13:59:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-04 14:07:00 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2026-01-04 14:07:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 14:12:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 14:13:37 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-04 14:16:37 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2026-01-04 14:23:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 14:23:39 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2026-01-04 14:24:04 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 2026-01-04 14:25:30 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2026-01-04 14:28:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-04 14:39:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 14:45:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 14:47:06 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-01-04 14:47:43 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-01-04 14:51:34 | → | larsivi joins (~larsivi@user/larsivi) |
| 2026-01-04 14:55:12 | <larsivi> | Hi folks! I am reviving some old Haskell code that I want to use. It is built with the Snap webserver. The demo essentially works, however (especially using chrome based browsers) causes errors in the browser. I think (although the browser is not explicit about this) that these are due to the server not properly handling OPTIONS. Are anyone familiar with this? (Note that I am new to Haskell too.) |
| 2026-01-04 14:57:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 14:59:24 | → | spew joins (~spew@user/spew) |
| 2026-01-04 14:59:50 | → | Brumaire joins (~no@94.140.114.73) |
| 2026-01-04 15:02:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 15:03:44 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2026-01-04 15:09:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 15:10:50 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-04 15:14:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-04 15:25:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 15:27:29 | Digitteknohippie | is now known as Digit |
| 2026-01-04 15:29:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-04 15:40:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 15:46:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-04 15:49:22 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-04 15:56:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 15:59:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2026-01-04 16:00:44 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-04 16:01:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-04 16:02:22 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-04 16:02:50 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-04 16:07:33 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2026-01-04 16:08:01 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-04 16:09:47 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-04 16:10:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 16:11:50 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-04 16:15:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-04 16:26:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 16:30:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 16:30:35 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-04 16:37:51 | <haskellbridge> | <Liamzee> gentauro: you don't need to be so negative |
| 2026-01-04 16:38:27 | <haskellbridge> | <Liamzee> you can think of AI as a "supercompiler" albeit one that's extremely bad at what it's supposed to do |
| 2026-01-04 16:38:44 | <humasect> | or supersearch |
| 2026-01-04 16:40:14 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-04 16:41:37 | <darkling> | c |
| 2026-01-04 16:42:00 | <ncf> | i mean you can think of a horse as a unicorn if you like, but you don't need to tell us |
| 2026-01-04 16:43:01 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-01-04 16:46:49 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-04 16:56:15 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2026-01-04 16:59:46 | <haskellbridge> | <Liamzee> i mean natural language is bad at specifying what you want the AI you want to do |
| 2026-01-04 16:59:49 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-04 16:59:59 | <gentauro> | Liamzee: At some point, when the bubble pops, somebody will have to "fix/maintain" all the AI-slop. |
| 2026-01-04 17:00:07 | <haskellbridge> | <Liamzee> I'm just saying it'll be how software development will survive, a switch from imperative or concrete programming to declarative and verified programming |
| 2026-01-04 17:00:15 | <gentauro> | I spent many months last year doing that. It's not good |
| 2026-01-04 17:00:18 | <gentauro> | far from it :( |
| 2026-01-04 17:00:20 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-01-04 17:01:06 | <gentauro> | only hope I have is that MS LEAN takes over the (AI) world … |
| 2026-01-04 17:01:07 | <haskellbridge> | <Liamzee> ncf: think of AI tokens as unityped =3 |
| 2026-01-04 17:01:22 | <humasect> | x_x |
| 2026-01-04 17:01:36 | <haskellbridge> | <Liamzee> gentauro: I think something in the lean / agda / haskell tradition will survive and become dominant after the AI bubble pops |
| 2026-01-04 17:02:34 | <humasect> | +prolog |
| 2026-01-04 17:02:45 | × | housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2026-01-04 17:03:06 | <haskellbridge> | <Liamzee> i think traditional programming as is right now is becoming like assembly |
| 2026-01-04 17:03:20 | <humasect> | slave work |
| 2026-01-04 17:03:24 | <haskellbridge> | <Liamzee> still needed, but very few people use it because it's so labor inefficient |
| 2026-01-04 17:03:45 | <haskellbridge> | <Liamzee> the problem right now, is that AI codegen is not even at the C or Algol level of maturity |
| 2026-01-04 17:04:27 | <haskellbridge> | <Liamzee> and you don't get to C / Algol by putting more labor / clock cycles on Fortran |
| 2026-01-04 17:06:36 | → | housemate joins (~housemate@202.7.247.155) |
| 2026-01-04 17:11:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 17:13:09 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-04 17:14:52 | <monochrom> | We don't have to be pessimistic about AI. But we can be rightfully pessimistic about how humans use AI. >:) |
| 2026-01-04 17:17:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-04 17:20:37 | <humasect> | =) |
| 2026-01-04 17:22:31 | → | dolio joins (~dolio@130.44.140.168) |
| 2026-01-04 17:29:15 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-04 17:29:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-04 17:34:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-04 17:34:57 | → | nek0 joins (~nek0@user/nek0) |
| 2026-01-04 17:40:13 | <EvanR> | a compiler is really really narrow expert system xD |
| 2026-01-04 17:44:06 | → | cyphase joins (~cyphase@user/cyphase) |
| 2026-01-04 17:44:24 | <humasect> | (= |
| 2026-01-04 17:45:55 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 264 seconds) |
All times are in UTC.