75 on this site · 508 links
On this siterelevancedate75
.plan-26-40: A whole new world (of wall-to-wall Tessera embeddings)4th Oct 2026#compsci#ocaml#security#teaching#tessera.plan-26-37: The humans aren't dead, the humans are ahead13th Sep 2026#ai#cambridge#ocaml#security#teachingHitting a NERVE with attacks on AI-powered brain-computer interfaces11th Sep 2026#ai#brain#security#systems.plan-26-36: Ground control to major MODIS6th Sep 2026#ai#conservation#evidence#ocaml#oxcamlSecurity scanning my own code with Scrutineer and local coding models31st Aug 2026#ai#llms#ocaml#security.plan-26-35: All I want for Tesseramas is (GP)U30th Aug 2026#ai#biodiversity#ocaml#sdms#security.plan-26-34: Am I human or am I antibotty23rd Aug 2026#ai#ocaml#security#tesseraJust a rumour of a bug is enough to find a security exploit these days22nd Aug 2026#ai#llms#ocaml#policy#securityAn antibotty defensive testbed to protect network services1st Aug 2026#ai#formal#mirageos#ocaml#security.plan-26-24: Apparently a professor now; still debugging io_uring at midnight14th Jun 2026#academia#ai#eio#email#linuxSelf-hosting email the hard way from your own routable IPv4 block up6th Jun 2026#email#internet#networking#security#selfhosting.plan-26-15: Banyan trees, (anti)botnets and Bose-Einstein bases12th Apr 2026#ai#ecology#india#infrastructure#internetThe Internet needs an antibotty immune system, stat8th Apr 2026#ai#ecology#internet#security.plan-26-14: Tracking AI screen time and escaping to pen and paper5th Apr 2026#ai#infrastructure#internet#ocaml#oxcamlWhat if we could hot swap our Biometrics?1st Sep 2025#biometrics#preprint#securityEmission Impossible: privacy-preserving carbon emissions claims1st Jun 2025#carbon#emissions#preprint#security#zkpEmission Impossible: privacy-preserving carbon emissions claims15th Apr 2025#carbon#policy#security#zkpSocially self-hosting source code with Tangled on Bluesky8th Mar 2025#bluesky#distributed#docker#identity#ocamlTeaching at Cambridge3rd Jan 2025#cambridge#cloud#compsci#computerlab#distributedTowards security specifications for agentic AIs4th Sep 2024#:plancomp#ai#icfp#security#specification