Newest at the top
| 2025-05-10 20:45:39 +0200 | <geekosaur> | https://en.wikipedia.org/wiki/File:Fear_Factory_Digimortal.jpg |
| 2025-05-10 20:45:38 +0200 | <[exa]> | a true hieroglyph |
| 2025-05-10 20:45:30 +0200 | <[exa]> | EvanR: that looks like integrated circuits way before miniaturization |
| 2025-05-10 20:44:24 +0200 | <EvanR> | https://i.imgur.com/qGnzYt8.png |
| 2025-05-10 20:44:06 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-05-10 20:43:56 +0200 | <geekosaur> | I think you need one of the add-on packs on discord for that 😛 |
| 2025-05-10 20:43:22 +0200 | <EvanR> | I tried to find a "computer chip" emoji but instead found 𓀨 |
| 2025-05-10 20:42:33 +0200 | <geekosaur> | (and they actually make 0-ohm resistors for that purpose, since they can be handled by wave soldering which standard jumpers fail with) |
| 2025-05-10 20:40:18 +0200 | <geekosaur> | they're called "jumpers" 😛 |
| 2025-05-10 20:40:14 +0200 | <EvanR> | now the board is broken |
| 2025-05-10 20:38:29 +0200 | <[exa]> | EvanR: "this resistor is 0 ohms, we can omit it!!!" |
| 2025-05-10 20:38:28 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 20:32:32 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-10 20:32:31 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-10 20:31:09 +0200 | PavWhoSays`Ni` | (~user@user/siracusa) siracusa |
| 2025-05-10 20:26:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-10 20:24:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-10 20:21:37 +0200 | <EvanR> | like a zero ohm resistor is pointless because it has no resistance right, but can be handled by the resistor placing robot |
| 2025-05-10 20:21:15 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f36c510993b03445193.dip0.t-ipconnect.de) acidjnk |
| 2025-05-10 20:21:13 +0200 | drewr | (~drew@user/drewr) drewr |
| 2025-05-10 20:19:42 +0200 | <EvanR> | then you can have an array of things of the same form fit the same shape |
| 2025-05-10 20:19:17 +0200 | <EvanR> | yes unused things are good |
| 2025-05-10 20:16:53 +0200 | beka_ | (~beka@170-39-168-234.PUBLIC.monkeybrains.net) (Quit: Leaving) |
| 2025-05-10 20:15:56 +0200 | <hellwolf> | I guess newtype wrapper is inevitable. I wasn't 100% sure of it until I tried in playground. |
| 2025-05-10 20:14:40 +0200 | euleritian | (~euleritia@dynamic-176-006-133-107.176.6.pool.telefonica.de) |
| 2025-05-10 20:14:34 +0200 | <hellwolf> | or fitting some type shape of others API |
| 2025-05-10 20:13:34 +0200 | <geekosaur> | backward compatibility when something changes such that it's not needed any more? |
| 2025-05-10 20:13:04 +0200 | euleritian | (~euleritia@95.90.209.105) (Ping timeout: 260 seconds) |
| 2025-05-10 20:13:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-10 20:12:28 +0200 | <hellwolf> | what would be a sane reason for it even be used? |
| 2025-05-10 20:12:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-10 20:11:49 +0200 | <hellwolf> | probably it should be a warning in -Wall |
| 2025-05-10 20:11:40 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-10 20:10:53 +0200 | <geekosaur> | I believe so, since it's the expansion that matters to the typechecker |
| 2025-05-10 20:10:16 +0200 | hellwolf | is not complete crazy; just touched some grass and came back. |
| 2025-05-10 20:09:29 +0200 | <hellwolf> | the unused type variable of a type synonym is completely ignored, right? |
| 2025-05-10 20:06:36 +0200 | nckx | (nckx@libera/staff/owl/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>) |
| 2025-05-10 20:06:35 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-10 19:59:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-10 19:55:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:7096:3eb3:2e24:9bff) |
| 2025-05-10 19:43:31 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-10 19:40:52 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-10 19:38:51 +0200 | jespada | (~jespada@179.26.250.37) jespada |
| 2025-05-10 19:33:35 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 260 seconds) |
| 2025-05-10 19:31:40 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-05-10 19:29:41 +0200 | puke | (~puke@user/puke) puke |
| 2025-05-10 19:27:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-10 19:25:37 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-05-10 19:21:29 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-10 19:07:04 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
