Lightnews — Scholar-powered news

ryan.freumh.org @ryan.freumh.org · 7d

Just added support for To-Dos, journals, and calendar colouring to my CalDAV client! github.com/RyanGibb/cal...

Dark-terminal screenshot showing the command caled search --type todo -c Freumh -S summary:desc and the Caledonia to-do list for the CalDAV account “Freumh” in four columns — account name, completion box ([ ] or [x]), task summary, and UUID. Displays a mix of pending and completed items; “Shopping list” has indented sub-items “Myrrh”, “Gold” and “Frankincense”. Other visible entries include “Setting up GrapheneOS”, “Syncthing vault” (completed) and completed items such as “Orgzly”, “Nix”, “Ledger”, “Email”, “CalDAV” and “Banking”.

Reposted

patrick @patrick.sirref.org · 15d

A great opportunity to help work on OCaml's modern scientific computing ecosystem, Raven, with a fantastic co-mentor Thibaut! discuss.ocaml.org/t/outreachy-...

Outreachy Mentors Wanted

I have submitted two projects for this round: Create an OxCaml backend for Raven Create a monitoring dashboard for Raven For 1., the title is descriptive enough: the goal is to implement a new OxCa...

discuss.ocaml.org

1 3 3

ryan.freumh.org @ryan.freumh.org · Aug 1

> Computer Science PhD students are quiet little animals

-- @patrick.sirref.org, 1 Aug 2025

A squirrel stands upright on its hind legs with its front paws tucked close to its chest near the base of a large tree.

1 3

Reposted

Cyrus Omar @neurocy.bsky.social · Jul 10

end user apps as programs

Alexander Bandukwala @bandukwala.me · Jul 10

Dogfooding a todo list in hazel

3 7

Reposted

Roly Perera @dynamicaspects.org · Mar 1

Software development tools

2 1 9

ryan.freumh.org @ryan.freumh.org · Jun 13

I'm happy to be involved in 'Steps towards an Ecology for the Internet' [0], in the decennial Aarhus conference [1].

In this paper, we argue that the Internet needs an ecology: a way to manage risk, support diversity, and enable resilience at scale.

[0] arxiv.org/abs/2506.064...
[1] aarhus2025.org

This link will take you to a page that’s not on LinkedIn

lnkd.in

3

Reposted

Yaron Minsky @yminsky.bsky.social · Jun 13

I'm pleased to announce OxCaml!

OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.

5 39 110

Reposted

patrick @patrick.sirref.org · Jun 4

I've been experimenting with OCaml and eBPF to build an "opentrace" tool for monitoring which files your program reads and writes.

patrick.sirref.org/open-trace

patrick.sirref.org

1 1 2

Reposted

Andrew W Moore (he/him) @awm22.bsky.social · May 22

Quite splendid piece of science journalism

youtu.be/SC2eSujzrUY?...

How One Company Secretly Poisoned The Planet

YouTube video by Veritasium

youtu.be

1 3

Reposted

patrick @patrick.sirref.org · May 9

You can try Janestreet's #OCaml with modes in your browser at patrick.sirref.org/oxcaml

Try OxCaml

An OCaml toplevel supporting Janestreet's Modes

patrick.sirref.org

2 5 9

ryan.freumh.org @ryan.freumh.org · May 9

Interacting with this via the LLM is a pretty bad UI so I've hooked it up to a CalDAV server. "I'll be around after lunch until 5ish!" from @jdmillar.bsky.social gets added to the calendar as displayed by github.com/RyanGibb/cal...

Summary: j0shmillar's availability in the Computer Lab
Start: 2025-05-09 Fri 13:00
End: 2025-05-09 Fri 17:00
Location: Computer Lab
Description: j0shmillar mentioned they would be around after lunch until 5ish

Participants: j0shmillar
File: /home/ryan/calendar/computer-lab/0ea73f94-a675-5087-52b0-679f7c4802c5/3e3fe4b0-45a0-4124-a73c-0358d3a4d37e.ics

2

ryan.freumh.org @ryan.freumh.org · May 8

So the GPU is an L4 with 24GB VRAM www.nvidia.com/en-gb/data-c...

I've tried a few; mistral [0] seems to be work well enough for this use case and only takes up 4.1GB, but qwen3:32b looks to be the best [1] that fits in this GPU.

[0]: ollama.com/library/mist...
[0]: toao.com/blog/ocaml-l...

NVIDIA L4 Tensor Core GPU

Optimize AI and graphics to accelerate workloads.

www.nvidia.com

2

ryan.freumh.org @ryan.freumh.org · May 8

This afternoon was spent #vibecoding a Matrix bot to listen in on our computer lab occupancy channel and reply to queries with a local Ollama hosted LLM on one of our GPU machines. Of questionable utility, but kind of neat.

2 1 4

Reposted

devtools.fm @devtools.fm · May 5

Our journey through atproto continues with tangled.sh a social coding platform by @oppi.li and @icyphox.sh

creators.spotify.com/pod/show/dev...
www.youtube.com/watch?v=7kHJ...

10 32

ryan.freumh.org @ryan.freumh.org · May 4

This sounds a bit like my project on universal dependency solving! ryan.freumh.org/enki.html

It also aims to integrate between language ecosystems which have varying degrees of expressivity (e.g. opam has Boolean algebra and Cargo has features) which we encode in the PubGrub algorithm.

Enki Ryan Gibb

ryan.freumh.org

1 2

Reposted

patrick @patrick.sirref.org · May 4

I wrote up a quick post about the OCaml to Hazel transpiler I've been hacking on recently. Reusing OCaml's type inference to handle Hazel's explicit polymorphism has been pretty fun!

patrick.sirref.org/hazel-of-ocaml

patrick.sirref.org

2 6 21

ryan.freumh.org @ryan.freumh.org · May 2

The next release of OCaml's package manager, opam, will have support for dependency management with Nix! ryan.freumh.org/opam-nix.html #nix #ocaml

Opam's Nix system dependency mechanism Ryan Gibb

ryan.freumh.org

2 6 25

Reposted

Anil Madhavapeddy @anil.recoil.org · Apr 24

mdales excitingly continues @patrick.sirref.org's work to make OCaml geospatial practical! github.com/geocaml/ocam...

Add LZW compression read and improve BIGTIFF support by mdales · Pull Request #10 · geocaml/ocaml-tiff

This PR adds the following: Fixes issues with loading BIGTIFF files for 64 bit inline entries Adds a simple/naive LZW decode implementation Adds some more sample data Adds some unit tests

github.com

1 3

Reposted

patrick @patrick.sirref.org · Apr 22

I finally got around to redeploying sherlorocq.sirref.org -- a search index over all of the sources in Rocq's main opam repository 🐓

Sherlorocq

sherlorocq.sirref.org

2 3

ryan.freumh.org @ryan.freumh.org · Apr 3

I've written a command line-calendar client for vdir [0]: (the calendar maildir [0]): github.com/RyanGibb/cal...

[0] pimutils.org/specas/vdir/
[1] en.wikipedia.org/wiki/Maildir

GitHub - RyanGibb/caledonia: Command-line Calendar Client

Command-line Calendar Client. Contribute to RyanGibb/caledonia development by creating an account on GitHub.

github.com

1 3

ryan.freumh.org @ryan.freumh.org · Apr 3

Yes, this has failed horribly. Apparently it's harder to create did:web's than I thought. Staying here for now!

ryan.freumh.org @ryan.freumh.org · Apr 1

In the process of migrating to a web:did [0] and self hosting a PDS server with the fancy new NixOS module! Find me at bsky.app/profile/ryan... (I hope).

[0] w3c-ccg.github.io/did-method-w...

did:web Method Specification

w3c-ccg.github.io

1

ryan.freumh.org @ryan.freumh.org · Mar 27

Looks like Baïkal does! sabre.io/dav/scheduli...

CalDAV Scheduling - sabre/dav

sabre.io

1

ryan.freumh.org @ryan.freumh.org · Mar 27

Does anyone know of any calendar clients / servers that actually use the scheduling functionality of CalDAV?

1

ryan.freumh.org @ryan.freumh.org · Mar 25

jaspervdj.be/turnstyle/

Turnstyle

Turnstyle is an graphical esoteric programming language based on lambda calculus.

jaspervdj.be

2