View from Mont Rampon overlooking Lake Annecy. Rocky limestone foreground with bare shrubs, the lake’s blue-green water below, the city of Annecy on the far shore, and the Semnoz ridge beyond under a clear blue sky.
#silentsunday #annecy
Guess who just joined Wikipedia's 25th birthday party? 🥺
#Kansalaisaloite korjauspalveluiden arvonlisäveron alentamiseksi!
Tällä hetkellä aloitetta on kannattanut vasta 16 859 henkilöä. Aloite etenee eduskunnan käsiteltäväksi vain, jos se kerää vähintään 50 000 nimeä ennen määräajan sulkeutumista eli maaliskuun 2026 alkua.
dawn.fi/uutiset/2026...
must-read "Age Assurance Online: A Technical Assessment of Current Systems and their Limitations" by @rtfm.com, @zanderarnao.bsky.social, and @alissacooper.bsky.social at Knight-Georgetown Institute kgi.georgetown.edu/research-and...
Here’s to new beginnings!
Wikipedia Year in Review. How much was added to Wikipedia in 2025?
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.”
European Union flags
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
rescript built w/ wasm_of_ocaml compiled a demo code in 453.4ms
rescript built w/ js_of_ocaml compiled a demo code in 1284ms
Experimented with wasm_of_ocaml build for
@rescript-lang.org
compiler
It gave almost 3x faster performance than the original js_of_ocaml build! 🔥
30% performance increase with a 5-line diff
github.com/linoscope/CA...
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-...
Lin Oshitani @linoscope on Twitter "OCaml's WASM support is amazing! Just a single config tweak, and CAMLBOY is running on WASM instead of JS—and it's 30% faster on my machine. Huge props to the wasm_of_ocaml team for the fantastic work!"
🚀🚀🚀
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...
