Logs: liberachat/#haskell
| 2026-02-19 15:36:51 | × | kmein quits (~weechat@user/kmein) (Server closed connection) |
| 2026-02-19 15:37:16 | → | kmein joins (~weechat@user/kmein) |
| 2026-02-19 15:37:26 | → | fp joins (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) |
| 2026-02-19 15:39:19 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 264 seconds) |
| 2026-02-19 15:41:40 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-19 15:43:41 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2026-02-19 15:45:44 | × | fp quits (~Thunderbi@wireless-86-50-141-119.open.aalto.fi) (Ping timeout: 245 seconds) |
| 2026-02-19 15:47:03 | × | tromp quits (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-19 15:49:24 | × | pinkc quits (~luke@user/pinkc) (Ping timeout: 256 seconds) |
| 2026-02-19 15:56:28 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-19 15:59:49 | → | pinkc joins (~luke@user/pinkc) |
| 2026-02-19 16:12:08 | × | sixfourtwelve quits (~ethanmorg@static.82.129.225.46.clients.your-server.de) (Quit: leaving) |
| 2026-02-19 16:15:28 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-19 16:16:08 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-02-19 16:19:09 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-19 16:20:23 | → | img joins (~img@user/img) |
| 2026-02-19 16:21:46 | → | Genthree joins (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) |
| 2026-02-19 16:22:30 | → | tromp joins (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) |
| 2026-02-19 16:27:33 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-02-19 16:28:58 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-19 16:29:20 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2026-02-19 16:30:04 | → | messewix joins (~jmc@user/messewix) |
| 2026-02-19 16:30:04 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-19 16:34:03 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-19 16:34:51 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-02-19 16:49:22 | → | Googulator10 joins (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 16:50:03 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 16:53:22 | → | Genthree62 joins (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) |
| 2026-02-19 16:54:28 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:8f54:b4a:bfd8:74df) (Remote host closed the connection) |
| 2026-02-19 16:57:33 | × | Genthree quits (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) (Ping timeout: 272 seconds) |
| 2026-02-19 16:58:13 | gehmehgeh | is now known as gmg |
| 2026-02-19 16:59:27 | → | Genthree joins (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) |
| 2026-02-19 17:02:21 | × | Googulator10 quits (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 17:02:35 | → | Googulator10 joins (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 17:03:53 | × | Genthree62 quits (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) (Ping timeout: 272 seconds) |
| 2026-02-19 17:09:55 | → | Genthree67 joins (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) |
| 2026-02-19 17:10:46 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-02-19 17:12:14 | × | Genthree67 quits (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) (Client Quit) |
| 2026-02-19 17:13:02 | → | newmind joins (~newmind@91-133-90-252.dyn.cablelink.at) |
| 2026-02-19 17:14:01 | × | Genthree quits (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) (Ping timeout: 272 seconds) |
| 2026-02-19 17:14:26 | → | JoeBauer joins (~JoeBauer@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) |
| 2026-02-19 17:17:14 | × | pinkc quits (~luke@user/pinkc) (Ping timeout: 252 seconds) |
| 2026-02-19 17:18:14 | × | JoeBauer quits (~JoeBauer@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) (Client Quit) |
| 2026-02-19 17:18:26 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-19 17:18:39 | × | tromp quits (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-19 17:18:44 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:348f:cdc3:eb42:df06) |
| 2026-02-19 17:18:44 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:348f:cdc3:eb42:df06) (Changing host) |
| 2026-02-19 17:18:44 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-19 17:21:01 | → | califax joins (~califax@user/califx) |
| 2026-02-19 17:21:38 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-02-19 17:22:19 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-02-19 17:28:45 | → | jayanth joins (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-19 17:31:30 | <edwardk> | juri_: I basically prototyped positron.ai that way, modeling the behavior of the FPGAs we use. |
| 2026-02-19 17:35:58 | <__monty__> | To be able to prototype programs for the FPGAs in Haskell? |
| 2026-02-19 17:39:46 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-02-19 17:41:20 | <juri_> | edwardk: i'm still working on getting my FPGAs supported by clash. |
| 2026-02-19 17:42:04 | <juri_> | I think this is the second time I have run into you, and found out you're doing what i'm up to... but if i remember right, in the central north of the states? :) |
| 2026-02-19 17:44:22 | <edwardk> | indeed |
| 2026-02-19 17:44:39 | × | Pixi quits (~Pixi@user/pixi) (Quit: Leaving) |
| 2026-02-19 17:44:55 | <edwardk> | __monty__: was modeling the behavior of the fpgas using haskell to make sure the design would work |
| 2026-02-19 17:46:24 | → | Pixi joins (~Pixi@user/pixi) |
| 2026-02-19 17:47:03 | <__monty__> | The behavior as programmed, rather than the actual programmable gates? |
| 2026-02-19 17:47:56 | <tomsmeding> | the design of the program that is to use the fpga, I presume |
| 2026-02-19 17:49:40 | → | pinkc joins (~luke@user/pinkc) |
| 2026-02-19 17:50:08 | × | Googulator10 quits (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 17:50:31 | → | Googulator10 joins (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 17:53:37 | <gentauro> | edwardk: do you know https://myrtle.ai/about/ ? I recall them from ICFP back in the days (no .ai domain though) |
| 2026-02-19 17:53:46 | <gentauro> | they had some pretty "competent" Haskellers |
| 2026-02-19 17:55:52 | <tomsmeding> | why the scare-quotes? |
| 2026-02-19 17:56:46 | <gentauro> | tomsmeding: I use the quotes to put empasis ;) |
| 2026-02-19 17:56:55 | <tomsmeding> | that's not how they work in english :p |
| 2026-02-19 17:57:05 | <gentauro> | however, I can see from the website that they have removed `FPGAs` :( |
| 2026-02-19 17:57:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) |
| 2026-02-19 17:57:37 | <gentauro> | I think it was at IFCP Berlin where they made like a physical square shooter game in both 2D and 3D |
| 2026-02-19 17:58:53 | <geekosaur> | tomsmeding: sadly, people have been using quotes that way for several years in the US |
| 2026-02-19 17:58:57 | <geekosaur> | it always bugs me |
| 2026-02-19 17:59:40 | <geekosaur> | that said, the UK has been using single qotes the same way (emphasis / focus) in news emails for a couple decades now |
| 2026-02-19 18:00:04 | <gentauro> | and how would you put emphasis then? In «inglés»? |
| 2026-02-19 18:00:18 | <mauke> | made with "real" beef |
| 2026-02-19 18:00:24 | <tomsmeding> | like this, or if you want to stay with ascii, like _this_ :) |
| 2026-02-19 18:00:48 | <__monty__> | Or markdown's *emphasis asterisks*. |
| 2026-02-19 18:00:52 | <tomsmeding> | gentauro: interesting, I guess that shows that I live outside of the anglosphere |
| 2026-02-19 18:00:53 | <gentauro> | edwardk: found it -> «We partner with all three companies whose FPGAs power accelerator cards for data centers, namely AMD, Altera and Achronix». Perhaps you should reach out? |
| 2026-02-19 18:01:37 | <tomsmeding> | I naturally read that '"competent"' as scare quotes, i.e. "allegedly competent but I'm not sure I agree" |
| 2026-02-19 18:01:58 | <gentauro> | tomsmeding: replace "competent" with "cool cats" then ;) |
| 2026-02-19 18:01:59 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) |
| 2026-02-19 18:02:22 | <tomsmeding> | :) |
| 2026-02-19 18:02:23 | × | messewix quits (~jmc@user/messewix) (Remote host closed the connection) |
| 2026-02-19 18:02:53 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2026-02-19 18:03:05 | <edwardk> | gentauro: i know myrtle. our fpga product is already out and in the marketplace. |
| 2026-02-19 18:03:26 | <edwardk> | __monty__: it was a behavioral model before we had a working fpga |
| 2026-02-19 18:03:27 | <Clint> | tomsmeding: i also did and i'm a native english speaker |
| 2026-02-19 18:04:31 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |
| 2026-02-19 18:06:38 | gentauro | off-topic on quotes. In Spanish, we write like this: «…» while in Danish we do it the other way around: »…« (but only for headliners) |
| 2026-02-19 18:08:56 | × | pinkc quits (~luke@user/pinkc) (Ping timeout: 252 seconds) |
| 2026-02-19 18:16:05 | <geekosaur> | I date from when school English teachers were still hung up on English needing to emulate Latin (somewhat infamously, "to boldly go" was considered "illegal" because you couldn't split an infinitive in Latin, therefore it was "wrong" to do so in English) so I'm somewhat wired for an obsolete take on US English |
| 2026-02-19 18:17:45 | <mauke> | you can't split an article/noun combo in Latin either, so "the quick fox" should be illegal as well |
| 2026-02-19 18:17:54 | <mauke> | "the fox quick" is much more Latin |
| 2026-02-19 18:19:17 | <geekosaur> | yeh, it was always a bit schizo, I think mostly due to English having started out as a trainwreck between northern Germanic and northern French dialects |
| 2026-02-19 18:20:16 | <mauke> | ... northern French as spoken by norse vikings |
All times are in UTC.