Lightnews — Scholar-powered news

edwintorok.bsky.social @edwintorok.bsky.social · 1d

Nice protocol, it seems to finally solve the problem of rendering Unicode on a terminal by putting the client in charge of determining the width of a character (grapheme cluster), avoiding disagreements between the terminal emulator and client in determining the width of Unicode text.

1 1 1

Reposted

Anil Madhavapeddy @anil.recoil.org · 2d

To be clear, @satnam6502.bsky.social is talking about chip design here but feel free to meme this as you wish #icfpsplash25

4 38

edwintorok.bsky.social @edwintorok.bsky.social · 6d

See github.com/garrigue/mixev and www.math.nagoya-u.ac.jp/~garrigue/pa...

GitHub - garrigue/mixev: Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants"

Mixin evaluators for the expression problem, based "Code reuse through polymorphic variants" - garrigue/mixev

github.com

2

edwintorok.bsky.social @edwintorok.bsky.social · 6d

Although objects are not used often in OCaml, they'd work in this case, `< show : t -> string; ...>`. Then any object that has a 'show' method with the right signature would be accepted there.
You could also use a module instead of a record, and cast it to a module type containing only show.

5

edwintorok.bsky.social @edwintorok.bsky.social · 12d

The downside with that is that if you get logged out, because the login token expired, you might only realize that half a year later when you wonder why it suddenly got all quiet.

1

edwintorok.bsky.social @edwintorok.bsky.social · 12d

I used Openvibe, but couldn't find the source code.
I don't have good answers for using multiple IM protocols, but one approach that kind of works on a desktop is to open the web interface for each system in a separate tab, enable desktop notifications and *pin it*. That ensures it opens on startup.

1

edwintorok.bsky.social @edwintorok.bsky.social · 12d

Long ago I used Pidgin for exactly this reason. Everyone had their favourite IM protocol, and I didn't really mind, as long as I was able to use a *single* client to talk to all of them.
In theory Matrix bridges were also supposed to solve this. Maybe I need to try Pidgin again.

1 1

Reposted

sabine 🐫🦀 / "use ocaml"; @sabine.sh · 14d

going to speak at Open Source Conference Luxembourg later today 🥹

about Gospel, the emerging specification language for OCaml that aims to enable a formally verified open source ecosystem

3 1 20

edwintorok.bsky.social @edwintorok.bsky.social · 24d

The complicated part is `ocamllex`/`menhir` support actually (although I think regular Vim would have the same problem).
There is a 5 year old PR on the vim-ocaml repository that'd fix it (unfortunately it is a breaking change, but 5 years is probably enough notice and time to merge?)

1

edwintorok.bsky.social @edwintorok.bsky.social · 26d

OCamlformat is not wired up in the default keybindings correctly, so typing `gq` does something completely unrelated and wrong. I've got a fix for that by rebinding 'gq' to call the appropriate LSP function, but I haven't pushed it yet.

1

edwintorok.bsky.social @edwintorok.bsky.social · 26d

Here are my dotfiles. I use nvim-treesitter and nvim-lspconfig, and with those plugins it is only a few lines to enable LSP support: gitlab.com/edwintorok/d...
I'll have to try and extract a minimal working config out of that though.

gitlab.com

1 1

edwintorok.bsky.social @edwintorok.bsky.social · Sep 15

This is quite timely. Just noticed that if you use the dune package management preview it ends up compiling ocaml 3 times : once for the project, once more for ocamlformat, and once more for ocaml-lsp. With your work it could build it once globally and share it?

1 1

Reposted

FUN OCaml @fun-ocaml.com · Sep 15

www.youtube.com/watch?v=-YSX...

FUN OCaml 2025 - Live from Warsaw! Part 2

YouTube video by FUN OCaml

www.youtube.com

3 6

Reposted

Xavier Van de Woestyne @xvw.lol · Sep 15

Roadmap and project for OCaml/security !

2 7

Reposted

FUN OCaml @fun-ocaml.com · Sep 15

FUN OCaml website now links to the two running live streams

fun-ocaml.com

Fun OCaml 2025: Warsaw - September 15+16, 2025

Fun OCaml 2025 is a 2 days open source hacking event dedicated to OCaml enthusiasts and professionals around the globe! Let's get together for an exhilarating event packed with creativity, innovation,...

fun-ocaml.com

4 6

edwintorok.bsky.social @edwintorok.bsky.social · Aug 11

For your dockerfile, see here for how to improve caching: discuss.ocaml.org/t/dockerfile.... It doesn't have the build/prod separation that your dockerfile has though, although using 'opam depext' helps find the correct system dependencies regardless of the distro.

Dockerfile for building an OPAM application, with dune/apt/opam caching

I was writing some dockerfiles for building some OCaml applications recently, and realized that it is possible to write a Dockerfile that can build almost arbitrary Opam applications without even havi...

discuss.ocaml.org

1 1

edwintorok.bsky.social @edwintorok.bsky.social · Jul 9

See icfp24.sigplan.org/details/ocam... which introduces an or_null type to avoid the nesting problem you describe

A Non-allocating Option (OCaml 2024 - OCaml Users and Developers Workshop 2024) - ICFP 2024

OCaml is currently receiving a strong upward trend, particularly since its new runtime environment was released in 2022, which introduced support for shared memory parallelism and effect handlers. Tha...

icfp24.sigplan.org

1 1

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

edwintorok.bsky.social @edwintorok.bsky.social · Jun 11

Also another issue is that NaN and Infinity do not have a defined encoding in JSON. Some encode it as a string, and I guess you could use null, but you need to know how the other side parses it. Whatever you do don't let jsonm encode it as unquoted 'nan', because nothing outside of OCaml can parse.

edwintorok.bsky.social @edwintorok.bsky.social · Jun 11

There is more than one NaN, and you can encode a small error code in the spare bits, so it is more like Result than Option (this isn't exposed at the OCaml level unless you manipulate the bits of float with int64 conversions).

1 1

edwintorok.bsky.social @edwintorok.bsky.social · Jun 4

Can you assign both uniqueness and linearity modes to a value?

1

Reposted

David Allsopp @dra27.uk · Jun 1

1994 (and earlier): select text in one “app”, copy, paste to another “app”
2025: select text in one app, copy, switch to other app and discover they’ve disabled paste on the input fields. Return to other app. Write information on piece of paper. Type into other app.
#progress #modern

2 1 3

edwintorok.bsky.social @edwintorok.bsky.social · Jun 1

Along those lines:
* Now which clipboard was it? Cmd-V, Ctrl-V, or Shift-Ctrl-V, or middle click?
* why does the command prompt keep freezing on Windows? Oh selection mode...
* get an error from Chrome Enterprise that pasting is disabled
* get a 30s popup that your paste is checked against policy

Reposted

KC Sivaramakrishnan @kcsrk.info · May 30

Using uniqueness mode for improving behavioural types: kcsrk.info/ocaml/modes/...

Uniqueness for Behavioural Types · KC Sivaramakrishnan

kcsrk.info

3 6 16

edwintorok.bsky.social @edwintorok.bsky.social · May 30

This is becoming really interesting. Is it possible to gradually introduce this in a project? E.g. use the extended compiler in the CI, and use regular OCaml for building releases (if the extended compiler has checked the modality properties, then we erase them, the properties should still hold?)

1