Diskuv

54 posts

Diskuv

@diskuv

Jonah Beckford's products help developers make their own software. My tweets and software share the same thing: creating safe + useful software open to all.

Joined April 2021

RepliesReplies RepostsReposts MediaMedia

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone

or

Log in with username or email

Terms·Privacy·Cookies·Accessibility·US TIDA·Ads Info·© 2026 X Corp.

Diskuv
@diskuv
Sep 18, 2025
The first posts about the Nix-like, Windows-friendly dk build tool. Windows needs it. discuss.ocaml.org/t/ann-mlfront-… and news.ycombinator.com/item?id=452917…
discuss.ocaml.org
[ANN] mlfront-shell - reference implementation of a build system
There have been many improvements since the last update. Here are some of them: The trace store (needed to not rebuild everything from scratch) has been implemented. Build file ASTs are parsed,...
Diskuv
@diskuv
Apr 29, 2025
Oh boy! Meta dropped OCaml for Rust. Pyre, a type checker, is a natural fit for OCaml. But 1/2 reason looks like OCaml is not working on Windows. pyrefly.org/en/docs/pyrefl…...
FAQ | Pyrefly
From pyrefly.org
Diskuv
@diskuv
Oct 7, 2024
After talking to that "big IDE" company today: it is earlier stage than many are thinking. That is okay! The starting point is finding companies that would benefit from an immersive environment (ala Smalltalk) with visual, modular building blocks (this is where OCaml fits). (1/5)
KC Sivaramakrishnan
@kc_srk
Sep 30, 2024
Good to see a "big IDE" company take an interest in building "A next-generation IDE for OCaml". If you have an interest in this topic, please do chime in. discuss.ocaml.org/t/a-next-gener…
1
Diskuv
@diskuv
Sep 21, 2024
There is an outage with GitLab. That happens. But the main incident links to gitlab.com/gitlab-com/gl-… which is labeled as Malicious-Traffic and seems easy to exploit. Hopefully there is a real fix to our favorite Git provider if this is a recurring DOS @gitlab
gitlab.com
2024-09-13: GitLab.com slow - GRPC errors (#18562) · Issues · GitLab.com / GitLab Infrastructure...
Customer Impact Users of GitLab.com may have received timeouts or 5xx errors. Current Status
Diskuv
@diskuv
Sep 17, 2024
Lots of bug fixes and new features in DkCoder. Most visible change is that the security foundation + Java-like packaging are now in a separate "MlFront" project. discuss.ocaml.org/t/ann-dkcoder-… 1/2.
discuss.ocaml.org
[ANN] DkCoder 2.1.3
I am happy to announce another release of DkCoder - a no-install OCaml-based scripting framework. Major changes: Split out the Java-like packaging and security tools into the MlFront project: [ANN]...
1