Segfault Systems @SegfaultSystems
Securing the Foundations of Scalable Systems segfault.systems Chennai, India Joined February 2021-
Tweets15
-
Followers143
-
Following6
-
Likes22
"The early results are quite promising. An HTTP server based on OCaml's Eio is able to serve 1M+ requests/sec on 24 cores, outperforming Go's nethttp and closely matching Rust's hyper performance." Welcome @SegfaultSystems to @tarides_! Let's build the future of #OCaml together!
"The early results are quite promising. An HTTP server based on OCaml's Eio is able to serve 1M+ requests/sec on 24 cores, outperforming Go's nethttp and closely matching Rust's hyper performance." Welcome @SegfaultSystems to @tarides_! Let's build the future of #OCaml together!
Onwards and upwards (just look at those performance graphs 😍)
Onwards and upwards (just look at those performance graphs 😍)
Exciting news! Segfault Systems Joins Tarides! tarides.com/blog/2022-03-0… #OCaml
We have two talks from Segfault Systems folks this year (from @shakthimaan and Sudha) on OCaml 5 platform and benchmarking. Come learn about OCaml at @FnConf!
We have two talks from Segfault Systems folks this year (from @shakthimaan and Sudha) on OCaml 5 platform and benchmarking. Come learn about OCaml at @FnConf!
OCaml Platform in 2021 confengine.com/conferences/fu… by Sudha Parimala #FnConf21 @FnConf #fp_bootcamp
Fast and Curious: Benchmarking (Multicore) OCaml confengine.com/conferences/fu… by @shakthimaan #FnConf21 @FnConf #applying_fp
We are looking for engineers to help us craft applications using Multicore OCaml (which will become OCaml 5.0). This is a good opportunity to work closely with the Multicore compiler team and have an influence on the compiler development efforts: segfault.systems/multicore_appl…
Sudha Parimala from @SegfaultSystems will be giving a talk at OCaml Workshop today on adapting the OCaml ecosystem to Multicore OCaml: segfault.systems/blog/2021/adap…
A quiet July of bug fixing and ecosystem compatibility for the multicore OCaml efforts. We're recharging over August and preparing for the big upstreaming push to OCaml 5.0 this winter! discuss.ocaml.org/t/multicore-oc…
📢 We have a number of Multicore OCaml positions that we're actively hiring for: segfault.systems/careers.html. 🏝️ Remote Friendly, within India, the UK (@ocamllabs) or the EU (@tarides_) 🏝️.
The latest OCaml multicore monthly is out, with our adventures from porting everything from Owl machine learning to Tezos blockchain to Lwt threading to MirageOS crypto libraries. Ecosystem multicore OCaml adoption is GO! discuss.ocaml.org/t/multicore-oc…
Multicore OCaml monthly is out for February! With a preprint of our forthcoming PLDI paper linked too; comments very welcome ahead of camera ready discuss.ocaml.org/t/multicore-oc…
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Tarides @tarides_
2K Followers 231 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
David Sancho @davesnx
3K Followers 1K Following Building the tools behind user interfaces at @ahrefs with OCaml and open-source, mostly reason-react, server-reason-react, styled-ppx, Melange and Reason.
Marcello Seri @marcelloseri
735 Followers 2K Following Here only to save the handle. History deleted, find me at @[email protected] or @mseri.me on bsky
Vladimir Keleshev @keleshev
2K Followers 932 Following Programmer, author of Compiling to Assembly from Scratch: https://t.co/7YcZc355RD
Germán Delbianco @knayawp
728 Followers 793 Following Computer arsonist. Tries to reason with block thingies @trilitech ex @labosnomades @IRIF_Paris @IMDEA_Software @lccrosario (opinions are entirely my own)
Sharabhan S @SSharabhan
8 Followers 98 Following
Reason Seoul @ReasonSeoul
162 Followers 135 Following @ReasonML Seoul/S.Korea community. Sharing knowledge & Introducing Reason, ReScript and OCaml related stuff to the Korean tech industry.
ansh pandey @ansh_022
0 Followers 5K Following
Nathanael Ribeiro @gatosepudins
212 Followers 755 Following *Looking for a job* OCaml, ReScript, F#, JavaScript, and a love for programming languages and tooling Member of https://t.co/DpViH8vW5a
lambda @____lambda____
69 Followers 3K Following
Dλvi Sugλ @davi_suga
236 Followers 614 Following Software Engineer & Functional programming passionate on spare time.
Hana Ofangel @hanaofangel
404 Followers 2K Following Happy human. Strategic Designer, UX advocate, Photographer. Music & Typography geek. Define problems, Observe, Ask questions, Listen, Then fix the XP!
shzmwfgwzf @asnawysl
112 Followers 4K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless you
sathish316 @sathish316
212 Followers 705 Following
tatchi @_tatchi
169 Followers 2K Following
Yann Régis-Gianas @yurug
1K Followers 2K Following Software engineer / Father of 3 / Head of Engineering @nomadiclabs / #tezos / #smartrollups / #ocaml / #functionalprogramming
Céline @Cline37211806
0 Followers 53 Following
Lorenz Leutgeb @lorenzleutgeb
179 Followers 698 Following PhD student in Automation of Logic at Max Planck Institute for Informatics
Paul George Edassery @commandpaul
179 Followers 667 Following Electrical Engineer Umich EECS '22, SNU '18
Manish Gill @mgill25
3K Followers 6K Following Databases | Kubernetes | Compilers | EM @ClickHouseDB | https://t.co/12g8segwjE | https://t.co/worpODcnLt | Prev: AI Research @TomTom |
Ganesh Narayanan @ganeshnarain
51 Followers 147 Following
Julien @NeoktaLabs
280 Followers 190 Following
🦋 hyeseong.kim @KrComet
4K Followers 3K Following Integration engineer / Open source hitchhiker / DX enthusiast • Web & WebView engineering @daangnteam • @rescriptlang compiler committer
Gowtham Kaki @GowthamK
483 Followers 376 Following Assistant Professor @CUCompSci and @cuplv. Programming Languages and Formal Methods. Village idiot.
Sivakami Suresh @SureshSivakami
342 Followers 727 Following Psychiatrist & Cognitive Analytic Therapy (CAT) Practitioner. Interested in Health Equality
Emile Rolley @EmileRolley
0 Followers 169 Following
raghu.veer @raghu_veerN
124 Followers 639 Following A rationale human being. interested in backend and systems programming
Sterling 🛡 @thestermeister
662 Followers 4K Following
Renato Alencar @cajuinaoverflow
2K Followers 2K Following Smashing the stacks for fun and profit. Mostly into OCaml and Clojure these days, hacking stuff together until it works.
Luis Vaz | rastrian.d... @TheRastrian
2K Followers 2K Following 3 digit IQ master race (144), polygloth. Ethereal audio & software menace, compilers screams at me | @paulanobrez twitch mod | Blog: https://t.co/34S5HN9YFd
λ @agent_of_abyss
11 Followers 447 Following
Juang Wiantoro @broerjuang
1K Followers 4K Following Civil Engineer from Philosophy Department. Software Engineer @hey_ario.
sputnikD @d_sputnik
15 Followers 280 Following
Organo Inteligente @organoi
3 Followers 172 Following
Larry Diehl @larrytheliquid
797 Followers 663 Following Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Tarides @tarides_
2K Followers 231 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Gemma Gordon @em3r4ld6
170 Followers 249 Following
Thomas Gazagnaire @eriangazag
1K Followers 213 Following MirageOS and OCaml hacker. CEO of https://t.co/KF5zAU46jr - ex Docker, Unikernel Systems, Citrix
Anil Madhavapeddy @avsm
6K Followers 1K Following Professor of Planetary Computing @Cambridge_CL 🇮🇪 @[email protected] and https://t.co/0P3DSgR0Dv
OCamlLabs @ocamllabs
1K Followers 170 FollowingTrends for United States
You might like
