Logs: liberachat/#haskell
| 2025-09-18 06:52:00 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (*.net *.split) |
| 2025-09-18 06:52:00 | × | wz1000_ quits (~wz1000@2a01:4f9:c012:de50::1) (*.net *.split) |
| 2025-09-18 06:52:00 | × | arandombit quits (~arandombi@user/arandombit) (*.net *.split) |
| 2025-09-18 06:52:00 | × | olivial quits (~benjaminl@user/benjaminl) (*.net *.split) |
| 2025-09-18 06:52:00 | × | Sgeo__ quits (~Sgeo@user/sgeo) (*.net *.split) |
| 2025-09-18 06:52:00 | × | divlamir quits (~divlamir@user/divlamir) (*.net *.split) |
| 2025-09-18 06:52:00 | × | user363627 quits (~user@user/user363627) (*.net *.split) |
| 2025-09-18 06:52:00 | × | thaumavorio_ quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 2025-09-18 06:52:00 | × | rvalue quits (~rvalue@about/hackers/rvalue) (*.net *.split) |
| 2025-09-18 06:52:00 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (*.net *.split) |
| 2025-09-18 06:52:00 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 2025-09-18 06:52:01 | × | Pozyomka quits (~pyon@user/pyon) (*.net *.split) |
| 2025-09-18 06:52:01 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b980:1d20:3fd8:263d:54c5) (*.net *.split) |
| 2025-09-18 06:52:01 | × | rembo10 quits (~rembo10@main.remulis.com) (*.net *.split) |
| 2025-09-18 06:52:01 | × | dfordivam1 quits (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
| 2025-09-18 06:52:01 | × | Fijxu quits (~Fijxu@user/fijxu) (*.net *.split) |
| 2025-09-18 06:52:01 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 2025-09-18 06:52:01 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 2025-09-18 06:52:01 | × | aspen quits (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
| 2025-09-18 06:52:01 | × | rselim quits (ce261f06ff@user/milesrout) (*.net *.split) |
| 2025-09-18 06:52:01 | × | laman quits (laman@rego.ai) (*.net *.split) |
| 2025-09-18 06:52:01 | × | Beowulf quits (florian@gabilgathol.bandrate.org) (*.net *.split) |
| 2025-09-18 06:52:01 | × | coldmountain quits (sid484352@id-484352.helmsley.irccloud.com) (*.net *.split) |
| 2025-09-18 06:52:01 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2025-09-18 06:52:01 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (*.net *.split) |
| 2025-09-18 06:52:01 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split) |
| 2025-09-18 06:52:40 | → | mima joins (~mmh@user/mima) |
| 2025-09-18 06:53:47 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2025-09-18 06:54:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-18 06:54:52 | rvalue- | is now known as rvalue |
| 2025-09-18 06:55:45 | fgarcia_ | is now known as fgarcia |
| 2025-09-18 06:56:05 | → | connrs joins (~connrs@conners.plus.com) |
| 2025-09-18 06:56:05 | → | sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 2025-09-18 06:56:05 | → | aforemny_ joins (~aforemny@2001:9e8:6cc8:5900:5a53:58bc:b5c4:22e6) |
| 2025-09-18 06:56:05 | → | 047AALI5L joins (~wz1000@2a01:4f9:c012:de50::1) |
| 2025-09-18 06:56:05 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-18 06:56:05 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-09-18 06:56:05 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-09-18 06:56:05 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b980:1d20:3fd8:263d:54c5) |
| 2025-09-18 06:56:05 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-09-18 06:56:05 | → | dfordivam1 joins (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 2025-09-18 06:56:05 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-09-18 06:56:05 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2025-09-18 06:56:05 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 2025-09-18 06:56:05 | → | aspen joins (sid449115@id-449115.helmsley.irccloud.com) |
| 2025-09-18 06:56:05 | → | rselim joins (ce261f06ff@user/milesrout) |
| 2025-09-18 06:56:05 | → | laman joins (laman@rego.ai) |
| 2025-09-18 06:56:05 | → | Beowulf joins (florian@gabilgathol.bandrate.org) |
| 2025-09-18 06:56:05 | → | coldmountain joins (sid484352@id-484352.helmsley.irccloud.com) |
| 2025-09-18 06:56:05 | → | jonrh joins (sid5185@id-5185.ilkley.irccloud.com) |
| 2025-09-18 06:56:05 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 2025-09-18 06:56:05 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2025-09-18 06:56:07 | × | olivial quits (~benjaminl@user/benjaminl) (Max SendQ exceeded) |
| 2025-09-18 06:56:21 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-09-18 06:58:26 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-09-18 06:58:53 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-18 06:59:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-09-18 07:00:05 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-18 07:00:44 | → | caconym74787 joins (~caconym@user/caconym) |
| 2025-09-18 07:01:41 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-09-18 07:02:51 | × | trickard quits (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-18 07:03:05 | → | trickard_ joins (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-18 07:04:35 | × | poscat quits (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-09-18 07:04:41 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-09-18 07:10:41 | × | fun-safe-math quits (~fun-safe-@97-120-34-41.ptld.qwest.net) (Read error: Connection reset by peer) |
| 2025-09-18 07:11:07 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2025-09-18 07:11:15 | → | fun-safe-math joins (~fun-safe-@97-120-34-41.ptld.qwest.net) |
| 2025-09-18 07:11:30 | → | pavonia joins (~user@user/siracusa) |
| 2025-09-18 07:16:05 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Quit: bmV2ZXJnb25uYWdpdmV5b3V1cG5ldmVyZ29ubmFsZXR5b3Vkb3du) |
| 2025-09-18 07:17:16 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-09-18 07:17:28 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 2025-09-18 07:17:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-09-18 07:19:20 | × | defragger quits (~random@i5C742C0E.versanet.de) (Quit: leaving) |
| 2025-09-18 07:19:30 | → | defragger joins (~random@i5C742C0E.versanet.de) |
| 2025-09-18 07:27:45 | → | acidjnk joins (~acidjnk@p200300d6e7171931818b3f6cc8b1abe4.dip0.t-ipconnect.de) |
| 2025-09-18 07:28:00 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 256 seconds) |
| 2025-09-18 07:28:05 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-18 07:30:04 | → | craunts79 joins (~craunts@152.32.99.194) |
| 2025-09-18 07:32:50 | × | acidjnk quits (~acidjnk@p200300d6e7171931818b3f6cc8b1abe4.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-09-18 07:33:14 | → | acidjnk joins (~acidjnk@p200300d6e7171931818b3f6cc8b1abe4.dip0.t-ipconnect.de) |
| 2025-09-18 07:35:23 | → | fp joins (~Thunderbi@wireless-86-50-140-15.open.aalto.fi) |
| 2025-09-18 07:41:40 | → | ubert joins (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) |
| 2025-09-18 07:43:34 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-09-18 07:43:52 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-18 07:46:42 | × | fp quits (~Thunderbi@wireless-86-50-140-15.open.aalto.fi) (Quit: fp) |
| 2025-09-18 07:46:58 | → | fp joins (~Thunderbi@wireless-86-50-140-15.open.aalto.fi) |
| 2025-09-18 07:50:24 | × | tromp quits (~textual@2001:1c00:3487:1b00:e91c:4745:1af1:e3b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-18 07:55:49 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Ping timeout: 244 seconds) |
| 2025-09-18 08:07:58 | → | tjakway joins (~tjakway@146.70.173.149) |
| 2025-09-18 08:10:11 | <tjakway> | How do you guys write and organize your notes (on Haskell and everything else)? I use LibreOffice but I'm kind of fed up with its limitations and am thinking of fully moving to latex |
| 2025-09-18 08:10:47 | <tjakway> | Right now I file everything in Google Drive but I'm very unhappy with its lack of Linux support and Latex could also lead to filing everything in git instead... has anyone else done this? |
| 2025-09-18 08:10:58 | → | mreh joins (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-18 08:13:43 | <tomsmeding> | I use a notes.txt file in the relevant git repo for the project if applicable, otherwise markdown notes in a syncthing-synchronised folder (that I view with Obsidian, but I don't use any of the fancy functionality) |
| 2025-09-18 08:14:44 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-18 08:14:59 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-18 08:16:42 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-09-18 08:18:59 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-09-18 08:20:27 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-18 08:20:59 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 260 seconds) |
| 2025-09-18 08:22:07 | × | APic quits (apic@apic.name) (Ping timeout: 260 seconds) |
All times are in UTC.