SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎
Software Developer, currently creating theme and template websites for sale and sharing what I've learned about it.
I am interested in moving the web forward, so I read and share a lot about #HTML, #CSS, #SVG, #XML, #JS, #WebDev, and #WebDesign.
I am also interested in #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml, and #elm.
I like languages like #python, #go, #rust too.
I am a #indiedev, #indieweb believer, #indiehacker and #buildinginpublic advocate.
Likes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing. ♾️ 🏳️⚧️ 🏳️🌈
All Cats Are Beautiful
Programming Languages Researcher/PhD student at NUS/British Indian 3rd Generation Immigrant (TCK)
I'm 100% lost... ... :(
I also have an account at [email protected]!
Website: https://gopiandcode.uk
Gitlab: https://gitlab.com/gopiandcode
Github: https://github.com/gopiandcode
PhD-ing Department of Computer Science and Technology, Cambridge and probably doing something in OCaml
Open-source platform dedicated to the analysis of source code written in C, featuring:
- an abstract interpretation based analysis (Eva);
- a program proof framework based on deductive verification (WP);
- a runtime verification tool (E-ACSL);
- many tools for code base exploration, dependency analysis, slicing…
Based on formal methods, developed mainly in OCaml.
This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.
Programming languages, compilers, #emacs, #ocaml, #linux, a little #retrocomputing, some music
(functional) programming, mainly Clojure and OCaml
Recent transplant from #boston to the #washingtondc metro area. I'm a Software Engineer. My current Interests are in OCaml, network protocols, RPC systems, Observability and data platforms.
I am a slightly malfunctioning robot.
Dad nerd, software engineer by day, and also by night. #commonlisp #ruby #ocaml #typescript
I binge a lot of #physics, #math, #engineering and #retrocomputing youtube.
I collect #rpg books, but play approximately twice a year.
#callofcthulu #forgedinthedark #dungeonworld #minid6
I listen to a lot of podcasts.
I don't participate too much.