Newest at the top
| 2024-11-07 20:28:51 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-07 20:26:14 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 260 seconds) |
| 2024-11-07 20:23:25 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2024-11-07 20:21:34 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 260 seconds) |
| 2024-11-07 20:20:46 +0100 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-11-07 20:20:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-07 20:19:54 +0100 | emfrom | (~emfrom@37.168.27.131) |
| 2024-11-07 20:18:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-07 20:16:14 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-07 20:13:54 +0100 | <dolio> | Instead of first-inserted. |
| 2024-11-07 20:13:44 +0100 | <dolio> | I see. Cuckoo optimizes for looking up the most recently inserted, basically? |
| 2024-11-07 20:13:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 20:13:07 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-07 20:12:50 +0100 | spew | (~spew@135.233.119.40) spew |
| 2024-11-07 20:12:43 +0100 | <lambdabot> | Consider it noted. |
| 2024-11-07 20:12:43 +0100 | <tomsmeding> | @tell kuribas tactics are separate from the language, to be sure, but they're written _in_ the language, and you can't "just" use tactics written for coq in agda. In fact, I've never heard of anyone even trying anything in that direction. |
| 2024-11-07 20:12:35 +0100 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
| 2024-11-07 20:12:07 +0100 | <c_wraith> | open probing, linear probing, etc |
| 2024-11-07 20:11:58 +0100 | <c_wraith> | There are other. |
| 2024-11-07 20:11:56 +0100 | <c_wraith> | well, that's one specific strategy |
| 2024-11-07 20:11:46 +0100 | <dolio> | Oh. I've never heard it called that. |
| 2024-11-07 20:11:11 +0100 | <c_wraith> | see the earlier note about Cuckoo hashing |
| 2024-11-07 20:10:59 +0100 | <dolio> | (Or, multiple values in a bucket in general.) |
| 2024-11-07 20:10:38 +0100 | <dolio> | Does anyone use the sort of hash tables where you don't put linked lists in each bucket? I was required to learn about those at some point. |
| 2024-11-07 20:08:39 +0100 | housemate | (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
| 2024-11-07 20:08:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-07 20:05:02 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-07 20:03:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 20:02:14 +0100 | son0p | (~ff@152.202.37.255) (Ping timeout: 255 seconds) |
| 2024-11-07 20:01:49 +0100 | spew | (~spew@135.233.119.40) (Remote host closed the connection) |
| 2024-11-07 19:56:59 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Remote host closed the connection) |
| 2024-11-07 19:54:10 +0100 | <mauke> | probie: not if you put a balanced tree under each bucket! |
| 2024-11-07 19:53:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-07 19:45:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 19:44:56 +0100 | ih1d | (~ih1d@24.139.109.18) |
| 2024-11-07 19:44:21 +0100 | spew | (~spew@135.233.119.40) spew |
| 2024-11-07 19:44:06 +0100 | spew | (~spew@135.233.119.40) (Remote host closed the connection) |
| 2024-11-07 19:42:24 +0100 | benkard | mulk |
| 2024-11-07 19:42:24 +0100 | mulk | (~mulk@pd95146e9.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-11-07 19:42:09 +0100 | spew | (~spew@135.233.119.40) spew |
| 2024-11-07 19:40:43 +0100 | benkard | (~mulk@pd95146e9.dip0.t-ipconnect.de) mulk |
| 2024-11-07 19:39:24 +0100 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-11-07 19:35:06 +0100 | Square2 | (~Square@user/square) Square |
| 2024-11-07 19:33:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-07 19:32:29 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2024-11-07 19:29:46 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) hgolden |
| 2024-11-07 19:26:45 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-07 19:25:35 +0100 | hgolden__ | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) (Remote host closed the connection) |
| 2024-11-07 19:25:35 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) (Remote host closed the connection) |
| 2024-11-07 19:25:25 +0100 | hgolden_ | (~hgolden@23.162.40.69) (Ping timeout: 248 seconds) |