Newest at the top
| 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) |
| 2024-11-07 19:24:57 +0100 | hgolden__ | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) hgolden |
| 2024-11-07 19:24:34 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) hgolden |
| 2024-11-07 19:23:27 +0100 | xdminsy | (~xdminsy@117.147.71.147) (Ping timeout: 252 seconds) |
| 2024-11-07 19:22:47 +0100 | ih1d | (~ih1d@24.139.109.18) (Client Quit) |
| 2024-11-07 19:21:17 +0100 | ih1d | (~ih1d@24.139.109.18) |
| 2024-11-07 19:20:13 +0100 | <haskellbridge> | <Bowuigi> Perfect hash tables are great, but I wouldn't (ab)use the normal ones |
| 2024-11-07 19:20:12 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-07 19:19:08 +0100 | hgolden | (~hgolden@23.162.40.28) (Ping timeout: 245 seconds) |