Feeling a bit nostalgic, and wrote a blog post about a mail client we wrote in 1995. https://lambda-files.crocodile.org/2023/02/computer-archeology-umt-ultimate-mail.html
Even Consumer Report recommends using memory-safe languages! https://advocacy.consumerreports.org/wp-content/uploads/2023/01/Memory-Safety-Convening-Report-1-1.pdf
@JetBlue WiFi claims to be fast, even to watch videos. It looks like it is indeed optimized for that: wide download bandwidth at the price of high latency and noticeable packet loss. Good for movies but poor for work :(
--- 8.8.8.8 ping statistics ---
608 packets transmitted, 600 received, 1.31579% packet loss, time 608249ms
rtt min/avg/max/mdev = 632.000/1058.264/2814.529/264.364 ms, pipe 3
Speaking of masks (which are people are right to wear!), I discovered an embarrassing problem. I could not recognize some people I know while they are masked, and I could not read their badges without putting my glasses on. So, dear friends, my apologies if I did not acknowledge you at #popl. P.S. Maybe an even bigger font for badges for people like me?
"segments are distinguished by colour" in #popl presentation makes the former Accessibility Chair in me ill at ease.
Everybody is excitedly reposting ChatGPT-generated dross. It might be amusing but it is not very interesting. Yes, ChatGPT is pretty good at mimicking humans, but it is just that. It does not produce any new ideas, and any answers it gives are not supported by sound reasoning. I do not say that underlying technology is worthless. Let's just move past party tricks and try to make something useful out of it.
Within a few weeks of each other, the #GHC #Haskell compiler had two new exciting backends merged: #WebAssembly (https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc/) and #JavaScript (https://engineering.iog.io/2022-12-13-ghc-js-backend-merged/)!
C.ACM blog wanted to republish this: https://cacm.acm.org/blogs/blog-cacm/267440-bad-reasons-to-reject-good-papers-and-vice-versa/fulltext
My colleagues are evaluating bit-vector libraries for #Coq. 11 identified so far. I think the solution is to write yet another one to rule them all :)
Senior Research Associate at the University of Cambridge. Interests: PL, formal methods.