Wikipedia is built by humans.

Every day, volunteers from all over the world add to the sum of all human knowledge. One edit, one citation, one byte of data at a time.

🔐 Account Security Thread 🔐
We're seeing an increased number of phishing and social engineering attempts targeting Bluesky users. While we're working hard to protect you, here are essential steps YOU can take to secure your account and stay safe. 1/10
🧵👇

My favorite quote from Chris in this episode:

“I believe in the power of programmers. I believe in the human potential of people that want to create things. And that’s fundamentally why I love software is that you can create anything that you can imagine.”

Today, the @ec.europa.eu has announced the creation of the #EDIC #DigitalCommons — a major milestone in a multi-year European effort that the Sovereign Tech Agency helped shape from the start.
1/3

Immutable releases announced at GitHub Universe!

Once tagged, releases can’t be changed. No more worrying about malicious actors swapping out assets or moving tags.

Single-use version tags with signed attestations. This is the supply chain protection open source really needs 🔒

#GitHubUniverse

OFE has joined dozens of other orgs calling for an EU Sovereign Tech Fund.
Through investment in #OpenSource sustainability, Europe can promote strategic autonomy, prevent future crises, and reduce strategic dependencies.
Read our public letter: eu-stf.openforumeurope.org/wp-content/u...

TLDR; The PSF has made the decision to put our community and our shared diversity, equity, and inclusion values ahead of seeking $1.5M in new revenue. Please read and share. pyfound.blogspot.com/2025/10/NSF-...
🧵

Meaning that infrastructure like AWS is not something that Signal, or almost anyone else, could afford to just “spin up.” Which is why nearly everyone that manages a real-time service–from Signal, to X, to Palantir, to Mastodon–rely at least in part on services provisioned by these companies. 8/

Please enjoy today, 25/9/2025, the last square date until 2116 (5^2/3^2/45^2).

Parsimoni and DPhiSpace are running a hackathon! Test your mettle as you build your own unikernel-based application and choose whether to take the exploit or use-case challenge – with numerous prizes up for grabs! hacksat.dev

Experimented with wasm_of_ocaml build for
@rescript-lang.org
compiler

It gave almost 3x faster performance than the original js_of_ocaml build! 🔥

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-...

🚀🚀🚀

x.com/linoscope/st...

#Wasm #OCaml

we are looking for input on how the Dune Developer Preview has been received, and on the Developer Preview itself (if you have used it)

here's a survey to give your thoughts and get in contact:

forms.gle/VTn5bSyLcSH4...

thanks so much! 🧡

If you're still using the ancient OCaml 4.08 or not in production and depending on the OCaml infrastructure, we need to know. It's being deprecated! anil.recoil.org/notes/deprec...

One of my PhD students working in the areas of PL, formal verification, and distributed systems will be graduating in the Fall. They are looking for research positions in industry.

Who is hiring?

Dear all
After a bit over 3 years my contract with Tarides has come to an end. It has been great
- working with and being team lead for an exceptional group of software engineers and
- applying my property-based testing skills to stress test and help get the multicore OCaml5 runtime+stdlib in shape.

With 2x - 8x performance improvements on real-world applications! tarides.com/blog/2025-02...

JSOO 6.0.1 comes with `--effects=double-translation` further improving performance of programs taking advantage of effect handlers. 🚀

2024 was a big year for OCaml!

The team at @tarides.com with incredible support from the community, released the Dune Developer Preview, OCaml 5.3 multicore, WebAssembly boosts, full Windows support, and events like FUN OCaml, plus much more.

Read more: tarides.com/blog/2025-01...