I'll be graduating in the spring, so I'm looking for full time jobs that start in May 2026. If you have any opportunities in software engineering, data science, ML, compilers, etc. suitable for a fresh college grad, feel free to contact me here or on LinkedIn: www.linkedin.com/in/tristanmc...
06.12.2025 03:19 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Tristan McDermottโs Blog
Tristan McDermottโs blog.
Hey everyone, I'm Tristan. I'm a senior at UMass Lowell majoring in CS and Math. Some of my interests include programming languages, machine learning and AI, linguistics, and category theory. I have a blog where I talk about my projects: tristanmcd130.github.io #introsky
06.12.2025 03:19 โ ๐ 3 ๐ 0 ๐ฌ 1 ๐ 0
GitHub - aguluman/advent-of-code-ocaml: Advent of Code Solutions In OCaml
Advent of Code Solutions In OCaml. Contribute to aguluman/advent-of-code-ocaml development by creating an account on GitHub.
Hey everyone.
If you interested in doing Advent of Code this year with a new language and are leaning towards FP.
I have made an OCaml template repo to get you started.
It also has NIX support to avoid dependency hell.
I hope you have fun using the project just as I have.
github.com/aguluman/adv...
29.11.2025 10:45 โ ๐ 11 ๐ 3 ๐ฌ 1 ๐ 0
LLM developer, alignment-accelerationist, Fedorovist ancestor simulator, Dreamtime enjoyer.
All posts public domain under CC0 1.0.
Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Computer Friend, Not a Bird
www.philipzucker.com
who am i? i'd like to know...
lesbianmonad.com
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Weโre an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS ๐ซ
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Indie Mac/iOS & web developer โขย Currently building random fun things on ATProto using Ruby and occasionally JavaScript โ https://blue.mackuba.eu
"mostly-happy-but-occasionally-grumpy Ruby guy" - Why
๐ Krakรณw, Poland ๐ต๐ฑ๐ช๐บ โข โ๏ธ
Racket is...
* A language-oriented programming project
* a family of programming languages
* a native code compiler and other tools,
* a diverse community ๐
Join us at https://racket.discourse.group/
https://racket-lang.org/
Compiler Engineer at Quantinuum. Quantum Computation, Programming Languages & Software Engineering.
Chicago
Compiler engineer, eschatologist.
Uses machine learning to study literary imagination, and vice-versa. Likely to share news about AI & computational social science / Sozialwissenschaft / ็คพไผ็งๅญฆ
Information Sciences and English, UIUC. Distant Horizons (Chicago, 2019). tedunderwood.com
Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
OCaml developer advocate, ๐ซ OCaml.org maintainer, RFC 3339 dating coach, web developer โจ
twitch.tv/sabine_sh
github.com/sabine
Professor at Wharton, studying AI and its implications for education, entrepreneurship, and work. Author of Co-Intelligence.
Book: https://a.co/d/bC2kSj1
Substack: https://www.oneusefulthing.org/
Web: https://mgmt.wharton.upenn.edu/profile/emollick
Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
official Bluesky account (check username๐)
Bugs, feature requests, feedback: support@bsky.app
