On May 22, we're hosting Build Meetup 2025 at Jane Street's London office.
There will be talks about Bazel, Buck2, a buzzing hallway track on Dune, and more. Sign-ups are still open, so if you're excited about build systems, you should sign up!
share.hsforms.com/2-kAtpya7Sou...
05.05.2025 14:22 β π 8 π 1 π¬ 0 π 0
Form
We're hosting Build Meetup 2025 in Jane Street London! If you're interested in build systems, please join us on 22nd May.
There will be talks about Bazel and Buck2, a buzzing hallway track on Dune, and more.
Check out the programme and register here: share.hsforms.com/2-kAtpya7Sou...
29.04.2025 12:51 β π 0 π 0 π¬ 0 π 0
YouTube video by AI Engineer
AI Engineer Summit 2025: Agent Engineering (Day 2)
This is a fun talk by our very own John Crepezzi, at the AI Engineering Summit.
If you're interested in doing this kind of work, you should apply!
www.youtube.com/watch?v=D7Bz...
26.02.2025 19:21 β π 9 π 3 π¬ 2 π 0
Oh, completely forgot we got this 2-pager published! :) Thanks!
01.02.2025 01:39 β π 1 π 0 π¬ 0 π 0
I think the main reason Dune is faster compared to Jenga is that it's using a more efficient incremental computation library under the hood. It's difficult to explain the details in a comment but I hope to write this up in a more technical blog post or article someday!
31.01.2025 18:36 β π 0 π 0 π¬ 1 π 0
totoro made out of math
15.12.2024 21:50 β π 17 π 3 π¬ 1 π 0
ICFP25 logo shows a few famous Singapore sights, including the Marina Bay Sands hotel with the supports stylized as lambdas
New ICFP25 logo just dropped π
02.12.2024 14:28 β π 34 π 7 π¬ 2 π 0
An image I posted on mastodon recently. I ran the Game of Life for a while, but here each pixel's brightness represents how many times it changed state. The bright "stars" are stable oscillators There are also very faint trails from gliders.
02.12.2024 20:59 β π 13 π 4 π¬ 1 π 1
I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
aka Dr. MatthΓas PΓ‘ll Gissurarson | uncertified Haskell engineer
Developer Advocate at JetBrains (RustRover, Fleet)
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
official Bluesky account (check usernameπ)
Bugs, feature requests, feedback: support@bsky.app