🎉 What an incredible night at the Bay Area NixOS User Group meetup! We had an amazing turnout tonight at @UCBerkeley OCF, and I’m still buzzing from the energy. The highlight? Getting to meet two legends of the Nix community in person — @n1ksnut , the creator of Nix himself, and @zimbatm , a deeply respected community member I’ve known for around 8 to 9 years but was finally meeting face to face for the very first time. Both visiting all the way from Europe made it extra special. Moments like these are why I love co-organizing this community. Brilliant people, great conversations, and the kind of evening you don’t forget. Huge thanks to #Berkeley OCF for hosting us — you made it all possible! 🙏 Thank you everyone who attended. #NixOS #Nix #BayAreaNix #SanFrancisco cc @1opter thank you 🙏

Just Capture Checking in 15 mins talk at the Scala Summit 2026 blog.rhetoricalmusings.com/p…

The Scala Summit 2026 recordings are out! 🎥 All 11 talks from our October 19 conference in San Francisco: AI and agents, capture checking, Chisel, ZIO, GPUs for type inference, and more. watch.softinio.com/w/p/1y91H… #Scala #ScalaSummit #BayAreaScala #SFScala #FunctionalProgramming cc @BayAreaScala @sfscala @Winium @higherkindedtpe @adamwarski @lukasz_bialy @RomanowskiKr @liosedhel @VirtusLab @scala_lang @tstokrk

Check out mojolang.org/ Matt, it does that, and has advanced type system (eg linear types, symbolic constraints etc). I'd add "can target all hardware" to your wishlist. Mojo has you covered. Let me know if you'd ever like to chat about it someday.

We got an exciting result and I wrote about it! rtfeldman.com/fp-vs-c

I’d argue Scala 3 and OxCaml are spearheading some of the most exciting developments in programming languages. Unfortunately they’re overshadowed by all the AI hype. But that’s temporary: their relevance to AI-generated code is already becoming clear and will only grow.

I'm happy to share that Mojo and MAX are now fully open - for development, extension, and commercial use! This includes the full Mojo programming language, but also the MAX graph compiler, MLRT runtime internals, and hardware abstraction logic. Get your agents going!👇

Starting Friday, Oct 23: a free online course on advanced category theory. Kan extensions, (co)ends, profunctors, monads, enriched categories and more. Proof-based, Fridays 17:00 CET, recorded. Zoom link & updates: t.me/category_theory_communi… #CategoryTheory #Math

Registration for AmeriHac 2027, our North American Haskell hackathon, is now open: haskell.foundation/events/20…

My New blog post: Checking Relevance With Verdict4s How I taught Scala News to say no with the help of #Jev and #Scala softinio.com/post/checking-r… #AI #DecisionModel cc @typesafeai @OpenAIDevs @OpenAI

Thank you @mitchellh and the @superlogical team for the invite to Rex this week. So far loving it ❤️ Funny coincidence, that has lead to a lot of happiness: I started the week removing wezterm thinking end of an era having a terminal that I use Lua to configure and then shortly after that I got the email with the invite to use rex which gives me super powers with Lua. Happy days 😎 #rex

🎤 Speaker spotlight: @adamwarski , co-founder of @softwaremill, head of R&D at @VirtusLab & creator of Tapir, sttp and Ox. "Where Scala meets AI": Metals MCP, teaching AI to write better functional Scala & orchestrating agents with Orca, sttp-ai and chimp." 🗓️ Mon Oct 19 · SF · 3 days to go 🎟️ Get your ticket: 2026.scalasummit.com #Scala #Scala3 #BayAreaScala #SFScala #SanFrancisco #ScalaSummit2026 cc @sfscala @BayAreaScala

All the videos for ScalaDays 2026: piped.video/@ScalaDaysConfer…

🎤 Speaker spotlight: Gus Wynn, software engineer at Annex Risk. Usually it's Scala devs running off to Rust. 🦀 Gus took the road less traveled: years in the Rust community, now writing Scala. Welcome to the JVM side, Gus! 👋 "Coming to Scala as a Rust Developer": what felt familiar, what surprised him, and how the two compare day to day. 🗓️ Mon Oct 19 · SF · 3 days to go 🎟️ Get your ticket: 2026.scalasummit.com #Scala #Scala3 #RustLang #BayAreaScala #SFScala #SanFrancisco #ScalaSummit2026 cc @sfscala @BayAreaScala

🎤 Speaker spotlight: @RomanowskiKr , Head of Development Productivity at @VirtusLab . "AI Multiplies — Let Scala Hold the Line": AI scales whatever it stands on. Build the workflow on Scala's honest compiler: agents, context, deterministic refactors & hermetic builds." 🗓️ Mon Oct 19 · SF · 3 days to go 🎟️ Get your ticket: 2026.scalasummit.com #Scala #Scala3 #BayAreaScala #SFScala #SanFrancisco #ScalaSummit2026 cc @sfscala @BayAreaScala

🎤 Speaker spotlight: @lukasz_bialy , Scala Developer Advocate at @VirtusLab . "Making the AI agents safe with Scala": stopping an agent from doing what it must never do, without limiting what it can. Meet CapybaraClaw." 🗓️ Mon Oct 19 · SF · 4 days to go 🎟️ Get your ticket: 2026.scalasummit.com #Scala #Scala3 #BayAreaScala #SFScala #SanFrancisco #ScalaSummit2026

We've released ATC, a new open-source coding agent based on Tacit. It uses tracked capabilities to control what agents can do, and works with Claude and Codex subscriptions as well as API providers. Funded by the Swiss Cyber-Defence Campus. Enjoy! github.com/lampepfl/atc

🎤 Speaker spotlight: Aditya Naik, software engineer at SiFive working on Chisel & LLVM CIRCT. "Chisel: The Next Generation": lessons from migrating Chisel and SiFive's RISC-V hardware generators from Scala 2 to 3, and the Scala 3 features coming next." 🗓️ Mon Oct 19 · SF · 4 days to go 🎟️ Get your ticket: 2026.scalasummit.com #Scala #Scala3 #BayAreaScala #SFScala #SanFrancisco #ScalaSummit2026 #Chisel #RISCV

Martin's keynote: piped.video/watch?v=jlJyuJhD… Scala Summit, San Francisco, 19th October: 2026.scalasummit.com Scala Meetup, Chicago, 22nd October: meetup.com/chicagoscala/even… Scala Meetup, New York, 26th October: meetup.com/ny-scala/events/3… See you there :)

🎤 Speaker spotlight: Roberto Leibman, software engineer at Fox Corporation (Tubi/AdRise). "One Language, Every Layer": an opinionated Scala 3 + ZIO stack where the model is defined once and shared from the database to the browser. 🗓️ Mon Oct 19 · SF · 6 days to go 🎟️ Get your ticket: 2026.scalasummit.com #Scala #Scala3 #ZIO #BayAreaScala #SFScala #SanFrancisco #ScalaSummit2026