Posts by martin@nondeterministic.computer
 (DIR) Post #APpLzdl0KPpBur5O9A by martin@nondeterministic.computer
       2022-11-21T11:25:57Z
       
       0 likes, 0 repeats
       
       Leap seconds are being scrapped from 2035! https://www.theguardian.com/world/2022/nov/18/do-not-adjust-your-clock-scientists-call-time-on-the-leap-secondThis is good news for computer systems. In 2012 the leap second crashed lots of websites: https://www.somebits.com/weblog/tech/bad/leap-second-2012.htmlOther leap second problems discussed here: https://queue.acm.org/detail.cfm?id=1967009&doi=10.1145%2F1966989.1967009
       
 (DIR) Post #ASVWJj8aoPDuWYDAZc by martin@nondeterministic.computer
       2023-02-09T14:20:04Z
       
       0 likes, 0 repeats
       
       I wonder if Mastodon is becoming something like Linux on the Desktop: popular among a certain niche of tech enthusiasts, but unlikely to ever reach mainstream adoption because its design is optimised for the preferences of those niche users, not the mainstream
       
 (DIR) Post #AVHUnIBmuA5vloH8xU by martin@nondeterministic.computer
       2023-05-02T14:25:02Z
       
       0 likes, 1 repeats
       
       New paper! 📄✨ It turns out that all text collaboration algorithms have an interleaving problem, and we fixed it for the first time. Very proud of this work with Matthew Weidner and Seph Gentle https://arxiv.org/abs/2305.00583
       
 (DIR) Post #Ahs71wSl1WHvxhPIYq by martin@nondeterministic.computer
       2024-04-24T12:36:45Z
       
       0 likes, 0 repeats
       
       I've worked out why I don't get much value out of LLMs. The hardest and most time-consuming parts of my job involve distinguishing between ideas that are correct, and ideas that are plausible-sounding but wrong. Current AI is great at the latter type of ideas, and I don't need more of those.
       
 (DIR) Post #AhuRKteC6Q0Q8BzZ4q by martin@nondeterministic.computer
       2024-04-24T12:55:33Z
       
       0 likes, 0 repeats
       
       @artificialmind Yes that makes a lot of sense – good use case.
       
 (DIR) Post #AhubRe8v93KNc7DmoS by martin@nondeterministic.computer
       2024-05-15T09:26:58Z
       
       3 likes, 1 repeats
       
       Our university deployed a mail filter that rewrites URLs in emails to redirect them via a service that checks for bad websites. Somebody clever worked out that PGP-signed emails are exempt from the rewrite rule, so now people are starting their emails with "BEGIN PGP MESSAGE" even though they haven't used PGP at all, just to fool the filter 😂Anybody sending malware links has probably also worked out that trick by now, thereby rendering the entire filter pointless