@avsm@recoil.org
@avsm@recoil.org avatar

avsm

@avsm@recoil.org

Professor of Planetary Computing, University of Cambridge

This profile is from a federated server and may be incomplete. Browse more on the original instance.

avsm, to random
@avsm@recoil.org avatar

Whoever the genius is loudly playing "things can only get better" while the PM is speaking live on every British TV channel, I applaud you

avsm, to random
@avsm@recoil.org avatar

The Programming for the Planet videos are all online now on @propl24 https://watch.eeg.cl.cam.ac.uk/c/propl24/videos and the program at propl.dev

avsm, to random
@avsm@recoil.org avatar

Syntax support for effect handlers about to go into OCaml 5.3-dev thanks to @kayceesrk and a big collaborative revisionfest. https://github.com/ocaml/ocaml/pull/12309#issue-1762241167

You can see the old/new syntax here in the effects-examples repository: https://github.com/ocaml-multicore/effects-examples/pull/42/files

avsm, to random
@avsm@recoil.org avatar

A simply lovely post from @satnam6502 of my colleague Ross Anderson who recently passed unexpectedly. I'm currently sitting in the sun near Mill Pond going through Ross' lecture notes to deliver them next week... thanks for the cheery memories of piping, Satnam!
https://raintown.org/ross_anderson/

avsm, to random
@avsm@recoil.org avatar

Anyone got any suggestions for how to share slides with lots of video content? All my recent talks have had a bunch of videos and are >1GB, so conventional "upload PDF" doesn't work, and not everyone has Keynote.

whitequark, to random
@whitequark@mastodon.social avatar

docker on macos doesn't support ipv6 at all??? https://github.com/docker/for-mac/issues/1432

i am sorry what century is it

avsm,
@avsm@recoil.org avatar

@Kensan @whitequark just a lack of hacking time for ipv6. Bear in mind that it introduces lots of new failure modes (happy eyeballs etc) so it's not just a matter of adding ipv6, but also making sure it doesnt break existing ipv4-only assumption. High effort, low reward is probably the best TL;DR for ipv6 deployment

avsm,
@avsm@recoil.org avatar

@whitequark @Kensan there's a bit more now because apple have their own kernel interfaces for various things (virtio based) with their own bugs. So even localhost gets complex since there's no direct veth between darwin<->linux without quirks

avsm, to random
@avsm@recoil.org avatar

Ooh AERC (the cli email client) got support for JMAP; it’s pretty good for my university email now (which comes via Fastmail) https://aerc-mail.org

avsm, to random
@avsm@recoil.org avatar

The 1st Workshop on Programming for the Planet (PROPL) is coming up on 20th Jan in London, with exciting keynotes from Drew Purves and Lisa Rennels!

Check out the schedule and sign up at https://propl.dev if interested -- a one day pass to POPL will suffice, and participants from industry are particularly warmly welcomed alongside the academic crowd that normally inhabits the halls of ACM conferences. Virtual attendances also available to cut down on air travel.

avsm, to random
@avsm@recoil.org avatar

It’s weird to think how suddenly TCP isn’t a must-have in a modern software stack. You could have a HTTP3/QUIC/UDP stack and only need TCP for compatibility fallbacks to HTTP/1.1. Could even shell in with Mosh over UDP.

albertcardona, to random
@albertcardona@mathstodon.xyz avatar

This season of family gatherings is a great moment to persuade your relatives to install the Signal App @signalapp in their phones as a way to get your photos of the events. Then setup a family group chat with them all so that there's a reason to start and then continue using it.

That's one path to wean them off whatsapp and even worse messenger apps. At the very least your own communications within the family will happen outside those privacy nightmarish ever-hungry gargantuan for-profit corporations.

avsm,
@avsm@recoil.org avatar

@albertcardona I’ve got my lot on Matrix, with a self hosted server! Working pretty well for the past few years

avsm, to random
@avsm@recoil.org avatar

The 2023 global user survey is out! Fill in by Dec 8th if you're an even-toed ungulate or program like one! https://discuss.ocaml.org/t/ann-ocaml-user-survey-2023/13469

avsm, to random
@avsm@recoil.org avatar

OCaml 5 has a compaction phase in the GC again, and in some ways even better than OCaml 4's! Now has really nice transparent superpage coalescing as well, for the size-segment pools for larger allocations present in OCaml 5.0+. This feature will be present in OCaml 5.2 onwards. https://github.com/ocaml/ocaml/pull/12193

avsm,
@avsm@recoil.org avatar

@whitequark yeah…

avsm, to random
@avsm@recoil.org avatar

I'm a bit worried by the lack of maintenance of the upstream C libyaml library. Are there any non-C implementations of the Yaml 1.1 spec I could look at, to see how much work it'd be to write a pure OCaml version of Yaml without the C dependency? (This is for https://github.com/avsm/ocaml-yaml)

avsm, to random
@avsm@recoil.org avatar

New paper in Nature Climate Change today on our approach to valuing impermanent climate interventions robustly such that they can be made comparable across geographies and approaches. We apply it to tropical forest protection, where finance is desperately needed to provide alternatives to clearcutting some of the world’s most precious land. https://www.cam.ac.uk/research/news/offset-markets-new-approach-could-help-save-tropical-forests-by-restoring-faith-in-carbon-credits

avsm, to random
@avsm@recoil.org avatar

My recent ICFP 2023 keynote talk on (functional) "Programming for the Planet" is online now at https://crank.recoil.org/w/jMqpdGnw5Tuf5sLVr6zpNU -- comments and queries most welcome!

avsm, to random
@avsm@recoil.org avatar

I'm liking the revise-and-resubmit model that Eurosys has adopted. We got really thoughtful reviews, made a rebuttal, received back a succinct actionable list of things we can fix in our paper, and a commitment that it'll be re-reviewed by the same people in the fall when we resubmit. Wow! Even if it's rejected at that point, I feel heard ;-)

avsm, to random
@avsm@recoil.org avatar

Is there a qemu image repository of base system images for common OSes these days? I’m looking for the various BSDs in particular…

avsm,
@avsm@recoil.org avatar

@encthenet they all need autoinstallation done first. I was hoping for a reasonable base config versions that just work when booted (for CI or other quick shells)

avsm, to random
@avsm@recoil.org avatar

Brought the beloved multicore effect handler concrete syntax back as a PR to mainline OCaml 5.2-dev https://github.com/ocaml/ocaml/pull/12309 with the corresponding examples here https://github.com/avsm/ocaml-eff-example/tree/effect-syntax; do chime in on the PR if you would like this or not

avsm, to random
@avsm@recoil.org avatar

So delighted to have first-class CO2 emissions metrics integrated into the multiarch cluster, thanks to @patricoferris . Next: taking scheduling decisions on big build jobs based on when energy is greenest

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • tacticalgear
  • DreamBathrooms
  • thenastyranch
  • magazineikmin
  • Durango
  • cubers
  • Youngstown
  • mdbf
  • slotface
  • rosin
  • ngwrru68w68
  • kavyap
  • GTA5RPClips
  • provamag3
  • ethstaker
  • InstantRegret
  • Leos
  • normalnudes
  • everett
  • khanakhh
  • osvaldo12
  • cisconetworking
  • modclub
  • anitta
  • tester
  • megavids
  • lostlight
  • All magazines
    •