Logs: liberachat/#haskell
| 2026-03-16 16:15:28 | × | accountant quits (~accountan@2600:1702:5b61:8b40:89ea:ac5:d69b:838c) (Quit: Client closed) |
| 2026-03-16 16:22:50 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-03-16 16:23:11 | → | v0id_7 joins (~v0id_7@user/v0id-7:62772) |
| 2026-03-16 16:26:48 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-03-16 16:29:32 | Digitteknohippie | is now known as Digit |
| 2026-03-16 16:29:43 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 264 seconds) |
| 2026-03-16 16:31:24 | × | v0id_7 quits (~v0id_7@user/v0id-7:62772) (Ping timeout: 246 seconds) |
| 2026-03-16 16:31:48 | → | v0id_7 joins (~v0id_7@user/v0id-7:62772) |
| 2026-03-16 16:36:15 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-16 16:38:50 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2026-03-16 16:44:05 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 244 seconds) |
| 2026-03-16 16:50:05 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-16 16:50:13 | × | craunts795335385 quits (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-16 16:54:59 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-03-16 16:55:22 | <dminuoso> | Python strikes again. |
| 2026-03-16 16:55:39 | <dminuoso> | django.conf.settings is an attempt at lazyness, but done in a grotesque and buggy way |
| 2026-03-16 16:56:33 | → | Guest62t joins (~Guest62t@p200300ca8f03bb00982801fe38106b84.dip0.t-ipconnect.de) |
| 2026-03-16 16:56:49 | <dminuoso> | While we protect recursion in our thunks with blackhole, django.conf.settings not only allows it, but of course you end up with at scenario where not only can a recursive evaluation end up with a different value, but because they mutate state you end up with scenarios where depending on the order of evaluation you have three possible states that range from "bugged, bugged and buggy, and slightly |
| 2026-03-16 16:56:51 | <dminuoso> | less bugged" |
| 2026-03-16 16:57:47 | <dminuoso> | Or maybe "recursion" is the wrong term here, reentrance seems more fitting. |
| 2026-03-16 16:57:52 | <haskellbridge> | <magic_rb> Sounds like great software ngl |
| 2026-03-16 16:59:50 | <[exa]> | it's tested by time |
| 2026-03-16 17:03:25 | → | st_aldini joins (~Betterbir@136.48.46.187) |
| 2026-03-16 17:11:50 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-03-16 17:12:54 | × | dyniec quits (~dyniec@dybiec.info) (Remote host closed the connection) |
| 2026-03-16 17:13:31 | → | dyniec joins (~dyniec@dybiec.info) |
| 2026-03-16 17:17:46 | <mesaoptimizer> | well, by a lot of people you mean |
| 2026-03-16 17:38:25 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-16 17:53:21 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 18:05:44 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 18:18:35 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 18:18:35 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 18:18:35 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 18:21:42 | <EvanR> | that is what happens when people think what's the big deal it's all 1s and 0s |
| 2026-03-16 18:22:24 | <EvanR> | no semantic balls |
| 2026-03-16 18:25:40 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-16 18:26:09 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 2026-03-16 18:28:14 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-03-16 18:32:44 | <L29Ah> | only type holes? |
| 2026-03-16 18:33:32 | <monochrom> | Just fill your type holes with semantics balls >:) |
| 2026-03-16 18:42:28 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-16 18:50:48 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-03-16 18:51:05 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-03-16 18:52:18 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-03-16 18:54:23 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-03-16 19:01:49 | → | Square2 joins (~Square@user/square) |
| 2026-03-16 19:01:54 | <mesaoptimizer> | what is a semantic ball |
| 2026-03-16 19:07:15 | <EvanR> | when you assert during the design process that what we're creating is not a random arrangement of machine code instructions to munge the computer words to and fro, but (exact or approximate in some sense) realization of some semantics, this latter objective is much more narrow and focused. And not everyone has the guts (or foolhardiness?) to try! |
| 2026-03-16 19:08:28 | <EvanR> | e.g. you might sabotage yourself second guessing whether the more narrow and defined objective is appropriate for the problem |
| 2026-03-16 19:13:38 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-16 19:15:16 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-16 19:19:36 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-03-16 19:19:45 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-03-16 19:25:36 | → | malte joins (~malte@mal.tc) |
| 2026-03-16 19:32:20 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-16 19:34:06 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 246 seconds) |
| 2026-03-16 19:34:37 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-03-16 19:39:48 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-16 19:43:30 | → | emmanuelux_ joins (~em@2a02-8440-260d-61f7-ac71-fff7-5c29-395c.rev.sfr.net) |
| 2026-03-16 19:44:09 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2026-03-16 19:50:49 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-16 19:51:37 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 19:51:37 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 19:51:37 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 19:51:53 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2026-03-16 19:53:43 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-03-16 19:56:26 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-03-16 19:57:27 | lol__ | is now known as jcarpenter22 |
| 2026-03-16 20:00:47 | × | st_aldini quits (~Betterbir@136.48.46.187) (Quit: st_aldini) |
| 2026-03-16 20:03:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 20:05:57 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 246 seconds) |
| 2026-03-16 20:08:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-16 20:10:50 | → | st_aldini joins (~Betterbir@136.48.46.187) |
| 2026-03-16 20:11:53 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 20:11:53 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 20:11:53 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 20:16:54 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-16 20:17:31 | → | TMA joins (tma@twin.jikos.cz) |
| 2026-03-16 20:19:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 20:23:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 20:28:05 | <Franciman> | mesaoptimizer: semantic web inventions /jk |
| 2026-03-16 20:30:20 | × | LUCKY_NOOB quits (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: Lost terminal) |
| 2026-03-16 20:34:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 20:39:32 | → | hellwolf joins (~user@d2c7-375c-6044-5280-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 2026-03-16 20:41:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 20:48:47 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 20:48:47 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 20:48:47 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 20:49:44 | ← | roconnor parts (~quassel@rocq/roconnor) () |
| 2026-03-16 20:52:33 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-16 20:55:00 | × | st_aldini quits (~Betterbir@136.48.46.187) (Quit: st_aldini) |
| 2026-03-16 20:56:59 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 2026-03-16 21:02:58 | × | Square2 quits (~Square@user/square) (Read error: Connection reset by peer) |
| 2026-03-16 21:04:14 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-16 21:07:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 21:12:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 21:16:55 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2026-03-16 21:23:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 21:27:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-03-16 21:32:14 | × | Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Read error: Connection reset by peer) |
All times are in UTC.