23.09.2025 13:03
👍 1
🔁 0
💬 0
📌 0
"WE'VE ARRANGED A society based on science and technology, in which nobody understands anything about science technology. And this combustible mixture of ignorance and power, sooner or later, is going to blow up in our faces. Who is running the science and technology in a democracy if the people don't know anything about it?" "Science is more than a body of knowledge, it's a way of thinking. A way of skeptically interrogating the universe with a fine understanding of human fallibility. If we are not able to ask skeptical questions, to interrogate those who tell us that something is true, to be skeptical of those in authority, then we're up for grabs for the next charlatan, political or religious, who comes ambling along."
I think a lot about what Carl Sagan said in one of his final interviews.
Congratulations Prof. Ron! 😃👏
A gem from Stephen Dolan, which proposes replacing the "generational hypothesis" that drives the design of generational GCs with a notion of lifetime dispersion as measured by the gini coefficient. Nice to see economics playing a role here!
dl.acm.org/doi/pdf/10.1...
Good stuff (of course there's property-based testing involved! 🤓) and a very nice collaboration with past @tarides.com summer interns and colleagues. The paper is even open access for your reading pleasure:
link.springer.com/chapter/10.1...
Last night it was announced that our TACAS-paper 'Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM' co-authored with Nikolaus Huber, Naomi Spargo, Nicolas Osborne, and Samuel Hym won the 2025 @etapsconf.bsky.social's Best Tool Paper Award 🎉
#testing #pbt #award
There are people I know in the national security community who are terrified that the US government is sleepwalking into a 9/11-level catastrophe. Focusing finite resources on nonsense like this instead of credible threats -- that is the reason they're so worried. www.wsj.com/world/greenl...
Oooh, MirageOS+unikraft PR has appeared from @tarides.com, which should allow much easier deployment of OCaml code to the @unikraft.cloud ! github.com/ocaml/opam-r...
A blogpost I wrote on elm-test's Test.Distribution - testing whether your fuzzers generate interesting cases often enough!
martin.janiczek.cz/2025/05/01/e...
This video was posted on Twitter by the official account of the People's Republic of China's embassy in the United States.
The Chinese Communist Party is lecturing the US Republican President by using a Reagan speech on the importance of free trade. We are really living in the Weird timeline.
👀 Oleg Kiselyov's compilers course in OCaml 👀
okmij.org/ftp/tagless-...
CI log error message that has a red cross and the text "pyml.20210924 (failed: Great)"
...and the award for best exception name showing up in an opam-repo CI run goes to... 🏆😄
≪We estimate the supply-side value of widely-used OSS is $4.15 billion, but that the demand-side value is much larger at $8.8 trillion. We find that firms would need to spend 3.5 times more on software than they currently do if OSS did not exist.≫
From www.hbs.edu/faculty/Page...
#opensource
Just... have... to drop this... here.
Scratching another old itch, I've utilized a wonderful hack by @edwintorok.bsky.social to get the Thread-modes of Lin and STM working much better 🤓
github.com/ocaml-multic...
(as in: from defunct to decent)
It even works on OCaml 4 too! 😄
If all goes well, OCaml 5 code will ride into space in < 24 hrs.
www.dphispace.com/post/parsimo...
> We have been using OCaml 5 in production since the middle of February 2025, and the rollout has been entirely uneventful.
This was a highlight for me, after having worked to stress test it over the past ~3 years.
There are other nuggets in @semgrep.bsky.social's latest blog post though... 🤓
Great work from @tarides.com folks on pragmatic verification of OCaml software.
Chosen as one of the distinguished papers at TACAS 2025.
Paper: janmidtgaard.dk/papers/Huber...
Code: discuss.ocaml.org/t/ann-ortac-...
github.com/ocaml/opam-r...
uses
github.com/ocaml/opam-r...
which uses
github.com/ocaml/opam-r...
which seem to be supported on Windows.
The status page is green for one of 4.14 or 5.3 on each.
Which OCaml version are you using - you didn't say?
Which libraries is your (minimal) example using?
Are you perhaps using caqti-driver-postgresql?
Also, which versions of the libraries are you using?
Also: Beware that not all packages may work out of the box on Windows, as they tends to require C code and libraries at some point, and setting that up may require fiddling with conf-* files on the opam repository.
Caqti should however run on Windows, it seems from
windows.check.ci.dev
From the error message, it sounds like an error while trying to use postgresql with Caqti. If that's the case, I would try to cut out 'dream' and see if a simple 5-10-line OCaml program can connect with such a database through Caqti.
OK. If I'm understanding the above page correctly, this means you got a MinGW installation of the compiler (it's the default).
It is handy to know, to understand the problem and when searching, e.g., Google or Discuss for someone else with a similar problem.
Yep 👍 How did you install OCaml under Windows?
ocaml.org/docs/ocaml-o... lists some of the variants I mentioned above.
For the latter I would probably use the `nm` tool on Linux.
3. You are getting a linking error. This means the compiler(s) translated each file, but failed in the last part stitching them together based on names. Here it fails to resolve a bunch of names listed in the error. Have you checked that the mentioned file(s) exist - and that they contain the names?
2. You are sharing an error message - but not much about the code that trigger it. Generally it helps to create and share a small reproducer. From such a thing, I sometimes end up figuring out the problem myself...
I don't have the answer for you, so here's some general advice:
1. Your post is too short on detail. For one, OCaml can run in at last 4 ways on Windows (MinGW, Cygwin, MSVC, WSL, ...). Which one are you using?
Finally - Relocatable OCaml in “fully relocatable” mode is also reproducible (as long as the C compiler is reproducible) and passes its testsuite 😮💨🥳🎉🍾🎊
Using a tuple-comma with right-to-left evaluation seems a distraction. Is that intentionally or did it get mixed up with the single ; sequence operator? ocaml.org/docs/mutabil...
