Tarides (@tarides_) 's Twitter Profile
Tarides

@tarides_

We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫

ID: 912676345817288705

linkhttps://tarides.com calendar_today26-09-2017 13:52:52

1,1K Tweet

1,1K Followers

226 Following

KC Sivaramakrishnan (@kc_srk) 's Twitter Profile Photo

Some OCaml 5 code that I wrote is riding into space 🚀 There's also Eio code in there, which actually uses the new OCaml 5 effect handlers. How cool is that! x.com/DPhiSpace/stat…

Tarides (@tarides_) 's Twitter Profile Photo

Sabine Schmaltz reports on her experience at FOSDEM 2025, including the process of setting up a functional programming BOF room! tarides.com/blog/2025-03-2…

Tarides (@tarides_) 's Twitter Profile Photo

OCaml is in space! Our sister company Parsimoni has partnered with DPhi Space and put SpaceOS on a satellite, read more on our blog: tarides.com/blog/2025-04-0…

Dmitrii Kovanikov (@chshersh) 's Twitter Profile Photo

By popular demand, some OCaml content for a change. Pragmatic OCaml #5: Checking if the file is binary. The function reads the first 1024 bytes of the file and checks if there are any zero bytes.

By popular demand, some OCaml content for a change.

Pragmatic OCaml #5: Checking if the file is binary.

The function reads the first 1024 bytes of the file and checks if there are any zero bytes.
Thibaut Mattio (@tmattio_) 's Twitter Profile Photo

I just open‑sourced **Raven**, a project I’ve been working on for the last couple of months. It’s an ecosystem of OCaml libraries to make OCaml a first‑class citizen for ML and data science. I'm looking for feedback before the first alpha, try it here → github.com/raven-ml/raven

Tarides (@tarides_) 's Twitter Profile Photo

Check out the latest update from the Dune team, building all Dune packages in opam-repository using Dune package management 🐫 tarides.com/blog/2025-04-1…

The Linux Foundation (@linuxfoundation) 's Twitter Profile Photo

#OpenSource innovation is headed to Amsterdam! 🇳🇱 Join developers, technologists + community leaders at #OSSummit Europe, 25-27 Aug. Register w/ early bird pricing by 9 June + save up to USD$500 → hubs.la/Q03kzjfn0

#OpenSource innovation is headed to Amsterdam! 🇳🇱 Join developers, technologists + community leaders at #OSSummit Europe, 25-27 Aug. Register w/ early bird pricing by 9 June + save up to USD$500 → hubs.la/Q03kzjfn0
Tarides (@tarides_) 's Twitter Profile Photo

Check out our latest feature parity post on restoring MSVC support for OCaml 5 – great news for Windows users! tarides.com/blog/2025-04-2…

Tarides (@tarides_) 's Twitter Profile Photo

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

Tarides (@tarides_) 's Twitter Profile Photo

Catch up on what our team member's Xavier and Antonin got up to at BOBKonf 2025, including Xavier's talk on OCaml editor support: tarides.com/blog/2025-05-0…

OCaml (@ocaml_org) 's Twitter Profile Photo

Elementary, my dear Watson: Overall, I enjoy bug-hunting. Getting there can be really quite tortuous, via the fairly typical “oh my goodness, why do I do this?”, but there’s something inordinately satisfying about arriving at a… dlvr.it/TKvfrM #OCaml #OCamlPlanet

OCaml (@ocaml_org) 's Twitter Profile Photo

Webassembly on exotic architectures (a 2025 roundup): It's about the time of the academic year to come up with project ideas! KC Sivaramakrishnan, Andy Ray and I have been looking into FPGA/OCaml matters recently so I thought I'd… dlvr.it/TKwgVr #OCaml #OCamlPlanet

KC Sivaramakrishnan (@kc_srk) 's Twitter Profile Photo

Did a guest lecture on OCaml's parallel runtime system at Chalmers Parallel Functional Programming course. Slides here: kcsrk.info/talks#gc_chalm… Did one on effect handlers last year. Excellent audience. Got stumped both years with one question. Was great :-)

Did a guest lecture on OCaml's parallel runtime system at Chalmers Parallel Functional Programming course. Slides here: kcsrk.info/talks#gc_chalm…

Did one on effect handlers last year.

Excellent audience. Got stumped both years with one question. Was great :-)
Outreachy Internships (@outreachy) 's Twitter Profile Photo

Promoter Level: Red Hat (for Fedora Project (@[email protected]) Projects) & Tarides (for OCaml projects) We appreciate your role in driving meaningful change within the free and open-source software ecosystem. Thank you 👏 #Outreachy #OpenSource #RedHat #Fedora #Tarides #OCmal

Promoter Level: <a href="/RedHat/">Red Hat</a>  (for <a href="/fedora/">Fedora Project (@fedora@fosstodon.org)</a> Projects) &amp; <a href="/tarides_/">Tarides</a>  (for <a href="/ocaml_org/">OCaml</a>  projects)

We appreciate your role in driving meaningful change within the free and open-source software ecosystem.

Thank you 👏
#Outreachy #OpenSource #RedHat #Fedora #Tarides #OCmal
Tarides (@tarides_) 's Twitter Profile Photo

Is OCaml on the web? Absolutely! Our latest post introduces some of the top libraries and tools for web development in OCaml tarides.com/blog/2025-05-1…

OCaml (@ocaml_org) 's Twitter Profile Photo

OCaml Weekly News, 20 May 2025: * Send us Talk and Workshop Proposals for Fun OCaml 2025 in Warsaw, September 15+16 * Blog post: Using model-based testing on a Mirage filesystem implementation * Volunteers to review the… dlvr.it/TL6w3L #OCaml #OCamlPlanet

The Hacker News (@thehackersnews) 's Twitter Profile Photo

🚨 A 10-year-old flaw (CVE-2025-49113 / CVSS 9.9) in Roundcube Webmail could let hackers take over your system. Nation-state groups like APT28 have already exploited Roundcube before. 🔗 Read: thehackernews.com/2025/06/critic… 🔧 Patch to 1.6.11 or 1.5.10 LTS now. 📌 PoC coming soon.