avsm

6 ms·

31.
by avsm 7mo ago
I just use the OCaml Platform VSCode extension: ( https://marketplace.visualstudio.com/items?itemName=ocamllab... ) or the OCaml LSP server: https://github.com/ocaml/ocaml-lsp in other editors and don&#x
32.
by avsm 7mo ago
The runtime can also use mount namespaces to support concurrent installations. Or, if there is a compilation step, the linker can not expose symbols for clashing libraries and just resolve them within the dependency chain. The package calcu
33.
by avsm 7mo ago
(one of the paper coauthors here) While diamond dependencies are indeed one of the big complicating factors, the implementation and engineering details that remain matter a lot too. Section 4 covers the spectrum of quality-of-life features
34.
Package Managers à la Carte: a formal model of dependency resolution(arxiv.org)
55 points by avsm 8mo ago|17 comments
35.
by avsm 8mo ago
(original author of that article here) This is a blast from the past! And indeed, I use Eio these days to do direct-style IO; you can see an example of a HTTP/1.1 parser done in that style, and there's nary a monad in sight! http
36.
by avsm 8mo ago
It is a cool problem space! What I'm doing is using a single buffer for body handling (since you dispatch that away and then reuse it for chunked encoding) so it never takes unbounded stack space. This might be a bit different in HTTP
37.
by avsm 8mo ago
Good point; I've decided to simply not support HTTP/1.1 pipelines, and to have a connection pooling layer for HTTP/2 instead that takes care of this. In OxCaml, it has support for the effect system that we added in OCaml 5.0
38.
by avsm 8mo ago
(author here) it's actually the module system of OCaml that's amazing for large-scale code, not the effects. I just find that after a certain scale, being able to manipulate module signatures independently makes refactoring of lar
39.
by avsm 8mo ago
(author here) The mutation is only for performance critical code. I'm first trying to match C/Rust performance in my code, and then transform it to more idiomatic functional code (which flambda2 in OxCaml can optimise). It's
40.
by avsm 8mo ago
We do now though, with OxCaml! The local stack allocation mode puts in quite a strong constraint on the shape of the allocations that are possible. On my TODO list next is to hook up the various O(x)Caml memory profiling tools: we have stat
41.
by avsm 9mo ago
Microblogging is also the least interesting part of the ATProto ecosystem. I've switched all my git hosting over to https://tangled.org and am loving it, not least of which is that my git server (a 'knot' in Tangl
42.
by avsm 9mo ago
The Claude Code devcontainer works really well, especially the firewalling script! I had do a bit of GitHub Actions spelunking to figure out how to build binary images (with my own devtools preinstalled), which I wrote up here: https:&#x2F
43.
by avsm 9mo ago
Funnily enough, we shipped the Docker Desktop VM a decade ago now (experience report at https://dl.acm.org/doi/10.1145/3747525 ). The embedded VM in DD is much more stripped down than the one in Claude Cowork (its
44.
Finding Solar Farms with a 42k-Parameter Model(toao.com)
3 points by avsm 9mo ago|0 comments
45.
by avsm 9mo ago
This particular iteration is unbounded, but the next step is to pass in a GADT argument to specify which headers the application wants, so only those are parsed into a heterogenous tuple.
46.
by avsm 9mo ago
In a conventional GCed language, you need to minimise heap allocations to avoid putting too much pressure on the garbage collector. The OxCaml extensions allows values to be passed 'locally' (that is, on the callstack) as an alter
47.
by avsm 9mo ago
(author here) I'm just adding data-race free parallelism support to this right now to switch my website over to using it! For those familiar with OCaml syntax, the OxCaml parse function is fun: val parse : buffer -> len:int -&
48.
by avsm 9mo ago
I just use Docker devcontainers using Anthropic's own Dockerfile as a base, and it gives me a persistent sandbox that have ports opened and work in any container environment (be it remote or local), and work in any IDE that supports de
49.
by avsm 10mo ago
The html5lib conformance tests when combined with the WHATWG specs are even more powerful! I managed to build a typed version of this in OCaml in a few hours ( https://anil.recoil.org/notes/aoah-2025-15 ) yesterday, bu
50.
by avsm 10mo ago
The JS is embedded within the SVG file and not exposed outside it
51.
by avsm 10mo ago
What was the SVG that didn't work? In Jon's example in the original post, the SVG he embeds there was one he wrote in around 2005. That's a pretty impressive run for it to render 20 years on...
52.
by avsm 1y ago
Another extremely cool feature of Eon is that it uses Capnproto as the capability-based RPC interface to handle management. There's a schema that any client can implement here https://github.com/RyanGibb/eon/b
53.
by avsm 1y ago
https://www.inaturalist.org/observations/316277035 , needs some id help :-)
54.
by avsm 1y ago
Are you thinking of _new_ fresh water sources that emerge in recent years? If you have any candidate lat/lon where this might have happened, we can take a look at the 2024 and earlier embeddings to see if we can spot it.
55.
by avsm 1y ago
...and if you do build this @ensocode, feel free to open a PR to https://github.com/ucam-eo/geotessera and I'll incorporate it as an example in the repo.
56.
by avsm 1y ago
An interesting 30x30m satellite that recently launched and is giving back data last year is EnMAP https://www.enmap.org . Hooking that up to TESSERA is on our todo list as soon as we can get our mittens on the satellite data
57.
by avsm 1y ago
That's should be a pretty good usecase; if you do just a few labels manually of known hotsprings you should be able to find others quite quickly using the TESSERA interactive notebook. The embeddings capture the annual spectral-tempora
58.
by avsm 1y ago
Yes it's very good fun just exploring the embeddings! It's all wrapped by the geotessera Python library, so with uv and gdal installed just try this for your favourite region to get a false-colour map of the 128-dimensional embedd
59.
by avsm 1y ago
Applications to graduate school typically surge during times of economic downturns when industry is on its back foot. So...yes? https://www.theguardian.com/education/2009/feb/17/rise-appli... (16 years a
60.
by avsm 1y ago
We demonstrated this in 2003 using the smartphones of the era (they didn’t have good filters, so you could detect ultrasound quite easily). See https://anil.recoil.org/papers/audio-networking.pdf sec 2.1 for the 2003 p

More ›