Newest at the top
| 2026-02-19 19:00:24 +0100 | <tomsmeding> | like this, or if you want to stay with ascii, like _this_ :) |
| 2026-02-19 19:00:18 +0100 | <mauke> | made with "real" beef |
| 2026-02-19 19:00:04 +0100 | <gentauro> | and how would you put emphasis then? In «inglés»? |
| 2026-02-19 18:59:40 +0100 | <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:58:57 +0100 | <geekosaur> | it always bugs me |
| 2026-02-19 18:58:53 +0100 | <geekosaur> | tomsmeding: sadly, people have been using quotes that way for several years in the US |
| 2026-02-19 18:57:37 +0100 | <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 18:57:09 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) |
| 2026-02-19 18:57:05 +0100 | <gentauro> | however, I can see from the website that they have removed `FPGAs` :( |
| 2026-02-19 18:56:55 +0100 | <tomsmeding> | that's not how they work in english :p |
| 2026-02-19 18:56:46 +0100 | <gentauro> | tomsmeding: I use the quotes to put empasis ;) |
| 2026-02-19 18:55:52 +0100 | <tomsmeding> | why the scare-quotes? |
| 2026-02-19 18:53:46 +0100 | <gentauro> | they had some pretty "competent" Haskellers |
| 2026-02-19 18:53:37 +0100 | <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 18:50:31 +0100 | Googulator10 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 18:50:08 +0100 | Googulator10 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 18:49:40 +0100 | pinkc | (~luke@user/pinkc) pinkc |
| 2026-02-19 18:47:56 +0100 | <tomsmeding> | the design of the program that is to use the fpga, I presume |
| 2026-02-19 18:47:03 +0100 | <__monty__> | The behavior as programmed, rather than the actual programmable gates? |
| 2026-02-19 18:46:24 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2026-02-19 18:44:55 +0100 | <edwardk> | __monty__: was modeling the behavior of the fpgas using haskell to make sure the design would work |
| 2026-02-19 18:44:39 +0100 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2026-02-19 18:44:22 +0100 | <edwardk> | indeed |
| 2026-02-19 18:42:04 +0100 | <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 18:41:20 +0100 | <juri_> | edwardk: i'm still working on getting my FPGAs supported by clash. |
| 2026-02-19 18:39:46 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-19 18:35:58 +0100 | <__monty__> | To be able to prototype programs for the FPGAs in Haskell? |
| 2026-02-19 18:31:30 +0100 | <edwardk> | juri_: I basically prototyped positron.ai that way, modeling the behavior of the FPGAs we use. |
| 2026-02-19 18:28:45 +0100 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-19 18:22:19 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-19 18:21:38 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-02-19 18:21:01 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-19 18:18:44 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-19 18:18:44 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:348f:cdc3:eb42:df06) (Changing host) |
| 2026-02-19 18:18:44 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:348f:cdc3:eb42:df06) |
| 2026-02-19 18:18:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-19 18:18:26 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-19 18:18:14 +0100 | JoeBauer | (~JoeBauer@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) (Client Quit) |
| 2026-02-19 18:17:14 +0100 | pinkc | (~luke@user/pinkc) (Ping timeout: 252 seconds) |
| 2026-02-19 18:14:26 +0100 | JoeBauer | (~JoeBauer@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) |
| 2026-02-19 18:14:01 +0100 | Genthree | (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) (Ping timeout: 272 seconds) |
| 2026-02-19 18:13:02 +0100 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) |
| 2026-02-19 18:12:14 +0100 | Genthree67 | (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) (Client Quit) |
| 2026-02-19 18:10:46 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-02-19 18:09:55 +0100 | Genthree67 | (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) |
| 2026-02-19 18:03:53 +0100 | Genthree62 | (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) (Ping timeout: 272 seconds) |
| 2026-02-19 18:02:35 +0100 | Googulator10 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 18:02:21 +0100 | Googulator10 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 17:59:27 +0100 | Genthree | (~Genthree@2a02:3035:62f:9d5e:13ec:c3d0:4447:9782) |
| 2026-02-19 17:58:13 +0100 | gehmehgeh | gmg |