Notices tagged with ocaml

A hardware description language using OCaml effects: A hardware description language using OCaml effects

This is an idea proposed in 2025 as a Cambridge Computer Science Part III or MPhil project, and is available for being worked on. It may be co-supervised with KC Sivaramakrishnan and Andy Ray.

Programming FPGAs using functional programming languages is a very good fit for
the problem domain. OCaml has the HardCaml ecosystem to
express… https://anil.recoil.org/ideas/tracing-hdl-with-effects?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet

let's keep this #ocaml thing going

so on my bullshit #ocaml

#FediHire

Ironically, after working for 2 years on a self-funded startup in tech hiring, I'm searching for a #remote CTO position in the #uk.

I will consider tech lead / sr. developer positions. #Rust #Nix #Haskell #Lean4 #Lean #OCaml

I slap – https://memorici.de/Jons_Mostovojs___CV___Software_Architect.pdf

OCaml 5.3: Features and Fixes!: We have a brand new OCaml release on our hands! 5.3 comes packed with features, fixes, and optimisations, including the return of some ‘familiar faces’. Support for the MSVC port is returning, as is statistical memory profiling now compatible with multicore projects.

This post highlights new and restored features, notable changes and user experience improvements, plus some bug fixes. There is no way that I can cover… https://tarides.com/blog/2025-01-09-ocaml-5-3-features-and-fixes?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet

hax - A #Rust #verification tool

https://github.com/hacspec/hax

hax is a tool for high assurance translations that translates a large subset of Rust into formal languages such as F* or #Coq.

1/2

#Proof #Hax #FStar #ProgrammingLanguage #OCaml #RustLang

Programming Languages That Blew My Mind (2023)

https://yoric.github.io/post/programming-languages-that-blew-my-mind/

Discussions: https://discu.eu/q/https://yoric.github.io/post/programming-languages-that-blew-my-mind/

#assembly #erlang #java #ocaml #programming #rustlang

hihiiiiii~ nice to meetcha!!! here's my #introduction post!!

I'm a #trans gal (pronouns: she/her) from the UK (British-Indian to be specific ig)~

I'm also a PhD student (graduating August 2024) working on programming languages research (though I work in formal verification, brain too small :aqua_cry: to understand category theory)

I do a lot of #drawing (see my pfp!!!), like #anime and #manga, esp those with good trans representation + #yuri ofc (recss welcomeee!!). I also play video games, but I suck and my computer is a potat :blobbee_nom_potato: so can't play anything too intensive~ love indie gamess, rpgs esp!!!

Before my egg cracked, I guess I liked #programming and was obsessed with the #OCaml programming language? I even wrote my own #activitypub server in it~ (look up OCamlot!!), Nowadays I guess I like #Racket and #lisp, but tbh I don't do it much outside of work lol

I also do #gamedev on and off in my free time (the bg of my profile is a chara from a game I'm working on), but I've never finished a projectttt cause I keep on procrastinating tooo muchhh :aqua_cry:

Hehee happy to meetchaaa~~ hope to make new frens :NepHappy:

@NGIZero @EC_NGI great to see to have three #OCaml projects in that list :)

Waiting for @evan to finish his book so that I can write an #ActivityPub + #CalDAV powered calendar-centric social network ⏳

Current prime target language candidate: #OCaml 🐫

Compiler Development: Rust or OCaml?

https://hirrolot.github.io/posts/compiler-development-rust-or-ocaml.html#appendix-getting-started-with-ocaml

Discussions: https://discu.eu/q/https://hirrolot.github.io/posts/compiler-development-rust-or-ocaml.html%23appendix-getting-started-with-ocaml

#compsci #ocaml #plt #programming #programminglanguages #rustlang

This is ported over from my old qoto.org instance (and shortened... no 65K char limit luxury here). I used to be @alecui

#introduction #intro #introductions

Hi! o/

I am Ștefan (ș as sh, I also accept Stephan or the equivalent in your language). I’m 21 years old, ♑, he/him, proud #leftist and soon to graduate CS @ UVABc. Sort of proudly living in #romania. My native language is Romanian, fairly proficient at English, slowly learning #finnish (and #italian).

Tried a lot of programming languages in my childhood up until now, a non-chronological list of ones that stuck with me for one reason or another being: VB6 (that’s what I started on at 8 years old), #pascal (+ #freepascal and #delphi), #perl (+ #raku), #tcl #tcltk, #lisp (usually #scheme, on a good day #elisp #emacslisp and #commonlisp), #elixir, #php, #forth, #lua, #oberon, #modula-2, #cpp #c++, #ocaml, #fsharp, #smalltalk (+ #squeak #pharo #self), #ada, #powershell, #dart, #matlab, #rlang, #zig, #nim, #cobol and #julia. I’m flexible in learning new languages and technologies if needed.

I also do #sudoku and #math for fun (especially functional equations and number theory problems, sometimes calculus and geometric algebra). I am interested in #linguists, #conlangs (#lojban and #esperanto) and #nlp, contemporary (post-‘45, usually post-‘89 for me) history, #balkan history, lower-level stuff (I like to learn about how tools around me work, I’m most interested in #compilers, #emulators and #microcontrollers), #typography and #texlatex, #linux + #bsd, #msdos, #amiga, #oberon, #plan9, #philosophy, #astronomy (especially in a worldbuilding context) and #philosophy, along with other less notable interests.

Nazis and fascists can have a merry fuck off, DNI with me. I am also a spiritual person, a #deist and I find #astrology and #tarot interesting.

I hope I'm welcome here!

A concrete, clear and motivated example for a #GADT in #OCaml:

mads-hartmann.com/ocaml/2015/0…

#introduction

Heyo!

My name is Sofie, and I love building things so it is nicer and easier to use!

I touch on subjects such as #nixos, #sysadmin, and how to generally make your life easier running servers.

I also love trying out a lot of different programming languages, big ones being #Rust, #Ocaml, and #Ruby right now!

My current pet project is https://github.com/imsofi/phenix

In my free time I also enjoy #boardgames and #radiocontrol.

Good to see you! :ablobfoxbongo:

40歳から始める関数型言語、OCaml - すぎゃーんメモ
https://memo.sugyan.com/entry/2023/04/13/225648
#ocaml

@alecui@yqoto.org I am also interested in a functional language for microcontrollers and am looking into Modern Compiler Implementation in ML by Andrew Appel https://www.cs.princeton.edu/~appel/modern/ml/ #standardml #compiler #ocaml

So delighted to have first-class CO2 emissions metrics integrated into the #OCaml multiarch cluster, thanks to @patricoferris . Next: taking scheduling decisions on big build jobs based on when energy is greenest