Tarides(@tarides_) 's Twitter Profileg
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,0K Tweets

1,5K Followers

227 Following

Sabine 🐫🦀 / 'use ocaml';(@sabine_s_) 's Twitter Profile Photo

to give more context:

the OCaml Cookbook is a new section of the Learn area at ocaml.org/cookbook

all the tasks listed in the OCaml Cookbook have some relevance to real applications and one task can be implemented via multiple recipes (using different packages from the…

account_circle
Tarides(@tarides_) 's Twitter Profile Photo

We recently hosted our first retreat in India! Check out our blog to discover what the participants got up to – maybe you could join our next retreat? eu1.hubs.ly/H08Y8C80

account_circle
Shakthi Kannan(@shakthimaan) 's Twitter Profile Photo

Reminder: OCaml.org web development Twitch stream starting today, Monday, May 6, 2024 2000 IST | 1630 CEST | 1530 GMT twitch.tv/shakthimaan OCaml

Reminder: OCaml.org web development Twitch stream starting today, Monday, May 6, 2024 2000 IST | 1630 CEST | 1530 GMT twitch.tv/shakthimaan @ocaml_org #web #developers
account_circle
Tarides(@tarides_) 's Twitter Profile Photo

Hello 👋
Important dates for the Workshop at
- Submission deadline for talk proposals: May 30th
- Author notification: July 4th
- Workshop: September 7th
Here's the call for papers: eu1.hubs.ly/H08Y8240
🚀 🐫

account_circle
purefunctor(@purefunctor) 's Twitter Profile Photo

Still pretty amazing to me just how high the density to expressiveness ratio is in functional languages.

Granted, I made it a goal for this project to have mini libraries for everything so that the handlers themselves weren't a mess of repeated logic.

OCaml is awesome!

Still pretty amazing to me just how high the density to expressiveness ratio is in functional languages. Granted, I made it a goal for this project to have mini libraries for everything so that the handlers themselves weren't a mess of repeated logic. OCaml is awesome!
account_circle
KC Sivaramakrishnan(@kc_srk) 's Twitter Profile Photo

Hyeseong Kim We released a naked pointer checker a couple of years ago: discuss.ocaml.org/t/ann-a-dynami…. Might still be worth giving it a spin if you suspect that there are more naked pointers in the code.

account_circle
KC Sivaramakrishnan(@kc_srk) 's Twitter Profile Photo

Spoke about Sai Venkata Krishnan's work on running baremetal OCaml MirageOS unikernels on a security-hardened Shakti RISC-V processor.

Slides are here: ifip-wg28.github.io/42-utrecht-202…

Spoke about @V_SVK97's work on running baremetal OCaml MirageOS unikernels on a security-hardened Shakti RISC-V processor. Slides are here: ifip-wg28.github.io/42-utrecht-202…
account_circle
Sabine 🐫🦀 / 'use ocaml';(@sabine_s_) 's Twitter Profile Photo

if you have a LinkedIn account, you can help boost reach of the new OCaml LinkedIn account here

linkedin.com/company/ocaml-…

account_circle
Tarides(@tarides_) 's Twitter Profile Photo

Several upgrades have been made to Learn! Improved navigation, clearer installation instructions, and improved accessibility: eu1.hubs.ly/H08QCyR0

account_circle
Sabine 🐫🦀 / 'use ocaml';(@sabine_s_) 's Twitter Profile Photo

forms.gle/SxRvNaEZXgedxr…

If you have tried to use OCaml on Windows or are using OCaml on Windows, here is a survey that will help us to improve the situation for OCaml on Windows!

Your help is very much appreciated! 🧡🐫

account_circle
Tarides(@tarides_) 's Twitter Profile Photo

We co-sponsor the crucial work of planetary computing at the University of Cambridge – learn more about the project here: # OpenSource eu1.hubs.ly/H08QD0v0

account_circle
Alain Frisch(@AlainFrisch) 's Twitter Profile Photo

📢Any developer looking for an exciting position? LexiFi is hiring!

✔️ Software Engineer (full-time): lexifi.com/careers/softwa…

✔️ Software Development Internship: lexifi.com/careers/softwa…

Also check out our contributions to the OCaml ecosystem: lexifi.com/blog/ocaml/oca…

📢Any #OCaml developer looking for an exciting position? LexiFi is hiring! ✔️ Software Engineer (full-time): lexifi.com/careers/softwa… ✔️ Software Development Internship: lexifi.com/careers/softwa… Also check out our contributions to the OCaml ecosystem: lexifi.com/blog/ocaml/oca…
account_circle
RISC-V(@risc_v) 's Twitter Profile Photo

“The adoption of RISC-V architecture is poised to revolutionize India's semiconductor market, ushering a new era of growth and innovation.”

Read more about how is transforming the semiconductor industry in India: hubs.la/Q02twX8j0 everywhere

“The adoption of RISC-V architecture is poised to revolutionize India's semiconductor market, ushering a new era of growth and innovation.” Read more about how #RISCV is transforming the semiconductor industry in India: hubs.la/Q02twX8j0 #RISCVeverywhere
account_circle