These are all the outbound links from my site, categorised here for convenient search. They are archived for offline use through Karakeep.

Sir David Attenborough joins us to celebrate the Cambridge Conservation InitiativeJun 2026
·www.youtube.com /watch
·www.youtube.com /watch
David Attenborough Building | Viritopia Living Wallswww.viritopia.com
·www.unep-wcmc.org /en/news/sir-david-attenborough-opens-global-hub-f…
·www.traffic.org
Computer Laboratory - Projects - Nicholas Hare Architectswww.nicholashare.co.uk
·www.iflscience.com /we-finally-know-why-wombats-poop-perfect-cubes-58…
·www.fauna-flora.org /our-work/partnership/cambridge-conservation-initi…
Conservation Research Institute |www.conservation.cam.ac.uk
Home | Centre for Landscape Regenerationwww.clr.conservation.cam.ac.uk
The David Attenborough Building - Cambridge Conservation Initiativewww.cambridgeconservation.org
Cambridge Conservation Initiativewww.cambridgeconservation.org
Changemakers: Melissa Leach and Cambridge Conservation Initiativewww.cam.ac.uk
·www.bto.org
·www.birdlife.org
·www.bbc.co.uk /news/live/c759lwgevl0t
Home - UNEP-WCMCunep-wcmc.org
TZE — Tessera Zarr Explorertze.geotessera.org
·tropical-biology.org
·rspb.org.uk
·kullberg.caelum.ci.dev /index.html
Home pageiucn.org
Dashboard of Lifedashoflife.org
The New Museums Site building by Arup Associates, 1966-74 – The Twentieth Century Societyc20society.org.uk
The Royal Society Environmental Prize lecture on feeding the world without costing the earthJun 2026
Feeding the world without costing the earth | The Royal Societywww.youtube.com
‘It will be hard to find a farmer left’: Sri Lanka reels from rash fertiliser banwww.theguardian.com
The transition that wasn’t: why Sri Lanka’s organic farming approach failedwww.tandfonline.com
www.stix.globalwww.stix.global
ScienceDirectwww.sciencedirect.com
ScienceDirectwww.sciencedirect.com
Time to fix the biodiversity leakwww.science.org
Trade-offs in the externalities of pig production are not inevitablewww.nature.com
The carbon costs of global wood harvestswww.nature.com
Landscape quality drives ecological responses to habitat loss and fragmentationwww.nature.com
Forest degradation drives widespread avian habitat and population declineswww.nature.com
Social implications of the 30×30 global conservation targetwww.nature.com
Measurement of the Earth tides with a MEMS gravimeterwww.nature.com
Millions of Chinese farmers reap benefits of huge crop experimentwww.nature.com
www.livingplanetindex.orgwww.livingplanetindex.org
The IUCN Red List of Threatened Specieswww.iucnredlist.org
Spatial Ecology & Conservation Modeling Book | Fletcher Labwww.fletcherlab.com
The State of Food Security and Nutrition in the Worldwww.fao.org
403 Forbiddenwww.csap.cam.ac.uk
Amsterdam bans public adverts for meat and fossil fuelswww.bbc.co.uk
Environment Prize Lecture delivered by Professor Andrew Balmford FRS | Royal Societyroyalsociety.org
Medals and awards | Royal Societyroyalsociety.org
Platelet generation in vivo and in vitroresearch-information.bris.ac.uk
Alastair W Pooleresearch-information.bris.ac.uk
Radware Bot Manager Captchaiopscience.iop.org
From land grab to soil grab - the new business of carbon farminggrain.org
Sheila Rowan (physicist) - Wikipediaen.wikipedia.org
Nullius in verba - Wikipediaen.wikipedia.org
Charles Godfray - Wikipediaen.wikipedia.org
Sparing vs Sharing: The Great Debate Over How to Protect Naturee360.yale.edu
A comparison of the costs of delivering conservation through land sharing and land sparingdoi.org
Changes in household food and drink purchases following restrictions on the advertisement of high fat, salt, and sugar products across the Transport for London network: A controlled interrupted time series analysisdoi.org
How can higher-yield farming help to spare nature?doi.org
Reconciling Food Production and Biodiversity Conservation: Land Sharing and Land Sparing Compareddoi.org
Global food demand and the sustainable intensification of agriculturedoi.org
Proactive conservation to prevent habitat losses to agricultural expansiondoi.org
The environmental costs and benefits of high-yield farmingdoi.org
Climate-driven global cropland changes and consequent feedbacksdoi.org
Pursuing sustainable productivity with millions of smallholder farmersdoi.org
Carbon Storage and Land-Use Strategies in Agricultural Landscapes across Three Continentsdoi.org
cgspace.cgiar.org /items/020b23f7-a820-474b-9165-1f23f7761864cgspace.cgiar.org
Language integrated LLMs as an OCaml functionJun 2026
Language-Integrated Verificationyoutube.com
Yaron (Ron) Minsky (@yminsky) on Xx.com
Ross Taylor (@rosstaylor90) on Xx.com
Ranjit Jhala (@RanjitJhala) on Xx.com
Anthropic cuts off Fable 5 and Mythos 5 access following government orderwww.theverge.com
F*: A Proof-Oriented Programming Languagewww.fstar-lang.org
welcome humpy! · anil.recoil.org/ocaml-deepseek@1edcdadtangled.org
dsml/lib/dsml.mli at main · anil.recoil.org/ocaml-deepseektangled.org
lib/v4.mli at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
lib/v4.mli at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
lib/toolbox.mli at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
lib/tool.mli at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
lib/tool.mli at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
lib/agent.mli at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
dsml/lib/dsml.mli at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
bin/humpty.ml at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
bin/humpty.ml at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
bin/humpty.ml at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
bin/humpty.ml at 1edcdad29a19924f988c7adef4343cb189dcb4a2 · anil.recoil.org/ocaml-deepseektangled.org
anil.recoil.org/ocaml-deepseektangled.org
ocaml.org /manual/runtime-events.htmlocaml.org
OCaml compiler library : Compiler_libsocaml.org
Just a moment...linux.die.net
Command Line Interface (CLI) · Hugging Facehuggingface.co
GGUF · Hugging Facehuggingface.co
encoding/encoding_dsv4.py · deepseek-ai/DeepSeek-V4-Pro at mainhuggingface.co
deepseek-ai/DeepSeek-V4-Flash · Hugging Facehuggingface.co
PR #30053 ocaml/opam-repositorygithub.com
README.md ocaml-multicore/eiogithub.com
ocaml-multicore/eiogithub.com
astral-sh/uvgithub.com
antirez/ds4github.com
antirezgithub.com
Issue #8382 anthropics/claude-codegithub.com
Reasoning model - Wikipediaen.wikipedia.org
Object-capability model - Wikipediaen.wikipedia.org
Metal Overview - Apple Developerdeveloper.apple.com
Type-Error Ablation and AI Coding Agentsarxiv.org
Dijkstra Monads for Allarxiv.org
.plan-26-24: Apparently a professor now; still debugging io_uring at midnightJun 2026
Anthropic cuts off Fable 5 and Mythos 5 access following government orderwww.theverge.com
An Early Step on the Long, Strange Road to Photosynthesis | Quanta Magazinewww.quantamagazine.org
Client Challengewww.nature.com
European Chapter of ACM SIGOPSwww.eurosys.org
BBC Audio | The Today Podcast | The End of Endless Growth: Should We Put the Brakes on Economic Expansion? (Kate Raworth)www.bbc.co.uk
·www.admin.cam.ac.uk /reporter/2025-26/weekly/6828/6828.pdf
weeknotes.ohrg.org /w24-2026weeknotes.ohrg.org
GeoTessera Globe Visualizationucam-eo.github.io
Welcome to the Royal Society | Royal Societyroyalsociety.org
2026-19oppi.li
Blog - We have to change the rules of securityopensourcesecurity.io
eio and uring PR reviews - Thomas Leonard’s work notesnotes.roscidus.com
geotessera/TESSERA-V-1.1 · Hugging Facehuggingface.co
v0.9.0 ucam-eo/geotesseragithub.com
Issue #24237 rust-lang/rustgithub.com
PR #155 ocaml-multicore/ocaml-uringgithub.com
PR #154 ocaml-multicore/ocaml-uringgithub.com
PR #153 ocaml-multicore/ocaml-uringgithub.com
PR #151 ocaml-multicore/ocaml-uringgithub.com
PR #101 ocaml-multicore/ocaml-uringgithub.com
PR #854 ocaml-multicore/eiogithub.com
PR #852 ocaml-multicore/eiogithub.com
PR #850 ocaml-multicore/eiogithub.com
PR #849 ocaml-multicore/eiogithub.com
PR #843 ocaml-multicore/eiogithub.com
PR #748 ocaml-multicore/eiogithub.com
PR #575 ocaml-multicore/eiogithub.com
PR #531 ocaml-multicore/eiogithub.com
antirez/ds4github.com
antirezgithub.com
Searchable Linux Syscall Table for x86_64filippo.io
Kate Raworth - Wikipediaen.wikipedia.org
Doughnut (economic model) - Wikipediaen.wikipedia.org
Academic ranks in the United Kingdom - Wikipediaen.wikipedia.org
datatracker.ietf.org DomainKeys Identified Mail Signatures v2 (DKIM2)datatracker.ietf.org
datatracker.ietf.org DKIM2 - signing the source and destination of every emaildatatracker.ietf.org
comailcomail.at
The Recoil Farmamok.recoil.org
Tessera v1.1 released, with smoother and temporally stable embeddingsJun 2026
Processing the UK with Tessera v1.1 on Azurewww.tunbury.org
Dr Thomas Worthington | Department of Plant Scienceswww.plantsci.cam.ac.uk
Cambridge AI tool converts satellite archives into accessible Earth intelligence | Meteorological Technology Internationalwww.meteorologicaltechnologyinternational.com
CYCLOPSwww.cyclops.ai
GeoTessera Globe Visualizationucam-eo.github.io
TZE — Tessera Zarr Explorertze.geotessera.org
geotessera/TESSERA-V-1.1 · Hugging Facehuggingface.co
geotessera/TESSERA-V-1.0 · Hugging Facehuggingface.co
map.yml ucam-eo/tessera-coverage-mapgithub.com
v0.9.0 ucam-eo/geotesseragithub.com
ucam-eo/geotesseragithub.com
TESSERA — A pixel-wise earth observation foundation modelgeotessera.org
TESSERA — A pixel-wise earth observation foundation modelgeotessera.org
TESSERA — A pixel-wise earth observation foundation modelgeotessera.org
Public view of Cambridge Energy & Environment Group | Zulip team chateeg.zulipchat.com
uvdocs.astral.sh
.plan-26-23: Earth Embeddings, Emails Everywhere, and ERRNOOOsJun 2026
wsj.comwww.wsj.com
Deploying Ubuntu 26.04 on the CI workerswww.tunbury.org
Emulating RISC-V workers when the hardware goes awaywww.tunbury.org
nytimes.comwww.nytimes.com
Carbon credits are flawed, but they can still help save forestswww.newscientist.com
🌟 I’ve recently started a new role as a Research Associate in AI in Education, Policy & Evidence at the University of Cambridge. Over the past five years, the World Health Organization has been… | Mélanie Gréaux | 27 commentswww.linkedin.com
Researcher profile: Mélanie Gréaux | Cambridge Language Scienceswww.languagesciences.cam.ac.uk
IT researchers demonstrate adaptive AI wormwww.heise.de
Foresterwww.forester-notes.org
Tessera AI model offers accessible way to view Earthwww.esa.int
TZE — Tessera Zarr Explorertze.geotessera.org
TZE — Tessera Zarr Explorertze.geotessera.org
anil.recoil.org/ocaml-atptangled.org
Standard.site - One schema. Every platform.standard.site
The Irrational Decisionpress.princeton.edu
Checking your connectionphys.org
PDSlspdsls.dev
Meet Tessera: the AI Turning Satellite Images into Earth’s Fingerprints - Orbital Todayorbitaltoday.com
uring, eio, mdx, tar-eio - Thomas Leonard’s work notesnotes.roscidus.com
Self-hosting email the hard way from your own routable IPv4 block uplobste.rs
geotessera/TESSERA-V-1.1 · Hugging Facehuggingface.co
PR #3004 zarr-developers/zarr-pythongithub.com
PR #281 ucam-eo/geotesseragithub.com
PR #278 ucam-eo/geotesseragithub.com
ucam-eo/geotesseragithub.com
ucam-eo/geotesseragithub.com
PR #152 ocaml-multicore/ocaml-uringgithub.com
PR #149 ocaml-multicore/ocaml-uringgithub.com
PR #147 ocaml-multicore/ocaml-uringgithub.com
ocaml-multicore/ocaml-uringgithub.com
aneeshnaik/datahuesgithub.com
The Stone Book Quartet - Wikipediaen.wikipedia.org
Galactic Milieu - Wikipediaen.wikipedia.org
Alderley Edge - Wikipediaen.wikipedia.org
Public view of Cambridge Energy & Environment Group | Zulip team chateeg.zulipchat.com
Cryptic species are widespread across vertebratesdoi.org
File:Donald Mcintyre Building, Faculty of Education, Cambridge.jpg - Wikimedia Commonscommons.wikimedia.org
A perceptual color space for image processingbottosson.github.io
Now in your timeline: Standard.site brings richer previews from across the open web - AT Protocolatproto.com
AI Agents Enable Adaptive Computer Wormsarxiv.org
ExploitGym: Can AI Agents Turn Security Vulnerabilities into Real Attacks?arxiv.org
The Way Companies Aim for Net Zero Is Flawed. It’s Also Working. - WSJarchive.is
Carbon credits are flawed, but they can still help save forests | New…archive.is
Weeknotes: 2026 Week 23 – Aneesh Naikaneeshnaik.github.io
Anil Madhavapeddy (@avsm@recoil.org)amok.recoil.org
To my studentsozark.hendrix.edu
Self-hosting email the hard way from your own routable IPv4 block upJun 2026
The Xapian Projectxapian.org
You’ve Got Report: Measurement and Security Implications of DMARC Reporting | USENIXwww.usenix.org
USENIX Security ’15www.usenix.org
Strengthening trust and safety across the internet | Spamhauswww.spamhaus.org
SpamCop.net - Beware of cheap imitationswww.spamcop.net
The RIPE NCC has run out of IPv4 Addresseswww.ripe.net
404 - Not foundwww.ripe.net
Request a /24 Allocation via the Waiting Listwww.ripe.net
Welcome to RIPE and the RIPE NCCwww.ripe.net
RFC 8621 RFC 8621: The JSON Meta Application Protocol (JMAP) for Mail | RFC Editorwww.rfc-editor.org
RFC 8620 RFC 8620: The JSON Meta Application Protocol (JMAP)www.rfc-editor.org
RFC 8461 RFC 8461: SMTP MTA Strict Transport Security (MTA-STS) | RFC Editorwww.rfc-editor.org
RFC 8314 RFC 8314: Cleartext Considered Obsolete: Use of Transport Layer Security (TLS) for Email Submission and Access | RFC Editorwww.rfc-editor.org
RFC 7672 RFC 7672: SMTP Security via Opportunistic DNS-Based Authentication of Named Entities (DANE) Transport Layer Security (TLS) | RFC Editorwww.rfc-editor.org
RFC 7489 RFC 7489: Domain-based Message Authentication, Reporting, and Conformance (DMARC) | RFC Editorwww.rfc-editor.org
RFC 7208 RFC 7208: Sender Policy Framework (SPF) for Authorizing Use of Domains in Email, Version 1 | RFC Editorwww.rfc-editor.org
RFC 6785 RFC 6785: Support for Internet Message Access Protocol (IMAP) Events in Sieve | RFC Editorwww.rfc-editor.org
RFC 6647 RFC 6647: Email Greylisting: An Applicability Statement for SMTP | RFC Editorwww.rfc-editor.org
RFC 6376 RFC 6376: DomainKeys Identified Mail (DKIM) Signatures | RFC Editorwww.rfc-editor.org
RFC 5804 RFC 5804: A Protocol for Remotely Managing Sieve Scripts | RFC Editorwww.rfc-editor.org
RFC 5782 RFC 5782: DNS Blacklists and Whitelists | RFC Editorwww.rfc-editor.org
RFC 5321 RFC 5321: Simple Mail Transfer Protocol | RFC Editorwww.rfc-editor.org
RFC 5228 RFC 5228: Sieve: An Email Filtering Language | RFC Editorwww.rfc-editor.org
RFC 4422 RFC 4422: Simple Authentication and Security Layer (SASL) | RFC Editorwww.rfc-editor.org
RFC 4271 RFC 4271: A Border Gateway Protocol 4 (BGP-4) | RFC Editorwww.rfc-editor.org
RFC 2033 RFC 2033: Local Mail Transfer Protocol | RFC Editorwww.rfc-editor.org
RFC 1912 RFC 1912: Common DNS Operational and Configuration Errors | RFC Editorwww.rfc-editor.org
RFC 1035 RFC 1035: Domain names - implementation and specification | RFC Editorwww.rfc-editor.org
Postfix Postscreen Howtowww.postfix.org
Postfix before-queue Milter supportwww.postfix.org
·www.open-spf.org /SRS/
Who reads your email?www.netmeister.org
·www.highsecure.ru /httpcrypt.pdf
Günstige Dedicated Server, Cloud & Hosting aus Deutschlandwww.hetzner.com
Dovecot | The Secure IMAP serverwww.dovecot.org
ClamAVNetwww.clamav.net
403 Forbiddenwww.barracudacentral.org
Stalwart Mail & Collaboration Serverstalw.art
Eilean: Self-hosted digital islandsryan.freumh.org
Rspamd - Open Source Email Securityrspamd.com
Roundcube - Free and Open Source Webmail Softwareroundcube.net
Redis - Real-time data for agents & appsredis.io
Page not found · GitHub Pagesplugins.roundcube.net
Page not found · GitHub Pagesplugins.roundcube.net
Pigeonhole | Sieve Support for Dovecotpigeonhole.dovecot.org
NO STARTTLSnostarttls.secvuln.info
Multiservice Networks Panel | NANOG 48 | NANOGnanog.org
Mythic Beasts - Mythic Beastsmythic-beasts.com
Jan Schaumann (@jschauma@mstdn.social)mstdn.social
Google Has Most of My Email Because It Has All of Yoursmako.cc
Let’s Encryptletsencrypt.org
185.33.27.0/24 - Mythic Beasts Ltd IP range detailsipinfo.io
AS44684 Mythic Beasts Ltd AS detailsipinfo.io
vstakhovgithub.com
slusarz/dovecot-fts-flatcurvegithub.com
roehling/postsrsdgithub.com
horde/impgithub.com
avsm/maildir-eiogithub.com
This Gist provides a comprehensive cheatsheet for Sieve scripts, covering various objects, attributes, parameters, and their possible values. Sieve is a powerful scripting language for filtering and organizing emails, commonly used with email clients and servers. This cheatsheet includes tests, actions, comparators, and extensions to help you create effective and customized email filtering rules. Whether you’re new to Sieve or looking for a quick reference, this cheat sheet has you covered.gist.github.com
This Gist provides a comprehensive cheatsheet for Sieve scripts, covering various objects, attributes, parameters, and their possible values. Sieve is a powerful scripting language for filtering and organizing emails, commonly used with email clients and servers. This cheatsheet includes tests, actions, comparators, and extensions to help you create effective and customized email filtering rules. Whether you’re new to Sieve or looking for a quick reference, this cheat sheet has you covered.gist.github.com
Stemming - Wikipediaen.wikipedia.org
Server Name Indication - Wikipediaen.wikipedia.org
Resource Public Key Infrastructure - Wikipediaen.wikipedia.org
Rename (computing) - Wikipediaen.wikipedia.org
Martin Porter - Wikipediaen.wikipedia.org
Maildir - Wikipediaen.wikipedia.org
Domain Name System blocklist - Wikipediaen.wikipedia.org
Cyberia, London - Wikipediaen.wikipedia.org
Border Gateway Protocol - Wikipediaen.wikipedia.org
Backscatter (email) - Wikipediaen.wikipedia.org
Autonomous system (Internet) - Wikipediaen.wikipedia.org
Anti-spam techniques - Wikipediaen.wikipedia.org
An Empirical View on Consolidation of the Webdoi.org
ASdb: a system for classifying owners of autonomous systemsdoi.org
Quantifying the Impact of Blocklisting in the Age of Address Reusedoi.org
DKIM signing module | Rspamd Documentationdocs.rspamd.com
HTTPCrypt Encryption Protocol | Rspamd Documentationdocs.rspamd.com
Statistics settings | Rspamd Documentationdocs.rspamd.com
Whitelist IP in Postscreen - mailcow: dockerized documentationdocs.mailcow.email
Signatures - ClamAV Documentationdocs.clamav.net
Pigeonhole Sieve: Editheader Extension — Dovecot documentationdoc.dovecot.org
Evaluating Phishing Email Efficacydl.acm.org
RFC 2505 RFC 2505: Anti-Spam Recommendations for SMTP MTAsdatatracker.ietf.org
Certificate Transparency : Certificate Transparencycertificate.transparency.dev
Caddy - The Ultimate Server with Automatic HTTPScaddyserver.com
Sieveaddons.thunderbird.net
qmail.org /man/man5/maildir.htmlqmail.org
Mythic Beasts - Mythic Beastsmythic-beasts.com
Ditching Windows and AWS, diving into Linux and Hetznerbef.no
Tessera at CVPR 2026, and the front page of the European Space Agency!Jun 2026
Tessera AI model offers accessible way to view Earth | Jovana Knezevicwww.linkedin.com
Tessera AI model offers accessible way to view Earthwww.esa.int
Cambridge AI tool promises new era of Earth Intelligence from space | Department of Computer Science and Technologywww.cst.cam.ac.uk
Communications | University of Cambridgewww.communications.cam.ac.uk
TZE — Tessera Zarr Explorertze.geotessera.org
Global Media Monitoring Service & Broadcast Platform | TVEyestveyes.com
TEE Viewport Managertee.cl.cam.ac.uk
geotesserapypi.org
Checking your connectionphys.org
Meet Tessera: the AI Turning Satellite Images into Earth’s Fingerprints - Orbital Todayorbitaltoday.com
TESSERA — A pixel-wise earth observation foundation modelgeotessera.org
2026 Conferencecvpr.thecvf.com
.plan-26-22: From digital rewilding in Edinburgh to uring and Tessera hackeryMay 2026
new contract, uring, eio, mdx - Thomas Leonard’s work notesnotes.roscidus.com
Collapsing 30 Feet of Power Infrastructure Into Four with DG Matrix - Inevitable podcast — MCJmcj.vc
geotessera/TESSERA-V-1.1 · Hugging Facehuggingface.co
geotessera/TESSERA-V-1.0 · Hugging Facehuggingface.co
geotessera (TESSERA geospatial)huggingface.co
PR #250 ucam-eo/geotesseragithub.com
PR #147 ocaml-multicore/ocaml-uringgithub.com
PR #142 ocaml-multicore/ocaml-uringgithub.com
geocamlgithub.com
Geo-Embeddingsgeoembeddings.org
Webbplats update (part 1)digitalflapjack.com
Geocaml Hackingdigitalflapjack.com
strace-ui, Bonsai_term, and the TUI renaissanceblog.janestreet.com
Rewilding the Web: my workshop report from EdinburghMay 2026
Norway’s Consumer Council takes aim at enshittificationwww.theregister.com
Sci-fi Novel Review: A Half-Built Garden by Ruthanna Emrys - Tar Vol onwww.tarvolon.com
ScienceDirectwww.sciencedirect.com
Cryptic genetic variation accelerates evolution by opening access to diverse adaptive peakswww.science.org
Building Roundabout: A Pro-Social Platform for Local Communitieswww.prosocialdesign.org
Cybernetics is the science of the polycrisiswww.programmablemutter.com
Thermodynamic efficiency and mechanochemical coupling of F<sub>1</sub> -ATPasewww.pnas.org
nytimes.comwww.nytimes.com
nytimes.comwww.nytimes.com
We Need To Rewild The Internet | NOEMAwww.noemamag.com
Reinventing the Wheel: Milk, Microbes and the Fight for Real Cheesewww.nealsyarddairy.co.uk
An ecological perspective to master the complexities of the digital economywww.nature.com
LinkedInwww.linkedin.com
The Ecology of Law | Fritjof Caprawww.fritjofcapra.net
Rewilding the Web: Diversity & Resilience in Sociotechnical Infrastructurewww.eventbrite.co.uk
at.fund — We can just pay for thingswww.at.fund
Story behind Shadows of the Apt by Adrian Tchaikovsky - Entering the Shadows - Upcoming4.meweb.archive.org
TZE — Tessera Zarr Explorertze.geotessera.org
anil.recoil.org/ocaml-webfingertangled.org
anil.recoil.org/ocaml-owntrackstangled.org
anil.recoil.org/ocaml-atptangled.org
HOMEruthannaemrys.com
Ericht at Craighall (Perth): River level and flood alertsriverlevels.uk
Contest Rules — The Protopian Prize | The Fiction Contestprotopianprize.com
The Protopian Prize | The Fiction Contestprotopianprize.com
OwnTracks - Your location companionowntracks.org
🐦💙 He coded Twitter. Now he’s building tech for New_ Publicnewpublic.substack.com
Against Naturemitpress.mit.edu
Even at the End of the World, There’s Still a Duty of Hopemedium.com
Innsmouth Legacylovecraft.fandom.com
Kagi Small Webkagi.com
James Bridle / ways-of-beingjamesbridle.com
Just a moment...iiasa.ac.at
Just a moment...iiasa.ac.at
Just a moment...iiasa.ac.at
Drupal 7 | IT Help and Supporthelp.uis.cam.ac.uk
Predators and Prey: A New Ecology of Competitionhbr.org
Global Voices · Local perspectives for a global audienceglobalvoices.org
quantifyearth/vurlgithub.com
beckngithub.com
RyanGibb/eilean-nixgithub.com
Georgie Newsongeorgienewson.com
Funding The Web: A Wise Choiceftw.fund
What Technology Wants - Wikipediaen.wikipedia.org
WebFinger - Wikipediaen.wikipedia.org
The Phenomenon of Man - Wikipediaen.wikipedia.org
The Art of Not Being Governed - Wikipediaen.wikipedia.org
Terroir - Wikipediaen.wikipedia.org
Red Queen hypothesis - Wikipediaen.wikipedia.org
Mona Lisa Overdrive - Wikipediaen.wikipedia.org
Keystone species - Wikipediaen.wikipedia.org
Enshittification - Wikipediaen.wikipedia.org
Embrace, extend, and extinguish - Wikipediaen.wikipedia.org
Dopplr - Wikipediaen.wikipedia.org
Coopetition - Wikipediaen.wikipedia.org
Constitution Day (Norway) - Wikipediaen.wikipedia.org
Children of Time (novel) - Wikipediaen.wikipedia.org
Capability approach - Wikipediaen.wikipedia.org
Blaine Cook (programmer) - Wikipediaen.wikipedia.org
Adrian Tchaikovsky - Wikipediaen.wikipedia.org
Kate (Kathryn) Naveedwebprofiles.ed.ac.uk
A Drive to Survive: The Free Energy Principle and the Meaning of Lifedoi.org
Ethnomedicinal and Ethnobotanical Survey in the Aosta Valley Side of the Gran Paradiso National Park (Western Alps, Italy)doi.org
An Overview of Open-Ended Evolution: Editorial Introduction to the Open-Ended Evolution II Special Issuedoi.org
Have things changed now?: an empirical study of bug characteristics in modern open source softwaredoi.org
Antonovsky’s sense of coherence scale and its relation with quality of life: a systematic reviewdoi.org
‘Our world was made by nature’: constructions of spontaneous orderdoi.org
Every good regulator of a system must be a model of that system †doi.org
Communication consumes 35 times more energy than computation in the human cortex, but both costs are needed to predict synapse numberdoi.org
Thermodynamic efficiency and mechanochemical coupling of F<sub>1</sub> -ATPasedoi.org
AI models collapse when trained on recursively generated datadoi.org
Influence of the composition of Alpine highland pasture on the chemical, rheological and sensory properties of cheesedoi.org
Lucretius Translated - Martin Ferguson Smith: Lucretius, On the Nature of Things. Pp. 254. London: Sphere Books, 1969. Paper, 30p.doi.org
Alternative Biome States in Terrestrial Ecosystemsdoi.org
ScienceDirectdoi.org
Play-like behavior exhibited by the vinegar fly Drosophila melanogasterdoi.org
The emergence and early development of socio-sexual behavior in beluga calves (Delphinapterus leucas)doi.org
Dealing with Disobedient Objectsdoi.org
Labels and moderation | Blueskydocs.bsky.app
Just a moment...direct.mit.edu
PlaceWhisper - more than a mobile appdigitalflapjack.com
DMA designated Gatekeepersdigital-markets-act.ec.europa.eu
About the Digital Markets Actdigital-markets-act.ec.europa.eu
DASL — Data-Addressed Structures & Linksdasl.ing
A Blind Man Riding on The Back of Blind Tigers | Jack Ma | Overdrive | The China Boom Projectchinaboom.asiasociety.org
Cake or Dice - Dundee’s Board Game Cafecakeordice.co.uk
Robin Berjon (@robin.berjon.com)bsky.app
A Half-Built Gardenbookshop.org
Robin Berjonberjon.com
Accelerated Adaptationaria.org.uk
archive.is /NLKYwarchive.is
Atomic Physics, Ancient and Modernantigonejournal.com
Maria Farrellmariafarrell.com
Error: DOI Not Founddoi.org
Sadiq at Pint of Science CambridgeMay 2026
Pint of Science UKpintofscience.co.uk
.plan-26-21: Pint of Science, OxCaml dissertations, and TESSERA 1.1 stirringMay 2026
Medieval Chant: O Felix Mortale (anon., 13th century, England)www.youtube.com
Clara Mattei: capitalism is not natural - it’s enforcedwww.youtube.com
Processing the UK with Tessera v1.1 on Azurewww.tunbury.org
Adenomyosiswww.nhs.uk
Rewilding the Web: Diversity & Resilience in Sociotechnical Infrastructurewww.eventbrite.co.uk
Moe Vali | Department of Computer Science and Technologywww.cst.cam.ac.uk
Dr Anna Bregerwww.cai.cam.ac.uk
BBC Audio | The Today Podcast | The Future of Food: Can Regenerative Farming Save Our Soil? (Andy Cato)www.bbc.co.uk
Introducing Claude Design by Anthropic Labswww.anthropic.com
Sadiq Jaffertoao.com
Homepintofscience.com
How is AI Accelerating Science?pintofscience.co.uk
new contract, uring, eio, mdx - Thomas Leonard’s work notesnotes.roscidus.com
geotessera/TESSERA-V-1.1 · Hugging Facehuggingface.co
geotessera/TESSERA-V-1.0 · Hugging Facehuggingface.co
geotessera (TESSERA geospatial)huggingface.co
PR #250 ucam-eo/geotesseragithub.com
ucam-eo/geotesseragithub.com
PR #50 oxcaml/opam-repositorygithub.com
Clara Mattei - Wikipediaen.wikipedia.org
BBC Look East: Hedgehogs and TESSERAcrank.recoil.org
strace-ui, Bonsai_term, and the TUI renaissanceblog.janestreet.com
Do Language Models Need Sleep? Offline Recurrence for Improved Online Inferencearxiv.org
Better Together: Evaluating the Complementarity of Earth Embedding Modelsarxiv.org
arXiv Explorer - gvecdb4047f.com
What happens when a hedgehog story prickles its way into the BBCMay 2026
SSD VPS Servers, Cloud Servers and Cloud Hostingwww.vultr.com
Transferring 470 TB from CephFS to S3www.tunbury.org
Expanding the Ceph Cluster to 600 TBwww.tunbury.org
Just a moment...www.science.org
College Regulations | Pembrokewww.pem.cam.ac.uk
Bringing hedgerows back: Practical approaches from Scotland’s nature-friendly farmers | Nature Friendly Farming Network, NFFNwww.nffn.org.uk
Sign Up | LinkedInwww.linkedin.com
What happens when a hedgehog story prickles its way into the BBC | Anil Madhavapeddywww.linkedin.com
Pembroke College Cambridge on Instagram: “Is it possible to save hedgehogs with the help of satellites and AI? 🛰️🦔 Pembroke Fellow and Professor of Planetary Computing, Anil Madhavapeddy and Academic Associate, Dr Sadiq Jaffer certainly think so. They have helped develop a powerful new open-source AI tool called TESSERA, which stacks and analyses thousands of detailed satellite images from the EU’s Copernicus satellites to produce highly detailed maps of Earth. Collaborating with the Cambridge Conservation Initiative, TESSERA has helped identify and map the habitats in which hedgehogs thrive across the UK, such as hedgerows and bramble patches. The status of hedgehogs in the UK is listed as Vulnerable on the Red List of British mammals. While urban hedgehogs are doing well, their numbers in rural areas are estimated to have fallen by up to 75% since 2000, as their habitats have shrunk and become severely fragmented. This leaves them susceptible to predators and traffic as they move from one suitable piece of land with cover to another. Anil and Sadiq hope that TESSERA can help guide and support conservationists’ efforts to protect hedgehogs and their habitats, as well as those of many other animals worldwide. Photo of a Western European Hedgehog by Katerina Vulcova, via Pixabay.”www.instagram.com
TESSERA - the AI model helping to protect hedgehogs from space | Department of Computer Science and Technologywww.cst.cam.ac.uk
Communications | University of Cambridgewww.communications.cam.ac.uk
·www.cl.cam.ac.uk /~avsm2/cb2-pumap.svg
The David Attenborough Building - Cambridge Conservation Initiativewww.cambridgeconservation.org
BBC reaches record audience digitallywww.bbc.com
BBCwww.bbc.co.uk
BBC Radio Nottingham - Dinowww.bbc.co.uk
BBC Radio 4 - Todaywww.bbc.co.uk
Satellites and AI used to track UK hedgehogs in bid to slow declinewww.bbc.co.uk
·www.bbc.co.uk /aboutthebbc/documents/ara-2023-24-our-audiences.p…
Badgers and Hedgehogs: Separating fact from fiction in British native wildlifewww.badgertrust.org.uk
TZE — Tessera Zarr Explorertze.geotessera.org
Global Media Monitoring Service & Broadcast Platform | TVEyestveyes.com
Lauren Mooretheconversation.com
Hedgehog highways: what are they and how to help build onetheconversation.com
TESSERA — A pixel-wise earth observation foundation modelgeotessera.org
TESSERA — A pixel-wise earth observation foundation modelgeotessera.org
Impacts and Potential Mitigation of Road Mortality for Hedgehogs in Europedoi.org
Tired of climate change communication: why message fatigue predicts lower sustainability intentions and policy acceptance after climate change threat messagesdoi.org
Hedgehogs/TESSERA: ITV newscrank.recoil.org
BBC Cambridgeshire - Hedgehogs - with Louise Hullandcrank.recoil.org
BBC Radio Nottingham on Hedgehogs (with Dino)crank.recoil.org
BBC Radio Nottingham on Hedgehogs (with Dino)crank.recoil.org
BBC Look East: Hedgehogs and TESSERAcrank.recoil.org
BBC Radio 5 Breakfast on Hedgehogs from spacecrank.recoil.org
.plan-26-20: Putting OxCaml in a box and OCaml in orbit (again)May 2026
ONNX inference engine using OxCaml’s SIMD intrinsicswww.tunbury.org
nytimes.comwww.nytimes.com
Mission-oriented Resilient Clouds (MRC)www.darpa.mil
Department of Computer Science and Technology: CTSRDwww.cl.cam.ac.uk
anil.recoil.org/oxcaml-pkgstangled.org
Yes see above. OCaml was very much part of the GHG measurements. On the satellit... | Hacker Newsnews.ycombinator.com
Well, I might have been the first to put OCaml in space, specifically on low-Ear... | Hacker Newsnews.ycombinator.com
O(x)Caml in Space | Hacker Newsnews.ycombinator.com
·lambda-diode.com /static/data/GHGSat_OCaml.pdf
avsm/oigithub.com
Thomas Gazagnaire :: O(x)Caml in Spacegazagnaire.org
Peter G. Neumann - Wikipediaen.wikipedia.org
Anil Madhavapeddy (@anil.recoil.org)bsky.app
combat LLM spam by building a web of trustblog.tangled.org
Building OxCaml packages for Debian, Fedora, Homebrew and ArchMay 2026
/oxcaml-pkgs/packaging/deb/debian at main · anil.recoil.org/oxcaml-pkgstangled.org
packaging/rpm/oxcaml-compiler.spec.in at main · anil.recoil.org/oxcaml-pkgstangled.org
packaging/rpm/mockbuild.sh at main · anil.recoil.org/oxcaml-pkgstangled.org
packaging/repo/mkrepo.sh at main · anil.recoil.org/oxcaml-pkgstangled.org
packaging/deb/pbuild.sh at main · anil.recoil.org/oxcaml-pkgstangled.org
packaging/arch/makepkg/build-pkg.sh at main · anil.recoil.org/oxcaml-pkgstangled.org
packaging/arch/PKGBUILD.in at main · anil.recoil.org/oxcaml-pkgstangled.org
anil.recoil.org/oxcaml-pkgstangled.org
timeline · tangledtangled.org
pbuilder User’s Manualpbuilder-team.pages.debian.net
2026-19oppi.li
opam - opamopam.ocaml.org
Launchpadlaunchpad.net
yminsky/sks-keyservergithub.com
oxcaml/opam-repositorygithub.com
PR #207 ocurrent/obuildergithub.com
ocurrent/obuildergithub.com
avsm/oigithub.com
PR #22 avsm/homebrew-ocamlgithub.com
Making sure you’re not a bot!docs.fedoraproject.org
BrewTestBotdocs.brew.sh
Launchpad still down even though status reports as up all day - Support and Help - Ubuntu Community Hubdiscourse.ubuntu.com
Voluntary AI disclosure proposal for OCaml: update 1May 2026
Advogato: Personal info for Stabweb.archive.org
gazagnaire.org/merlinttangled.org
timeline · tangledtangled.org
Weekend at Bernie’snesbitt.io
Conex, securing the opam-repository, is now in productionhannes.robur.coop
archiving.md ocaml/opam-repositorygithub.com
ocaml/opam-repository-archivegithub.com
ocaml/opam-repositorygithub.com
avsm/opam-repomingithub.com
Stakeholder consultation on the draft Guidelines on the transparency requirements for certain AI systems under Article 50 AI Actec.europa.eu
A Proposal for Voluntary AI Disclosure in OCaml Code - Community - OCamldiscuss.ocaml.org
combat LLM spam by building a web of trustblog.tangled.org
.plan-26-19: Ancient oaks, parliamentary evidence, and TESSERA in the CityMay 2026
Native Wildflowers of the UKwww.nativeflower.co.uk
Planning and Infrastructure Act 2025www.legislation.gov.uk
Ben Rivett on Instagram: “S O L D P R I V A T E L Y – Old Oaks Hall, Kerdiston For once I can show you one of the many deals we do privately. Both my client and our buyer have kindly agreed to allow me to share some details with you, now that the deal has completed. Old Oaks Hall is, thus far, the most exceptionally finished property that I have been asked to sell. The attention to detail, applied to every element, was truly staggering. When considering that the property comprised a substantial main house, a huge converted barn, incredible pool area, cottage, plenty of outbuildings, garaging and about 12 acres of formal and informal grounds it is a huge accolade to my clients that neither I, the buyer and the structural surveyor could find fault with anything. It was a seamless blend of style and substance. The interiors are superb, with stunning joinery everywhere, the very best materials, clever use of lighting, a great layout of accommodation, and wonderful light and space. I was lucky, as an agent, that the house was dressed beautifully, again one of the best I have seen and all curated by @studiofleurinteriors . So much of what was in the house, barn and cottage is bespoke, and my only regret is that the photography does not do this house justice. Regular followers will know how much I enjoy the gardens I visit, and this had so much to admire. The pool complex itself was frankly a work of art, with the contemporary pool house and steel and wire pergola, nestled amongst the 18th century buildings. I could go on. The buyers, a lovely young family from Cambridge, were the perfect match for the house and completely understood what had been created. This is what I love most about my role, placing the perfect buyer into their perfect house, off market, with the minimum of fuss and then working hard with solicitors to get the formalities done. I now have to root out the next. Guide price £5million #exceptional #interior #interiors #family #curated #architecture #barn #cottage #swimmingpool #swimming #garden #landscape #poolhouse #party #norfolk #norfolklife #countrylife #property #quality #attentiontodetail”www.instagram.com
The trials that quietly changed our liveswww.ft.com
Conservation Research Institute |www.conservation.cam.ac.uk
David Attenborough: King and Queen lead tributes for 100th birthdaywww.bbc.co.uk
Throwing bats under the train: HS2’s bat tunnel and the dangerous spin behind deregulation - News - Bat Conservation Trustwww.bats.org.uk
What I learnt from supervising at Cambridgewhenderson.dev
I spent 6 weeks in China. This is what it’s really like.whenderson.dev
·researchbriefings.files.parliament.uk /documents/POST-PN-0767/POST-PN-0767.pdf
Beyond Beliefpress.princeton.edu
POSTbrief Archivespost.parliament.uk
Evidence for nature recoverypost.parliament.uk
The Woods for the Treespatricoferris.github.io
2026-19oppi.li
Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MB · KC Sivaramakrishnankcsrk.info
TESSERA — A pixel-wise earth observation foundation modelgeotessera.org
Zarr and GeoZarrdigitalflapjack.com
Conservation Evidence - Siteconservationevidence.com
Tree Search - Ancient Tree Inventoryati.woodlandtrust.org.uk
.plan-26-18: From tropical forest protection to oi swallowing its oxcaml tailMay 2026
Using day10 to build an OxCaml projectwww.tunbury.org
ocaml-ci moves to significant versionswww.tunbury.org
nytimes.comwww.nytimes.com
English councils to trial Google AI tool to speed up planning decisionswww.ft.com
Consultancy Services for the Review and Development of Cambridge City Council Car Parks Assets - Find a Tenderwww.find-tender.service.gov.uk
Carbon credits have enabled vital protection of tropical forests, despite being oversold | Department of Computer Science and Technologywww.cst.cam.ac.uk
Carbon credits have enabled vital protection of tropical forests, despite being oversold tenfoldwww.cam.ac.uk
Advogato: Personal info for Stabweb.archive.org
UK firms win 89 percent of defence contracts since July 2024ukdefencejournal.org.uk
People Are Talking 28% Less Than They Used To. Here’s Whytime.com
gazagnaire.org/monopampamtangled.org
Political Gabfestslate.com
PROPL 2026 - PLDI 2026pldi26.sigplan.org
PDSlspdsls.dev
we need a federation of forgesoppi.li
From farms to oceans: How Microsoft is working to scale carbon dioxide removalnews.microsoft.com
From Convergence to Confidence: Push-button verification for RDTs · KC Sivaramakrishnankcsrk.info
weeknotes-2026-16-17jon.recoil.org
·Hazel, a live functional programming environment featuring typed holes.
avsm/oigithub.com
5725384 RyanGibb/eongithub.com
Thomas Gazagnaire :: Reimplementing the Space Protocol Stack from Scratchgazagnaire.org
Sliding Into Silence? We Are Speaking 300 Daily Words Fewer Every Yeardoi.org
Home - The Digital Statecraft Academydigitalstatecraft.academy
combat LLM spam by building a web of trustblog.tangled.org
Helping tropical forest protection keep up with a fast-changing worldApr 2026
·www.un-redd.org /sites/default/files/2022-11/Forest%20carbon%20pri…
Revealed: more than 90% of rainforest carbon offsets by biggest certifier are worthless, analysis showswww.theguardian.com
Evaluating the impacts of a large-scale voluntary REDD+ project in Sierra Leonewww.nature.com
Learning lessons from over-crediting to ensure additionality in forest carbon creditswww.nature.com
Learning lessons from over-crediting to ensure additionality in forest carbon credits - Nature Communications | Julia P G Joneswww.linkedin.com
Carbon and energy | Environmental Sustainabilitywww.environment.admin.cam.ac.uk
Carbon credits have enabled vital protection of tropical forests, despite being oversold | Department of Computer Science and Technologywww.cst.cam.ac.uk
Carbon credits have enabled vital protection of tropical forests, despite being oversold tenfoldwww.cam.ac.uk
·static-content.springer.com /esm/art:10.1038%2Fs41467-026-71552-3/MediaObjects…
The Core Carbon Principles | ICVCMicvcm.org
Assessment Status - ICVCMicvcm.org
Tropical Rainforest Loss Slowed in 2025, but Fire is a Growing Threat to Forests Worldwide | World Resources Institute Researchgfr.wri.org
REDD+ - Wikipediaen.wikipedia.org
Additionality - Wikipediaen.wikipedia.org
Data for "Learning lessons from over-crediting to ensure additionality in forest carbon credits"doi.org
quantifyearth/tmf-implementation: v2.1.0doi.org
Buy Carbon Removal | Customized Portfolios to Remove CO₂climeworks.com
Direct air capture technology: innovations in CO₂ removalclimeworks.com
Home | Canopy PACTcanopypact.uk
.plan-26-17: Unwedging kernels, dogfood deployments, and managing beef leakageApr 2026
Estimating the carbon impacts of leakage from forest restoration and the costs of reducing themwww.researchsquare.com
Delegation of the European Union to the United Kingdom of Great Britain and Northern Irelandwww.eeas.europa.eu
Equinix to kill off Metal by June 2026www.datacenterdynamics.com
gazagnaire.org/monopampamtangled.org
timeline · tangledtangled.org
Home | Komodokomo.do
Issue #16133 openzfs/zfsgithub.com
mtelvers/ocaml-zarrgithub.com
msys2/msys2-dockergithub.com
avsm/oigithub.com
Migrating to a new machine - Mastodon documentationdocs.joinmastodon.org
Weeknotes: 31th March 2025digitalflapjack.com
The Recoil Farmamok.recoil.org
TESSERA, Functionally Programming Petabytes of Earth ObservationsApr 2026
FP Launchpad Kickofffplaunchpad.org
AI, science and the UK–EU relationship at the Royal SocietyApr 2026
·Geoembeddings of Switzerland
The European Union’s AI Factorieswww.interface-eu.org
SCIANCE project kicks off: Shaping AI in Science, by Scientists, for Europe - ESFwww.esf.org
Delegation of the European Union to the United Kingdom of Great Britain and Northern Irelandwww.eeas.europa.eu
EMBL-EBI homepagewww.ebi.ac.uk
Homepage | Copernicuswww.copernicus.eu
Biobank data leak caused by ‘a few bad apples’, boss tells BBCwww.bbc.co.uk
EU science advisers back call for a ‘CERN for AI’ to aid researchsciencebusiness.net
Science in the age of AI | Royal Societyroyalsociety.org
European AI in Science Strategyresearch-and-innovation.ec.europa.eu
RAISE: Resource for AI Science in Europeresearch-and-innovation.ec.europa.eu
·ngi.eu
JOINERjoiner.org.uk
iNaturalistinaturalist.org
€100 Million AI in Science Pilot Projects Under Horizon Europe 2026–27euraxess.ec.europa.eu
Replication crisis - Wikipediaen.wikipedia.org
AI Factoriesdigital-strategy.ec.europa.eu
Maria Cristina Russocommission.europa.eu
Article 50: Transparency Obligations for Providers and Deployers of Certain AI Systems | EU Artificial Intelligence Actartificialintelligenceact.eu
.plan-26-16: Chennai, Cambridge, Belfast: a week on the wingApr 2026
Building a STAC server to avoid scanning 3.8 million tileswww.tunbury.org
Day10: local development buildswww.tunbury.org
Transferring 470 TB from CephFS to S3www.tunbury.org
CI for opam overlay repositories with day10 and GitHub merge queuewww.tunbury.org
Delighted to win Paper of the Year last night for our &quot;Functional Networking for Millions of Docker Containers&quot; at the Cambridge Ring Hall of Fame Awards! Read more about the other (fascinating)… | Anil Madhavapeddy | 10 commentswww.linkedin.com
The trials that quietly changed our liveswww.ft.com
It’s merged!!www.dra27.uk
Celebrating a ‘culture of innovation’ at our Hall of Fame Awards | Department of Computer Science and Technologywww.cst.cam.ac.uk
Dr Marla Fuchs | Cambridge Forum for Sustainability and the Environmentwww.cfse.cam.ac.uk
·www.cambridgering.org.uk
Cambridge to establish Rokos School of Governmentwww.cam.ac.uk
Home | Estates Divisionwww.admin.cam.ac.uk
STAC: SpatioTemporal Asset Catalogsstacspec.org
A POSIX Shell in OCamlpatrick.sirref.org
Landlocked Eio › Self-hosting Musicpatrick.sirref.org
Inline script metadata - Python Packaging User Guidepackaging.python.org
avsm/opam-repo-roadmap-thoughtsgithub.com
avsm/oigithub.com
astral-sh/uvgithub.com
Deborah Prentice - Wikipediaen.wikipedia.org
Hetan Shah (@hetanshah.bsky.social)bsky.app
Anil Madhavapeddy (@anil.recoil.org)bsky.app
The FP Launchpad takes off at IIT MadrasApr 2026
IIT Madras & ISRO Achieve a Major Milestone: India’s First Aerospace-Grade SHAKTI Semiconductor Chipwww.youtube.com
Tessera pipeline in OCamlwww.tunbury.org
Chennai’s new Sashwatha Cafe is a posh Karnataka-style darshini, serving masala dosas and thatte idliwww.thehindu.com
Chennai One App Launched: How To Book Tickets And Travel Across Metro, Bus, Train And Auto With ‘Chennai Ondru’ | Detailswww.thedailyjagran.com
·www.siddharthaprasad.com /unpublished/ptkns-spytial.pdf
The AI Revolution in Math Has Arrived | Quanta Magazinewww.quantamagazine.org
Pramaana - AI that speaks the truthwww.pramaanalabs.ai
Avartanawww.itchotels.com
Income-tax Act, 2025www.incometaxindia.gov.in
Indian Institute of Technology Madras - Heritage Centrewww.iitm.ac.in
Sailwww.cl.cam.ac.uk
Department of Computer Science and Technology: Capability Hardware Enhanced RISC Instructions (CHERI)www.cl.cam.ac.uk
Open Source RISC-V Cores and Toolswww.bluespec.com
The Book | AIDwww.acceleratingindiasdevelopment.in
TZE — Tessera Zarr Explorertze.geotessera.org
·OCaml Thicket
Shakti Processor | Homeshakti.org.in
The Seen and the Unseen - a podcast by Amit Varmaseenunseen.in
spytial-diagrammingpypi.org
KC Sivaramakrishnankcsrk.info
odoc_and_ocaml_notebooksjon.recoil.org
Office of Industrial Consultancy and Sponsored Research, Indian Institute of Technology Madrasicandsr.iitm.ac.in
Prof. V. Kamakoti | IITM Heritage Centreheritage.iitm.ac.in
ucam-eo/geotesseragithub.com
ocaml-multicore/ocaml-uringgithub.com
README.md nammayatri/nammayatrigithub.com
Thomas Gazagnaire :: Predicting Satellite Collisions in OCamlgazagnaire.org
Talk: Property Based Testing to Verify Pipelined CPU Hardware — Rishiyur S. Nikhilfplaunchpad.org
Talk: Agentic Proof-oriented Programming — Nik Swamyfplaunchpad.org
Applications Open: Post-Baccalaureate Fellowshipfplaunchpad.org
Homefplaunchpad.org
Homefplaunchpad.org
Five Times Faster by Simon Sharpefivetimesfaster.org
Unified Payments Interface - Wikipediaen.wikipedia.org
Software engineering demographics - Wikipediaen.wikipedia.org
Indian filter coffee - Wikipediaen.wikipedia.org
Brzozowski derivative - Wikipediaen.wikipedia.org
Karthik Muralidharaneconweb.ucsd.edu
TESLA: Trusted Execution Support for Legacy Embedded Applicationsdoi.org
Control Logic Synthesis: Drawing the Rest of the OWLdoi.org
Google Forms: Sign-indocs.google.com
CoSSJIT: Combining Static Analysis and Speculation in JIT Compilersdl.acm.org
Diagrams · Diagram as Codediagrams.mingrammer.com
Catala - Law to Codecatala-lang.org
Aalok Thakkaraalok-thakkar.github.io
.plan-26-15: Banyan trees, (anti)botnets and Bose-Einstein basesApr 2026
Can a CPU with Intel AMX Match a GPU for ML Inference?www.tunbury.org
Home | PSBB SCHOOLSwww.psbbschools.ac.in
Artemis II splashdown: Astronauts home safely after journey around Moonwww.bbc.co.uk
Vimala Soundarapandian (0000-0001-9987-7491)orcid.org
Evaluating permissioned spaces for community contexts - meri’s missivesmeri.leaflet.pub
Assessing Claude Mythos Preview’s cybersecurity capabilitieslobste.rs
Assessing Claude Mythos Preview’s cybersecurity capabilitieslobste.rs
[lcamtuf.coredump.cx]lcamtuf.coredump.cx
Chinese Open Source: A Definitive Historyinterconnect.substack.com
Talk: Property Based Testing to Verify Pipelined CPU Hardware — Rishiyur S. Nikhilfplaunchpad.org
Talk: Agentic Proof-oriented Programming — Nik Swamyfplaunchpad.org
FP Launchpad Kickofffplaunchpad.org
How Agentic LLMs ~Almost~ Destroyed My Academic Careerdurwasa-chakraborty.github.io
Anachronistic Monkdurwasa-chakraborty.github.io
·drops.dagstuhl.de /storage/03dagstuhl-manifestos/volume011/issue01/D…
Open Data on AWSaws.amazon.com
Every layer of review makes you 10x slowerapenwarr.ca