descriptiondotat.at web site
ownerTony Finch
last changeMon, 23 Jun 2025 20:42:02 +0000 (21:42 +0100)
shortlog
11 hours ago Tony Finch2024-12-13T01:43:16Z: Thoughts on hashing in Rust. trunk
14 hours ago Tony Finch2025-06-12T07:58:46Z: A multivalued language with a...
17 hours ago Tony Finch2025-03-30T17:40:04Z: Towards fearless SIMD in Rust...
20 hours ago Tony Finch2025-01-28T03:29:37Z: A retrospective on SCCS, the...
23 hours ago Tony Finch2025-04-12T23:42:51Z: Why is there a "small house"...
35 hours ago Tony Finch2025-05-22T11:22:34Z: Blazingly fastâ„¢ type class resolu...
38 hours ago Tony Finch2025-05-15T23:01:10Z: Fixing the traffic jam in the...
41 hours ago Tony Finch2025-06-10T20:42:36Z: Dependent types and program equiv...
44 hours ago Tony Finch2025-02-08T19:05:33Z: Fend: an arbitrary-precision...
47 hours ago Tony Finch2025-06-03T02:29:51Z: What's higher-order about so...
2 days ago Tony Finch2025-05-02T12:49:37Z: Optimizing programs written in...
2 days ago Tony Finch2025-03-24T16:48:57Z: faer: a general-purpose linear...
2 days ago Tony Finch2024-12-26T18:13:11Z: Rewriting the Ruby parser.
2 days ago Tony Finch2025-05-21T01:48:41Z: Dependent types at work in Agda.
2 days ago Tony Finch2025-04-08T16:04:36Z: On the complexity and performance...
3 days ago Tony Finch2025-03-21T21:38:55Z: I want a good parallel computer.
...
tags
13 months ago wwwdotat wwwdotat
heads
11 hours ago trunk