Logs: liberachat/#haskell
| 2025-12-01 00:53:41 | <glguy> | singletons are |
| 2025-12-01 00:54:47 | <haskellbridge> | <zoil> thats what learys answer looks like its managing to acheive |
| 2025-12-01 00:54:48 | glguy | ponders if that's exactly right, but anyway, the way to get type information from a value is using a GADT |
| 2025-12-01 00:55:33 | <haskellbridge> | <zoil> i mean, this is all super interesting, and i think it might even work, but im hardly going to be able to do it |
| 2025-12-01 00:55:43 | <glguy> | yeah, it's better to just not overcomplicate your program |
| 2025-12-01 00:55:46 | <haskellbridge> | <zoil> but, iiuc your saying its theoretically possivle |
| 2025-12-01 00:55:51 | <haskellbridge> | <zoil> possible* |
| 2025-12-01 00:56:07 | <haskellbridge> | <zoil> id rather do it right at the onset, than have these constraints following me around |
| 2025-12-01 00:56:28 | <glguy> | this route leads to brittle programs that are hard to update and refactor |
| 2025-12-01 00:56:37 | <haskellbridge> | <zoil> basically, anything that requires more than one instance, like some kind of recusion matching on the tail or something, and then im in constraints hell |
| 2025-12-01 00:56:49 | <glguy> | and a mess of complicated error messages and special utility functions to manage it all |
| 2025-12-01 00:57:15 | <haskellbridge> | <zoil> https://kf8nh.com/_heisenbridge/media/matrix.org/hTIHFOzGuFAqswyfkLuIVoBL/yfXyRcmB1_8/image.png |
| 2025-12-01 00:57:50 | <haskellbridge> | <zoil> id rather just be able to read off constraints that arent insane |
| 2025-12-01 00:58:04 | <haskellbridge> | <zoil> like, the stateful constraints make sense, but the length constraint is just garbage |
| 2025-12-01 00:59:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 01:00:32 | <haskellbridge> | <zoil> maybe it would be worth trying the length version, thats really common |
| 2025-12-01 01:01:00 | → | X-Scale joins (~ARM@6.67.114.89.rev.vodafone.pt) |
| 2025-12-01 01:01:12 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-01 01:01:31 | <haskellbridge> | <zoil> https://paste.tomsmeding.com/gHFMMx2t |
| 2025-12-01 01:03:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-01 01:04:44 | <haskellbridge> | <zoil> i have to go actually |
| 2025-12-01 01:05:00 | <haskellbridge> | <zoil> so anyway, possibly singlestons help but in a way that ill probably never understand |
| 2025-12-01 01:05:04 | <haskellbridge> | <zoil> _le sigh_ |
| 2025-12-01 01:10:27 | <haskellbridge> | <zoil> monochrom: you cat get back to talking about the 1950's now |
| 2025-12-01 01:11:53 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-01 01:12:07 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-01 01:12:47 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-12-01 01:14:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 01:16:56 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds) |
| 2025-12-01 01:18:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-01 01:18:57 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-12-01 01:19:10 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-01 01:19:10 | <EvanR> | lol |
| 2025-12-01 01:19:49 | <EvanR> | the 1950s when you had like cathode ray tubes and such |
| 2025-12-01 01:22:08 | → | omidmash3 joins (~omidmash@user/omidmash) |
| 2025-12-01 01:24:12 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-01 01:24:12 | omidmash3 | is now known as omidmash |
| 2025-12-01 01:30:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 01:30:30 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-01 01:34:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-01 01:35:44 | <geekosaur> | some of us were still using them in the early 2000s |
| 2025-12-01 01:35:55 | <geekosaur> | degaussing my monitor every month was fun |
| 2025-12-01 01:41:59 | <monochrom> | The most bonkers was when CRT was memory rather than display. >:) |
| 2025-12-01 01:43:03 | <haskellbridge> | <iqubic (she/her)> WHAT?!?!?! |
| 2025-12-01 01:43:30 | <glguy> | HE SAID: "THE MOST BONKERS WAS WHEN... |
| 2025-12-01 01:43:30 | <monochrom> | (In general, any output device combined with a sensor could be memory: To store 1, output 1 and have the sensor read back that 1, repeat.) |
| 2025-12-01 01:43:59 | <monochrom> | (The two popular choices were mercury tube and CRT.) |
| 2025-12-01 01:45:08 | <monochrom> | (More precisely, there must also be a non-zero time delay between sending output and reading back input. Today, you use logic gates to make flip flops, same difference.) |
| 2025-12-01 01:45:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 01:50:25 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-01 01:51:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-01 01:52:03 | <monochrom> | I hadn't thought of it that way until I read both a Turing biography (so there was his team using CRTs and mercury tubes for early computers) and Harper's PFPL in which he pointed out "state comes from self-reference" and exemplified with using recursion to make an RS latch. |
| 2025-12-01 01:53:45 | × | Pozyomka quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2025-12-01 01:54:18 | → | Guest62 joins (~Guest62@38.49.92.193) |
| 2025-12-01 01:55:01 | <Guest62> | I'm profiling my haskell functions (pitting them against each other to compare their memory usages). Could someone help me understand how profiling works? I have basically never done this before. |
| 2025-12-01 01:55:44 | <glguy> | Have you seen this already? https://ghc.gitlab.haskell.org/ghc/doc/users_guide/profiling.html |
| 2025-12-01 01:58:01 | catties | is now known as Catty |
| 2025-12-01 01:58:11 | <Guest62> | uh yes. I think I need heap profiling. I think my primary question is "Does the total memory allocated section count reuse of memory as a separate additional allocation?" and how to not make it do that if it does. |
| 2025-12-01 01:58:45 | <jreicher> | monochrom: delay line memory was always my favourite. |
| 2025-12-01 01:58:55 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-12-01 01:59:00 | × | iqubic quits (~sophia@2601:602:9203:1660:c137:59bd:3f5b:b4a7) (Remote host closed the connection) |
| 2025-12-01 02:00:45 | <monochrom> | I mean, I worked like that when I was a child, too. Whenever required to memorize a story or a poem, I read aloud and listened to myself, repeat. |
| 2025-12-01 02:01:11 | → | iqubic joins (~sophia@2601:602:9203:1660:c137:59bd:3f5b:b4a7) |
| 2025-12-01 02:01:13 | <EvanR> | this would be like, read the poem aloud really loud in the grand canyon, then wait |
| 2025-12-01 02:01:22 | monochrom | is an echo relay memory and a large language model. |
| 2025-12-01 02:01:33 | <jreicher> | DRAM's pretty crazy too actually. As funky as flip-flops are, they are probably the most straightforward of all the techs. |
| 2025-12-01 02:01:47 | → | wickedjargon joins (~user@64.114.24.74) |
| 2025-12-01 02:02:03 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 2025-12-01 02:03:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 02:08:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-01 02:18:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 02:21:07 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-12-01 02:21:46 | <Guest62> | okay, I was able to learn heap profiling, but my graphs seem empty.... |
| 2025-12-01 02:22:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-01 02:24:55 | <EvanR> | what is the program |
| 2025-12-01 02:25:35 | × | haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 240 seconds) |
| 2025-12-01 02:25:57 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-01 02:26:33 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2025-12-01 02:26:33 | ChanServ | sets mode +v haskellbridge |
| 2025-12-01 02:27:28 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-12-01 02:27:41 | × | jrm quits (~jrm@user/jrm) (Read error: Connection reset by peer) |
| 2025-12-01 02:27:55 | → | jrm joins (~jrm@user/jrm) |
| 2025-12-01 02:28:10 | → | firesquidwao joins (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 2025-12-01 02:28:40 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-01 02:28:48 | × | tuxpaint quits (~a@put.gay) (Read error: Connection reset by peer) |
| 2025-12-01 02:31:54 | Googulator91 | is now known as Googulator |
| 2025-12-01 02:32:01 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-01 02:34:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 02:38:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-01 02:41:57 | <Guest62> | It is essentially comparing an equation solver using ST Monad to one without |
| 2025-12-01 02:49:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-01 02:52:55 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-01 02:53:25 | → | inline__ joins (~inlinE@2001-4dd3-7fc8-0-8721-eee6-e05a-14dd.ipv6dyn.netcologne.de) |
| 2025-12-01 02:54:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-01 02:55:39 | × | Inline quits (~inlinE@2001-4dd7-868d-0-2e24-c46e-4393-27fd.ipv6dyn.netcologne.de) (Ping timeout: 244 seconds) |
| 2025-12-01 02:55:50 | <Guest62> | Okay I now have data but I still can't make sense of this data :( |
| 2025-12-01 03:00:38 | × | Googulator quits (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-01 03:00:51 | → | Googulator joins (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-01 03:01:43 | × | Guest62 quits (~Guest62@38.49.92.193) (Quit: Client closed) |
| 2025-12-01 03:04:41 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
All times are in UTC.