iiinova — where your digital self keeps evolving

Functional Conf @fnconf.bsky.social · 25/01/2025

Functional Conf thanks Juspay for their support, helping us to bring you this year's event! Make sure you check out their booth: confengine.com/conferences/... #FnConf #Juspay

001

Functional Conf @fnconf.bsky.social · 25/01/2025

Ishan Bhanuka showing us "Type System Foundations for Super-Charged Semantic Code Search" #live at #FnConf 2025. #TypeSystems

000

Functional Conf @fnconf.bsky.social · 25/01/2025

Tom Ellis demonstrates how to Get started with Bluefin, an effect system he has created for Haskell #live at #FnConf 2025. #Haskell

040

Functional Conf @fnconf.bsky.social · 25/01/2025

Functional Conf thanks #Specmatic for their support, helping us to bring you this year's event! Be sure to visit their booth. #FnConf

000

Functional Conf @fnconf.bsky.social · 25/01/2025

@lauramcastro.bsky.social reflecting on "12 years supporting Software Architecture teaching with BEAMs" #live in her #FnConf 2025 keynote. #BEAM #Elixirlang #Erlang @erlangsolutions.bsky.social

063

Functional Conf @fnconf.bsky.social · 25/01/2025

Sudipta Mukherjee teaching us about "Doing Math with F#" at #FnConf 2025 #Fsharp

083

Functional Conf @fnconf.bsky.social · 25/01/2025

Lin Oshitani sharing his experience "Writing a Game Boy Emulator in OCaml", his learnings and how it got him a job! #Live at #FnConf 2025 #GameBoy #emulator #OCaml

3236

Functional Conf @fnconf.bsky.social · 25/01/2025

Ziyang Liu giving an overview of "Developing DSLs with Functional Programming: Exploring Three Strategies Through Examples" #live at #FnConf 2025. #DSL #Haskell #FunctionalProgramming

022

Functional Conf @fnconf.bsky.social · 25/01/2025

Alexander Granin exploring "Type-level interfaces in Haskell and Rust: pragmatic type-level programming" #live at #FnConf 2025. #Haskell #Rust #FunctionalProgramming

010

Functional Conf @fnconf.bsky.social · 25/01/2025

Naresh Jain presenting his case study, "Testing API Resiliency using Kotlin: Leveraging Functional Programming at Scale" #live at #FnConf 2025 #Kotlin #Specmatic #FunctionalProgramming #APIresiliency #microservices

001

Functional Conf @fnconf.bsky.social · 25/01/2025

Damodharan J sharing his demonstration "JSONSchema as runtime type system - From full-stack validation to structured generation in LLM" #live at #FnConf 2025. #LLM #JSONschema

000

Functional Conf @fnconf.bsky.social · 25/01/2025

Nathan Marz unpacking "Rama: the 100x programming platform with functional programming at its core" outlining how Rama can massively outperform Twitter and Mastodon with far less code. #Rama #Twitter #Mastodon #FunctionalProgramming #Clojure

041

Functional Conf @fnconf.bsky.social · 25/01/2025

Alex Miller, one of the Clojure maintainers, outlining the capabilities of the "Clojure core.async Evolution" #live in his #FnConf 2025 keynote. #Clojure #async

020

Functional Conf @fnconf.bsky.social · 25/01/2025

Lucas Dutton and Christopher Anand presenting "A Hands-On Introduction to Bidirectional Type Inference with Elm" #live at #FnCOnf 2025 #Elmlang

000

Functional Conf @fnconf.bsky.social · 25/01/2025

Day 2 of #FnConf 2025 is underway. Yesterday was packed with insightful sessions and epic networking! Here Rúnar Bjarnason is presenting "Microservices on Unison Cloud: Statically Typed, Dynamically Deployed" live at Functional Conf. #microservices #FunctionalProgramming

000

Functional Conf @fnconf.bsky.social · 24/01/2025

@rvirding.bsky.social gives us a fascinating insight into the history of #Erlang and the problems it was created to solve in his #FnConf 2025 keynote: "Concurrency Oriented Programming In A Modern World" #live #Concurrency #FunctionalProgramming

020

Functional Conf @fnconf.bsky.social · 24/01/2025

Great conversations happening on the hangout tables at #FnConf 2025! Make sure you join the conversation with speakers and other attendees. Some of these impromptu sessions run for hours! It's an opportunity not to be missed.

000

Functional Conf @fnconf.bsky.social · 24/01/2025

David Antunes walking us through "Quickly developing web applications with the FastScala framework" #live in his #FnConf session. #Scala #FastScala #FunctionalProgramming

010

Functional Conf @fnconf.bsky.social · 24/01/2025

Sudha Parimala & Kaustubh Maske Patil leading the "OCaml Bridge Workshop" #live at #FnConf 20205

210

Functional Conf @fnconf.bsky.social · 24/01/2025

Aditya Athalye delivering his #workshop: "Composing (Clojure) Web Stacks using Functional First Principles" #live at #FnConf 2025. #Clojure #Webstacks #FunctionalProgramming

010

Functional Conf @fnconf.bsky.social · 24/01/2025

Brujo Benavides presenting "Hank and Meandro: The Oxbow Code Detectors for Erlang and Elixir" #live at #FnConf. He demonstrates how to clean up large Erlang projects by detecting and removing code that’s no longer needed with the highest level of confidence! #Erlang #Elixirlang

121

Functional Conf @fnconf.bsky.social · 24/01/2025

Peter Saxton is introducing us to a new FP language he's been working on his presentation: "EYG a predictable, and useful, programming language" #live at #FnConf 2025

000

Functional Conf @fnconf.bsky.social · 24/01/2025

Chaitanya Nair and Piyush Garg presenting "Compiler-Level Static Checks: Enforcing Safe Functional Development Patterns" #live at #FnConf 2025 #Functional Programming

000

Functional Conf @fnconf.bsky.social · 24/01/2025

Dario Mannu presenting "Functional-Reactive UI patterns for the modern Web Platform" #live at #FnConf 2025.

000

Functional Conf @fnconf.bsky.social · 24/01/2025

Michael Snoyman's keynote, "When to be Weird" explored which aspects of #FunctionalProgramming have won mainstream acceptance and which parts are unlikely to catch on and why. #Live at #FnConf 2025

000

Functional Conf @fnconf.bsky.social · 24/01/2025

Eswar Abisheak Tadiparthi & Chaitanya Nair share their presentation "Code as Data: Extracting and Analyzing Information from Haskell Codebases" #live at #FnConf 2025 #Haskell

010

Functional Conf @fnconf.bsky.social · 24/01/2025

Hari Krishnan shares his experience report of using Railway Oriented Programming in his #FnConf 2025 talk "The Functional Fix: Kotlin Error Handling Made Elegant"

001

Functional Conf @fnconf.bsky.social · 24/01/2025

Harendra Kumar demonstrates "Blazing-Fast Directory Tree Traversal: Haskell Streamly Beats Rust" #live at #FnConf 2025 #Haskell

000

Functional Conf @fnconf.bsky.social · 24/01/2025

Tony Morris explores, "The Expression Problem, Generalised" #live in his #FnConf 2025 talk.

000

Functional Conf @fnconf.bsky.social · 24/01/2025

Haoyi Li showcasing "Mill: A Build Tool Built on Pure Functional Programming" #live in his talk at #FnConf 2025

000

Functional Conf @fnconf.bsky.social · 24/01/2025

Aaron Hsu demonstrates using arrays with APL in his talk, "Designing your Data: The Bread and Butter of APL Performance" #live at #FnConf2025.

010

Functional Conf @fnconf.bsky.social · 24/01/2025

And we're off! We're going to have an engaging, fun couple of days at #FnConf 2025 geeking out on #FunctionalProgramming! #live

010

Functional Conf @fnconf.bsky.social · 23/01/2025

FastScala: Create complete web applications in Scala quickly and securely. Learn how at #FnConf: confengine.com/conferences/...

000

Functional Conf @fnconf.bsky.social · 23/01/2025

Type systems as your guide through complex codebases. Details at #FnConf: confengine.com/conferences/...

000

Functional Conf @fnconf.bsky.social · 23/01/2025

Functional Conf thanks Bharosa Club for their support, helping us to bring you this year's event! #FnConf #BharosaClub

000

Functional Conf @fnconf.bsky.social · 23/01/2025

The future of FP: Challenges and solutions. Join us at #FnConf! Register: confengine.com/conferences/functional-conf-2025/register/selection?utm_source=bluesky&utm_medium=organic_social&utm_campaign=FnConf-speaker-profiles #Programming

000

Functional Conf @fnconf.bsky.social · 23/01/2025

It's less than 24 hours until #FnConf 2025 kicks off online! Have you registered yet? There are sessions for both beginners and experienced #FunctionalProgramming practitioners and incredible networking opportunities. Register now: confengine.com/conferences/...

001

Functional Conf @fnconf.bsky.social · 23/01/2025

Web apps reimagined: Learn to build flexible, composable systems with Clojure. Join Aditya Athalye's workshop at #FnConf. Learn more: confengine.com/conferences/...

010

Functional Conf @fnconf.bsky.social · 23/01/2025

Exploring Java 24's functional evolution at #FnConf. From ADTs to pattern matching, see how Java is embracing FP. Register: confengine.com/conferences/... #Java

021

Functional Conf @fnconf.bsky.social · 22/01/2025

Taming LLM outputs with JSONSchema! Discover type-safe AI at #FnConf. Learn more: confengine.com/conferences/functional-conf-2025/proposal/21044?utm_source=bluesky&utm_medium=organic_social&utm_campaign=FnConf-speaker-profiles #AI #TypeSafety

000

Functional Conf @fnconf.bsky.social · 22/01/2025

Unlock OTP's potential for building robust Elixir applications. Join Alvaro's workshop at #FnConf: confengine.com/conferences/... #Elixir

000

Functional Conf @fnconf.bsky.social · 22/01/2025

Learn FP through game development. Register for #FnConf: confengine.com/conferences/...

000

Functional Conf @fnconf.bsky.social · 22/01/2025

TypeScript & React: Making FP mainstream! Learn JSONSchema validation at #FnConf. Register: confengine.com/conferences/function… #WebDev

000

Functional Conf @fnconf.bsky.social · 22/01/2025

#FnConf 2025 kicks off in 2 days! Learn from an exciting international roster of 45 speakers from 15 countries, including prominent FP authors, thought leaders, language maintainers and expert practitioners! Secure Your Spot Today! confengine.com/conferences/...

000

Functional Conf @fnconf.bsky.social · 22/01/2025

The future of software testing in an AI world: Essential strategies from Dean Wampler at #FnConf 2025. Details: confengine.com/conferences/function… #Testing

000

Functional Conf @fnconf.bsky.social · 21/01/2025

AI revolutionizes Haskell learning! Explore DSL development at #FnConf. Read more: confengine.com/conferences/functional-conf-2025/speaker/interview/ziyang-liu?utm_source=bluesky&utm_medium=organic_social&utm_campaign=FnConf-speaker-profiles

000

Functional Conf @fnconf.bsky.social · 21/01/2025

The industry needs a new ecosystem of libraries and devtools with FP-first interfaces - Dario Mannu shows the way forward at #FnConf 2025. Learn more: confengine.com/conferences/function… #FunctionalProgramming

000

Functional Conf @fnconf.bsky.social · 21/01/2025

Concurrency-oriented programming for modern architectures: Robert Virding's vision at #FnConf 2025. Details: confengine.com/conferences/function… #Erlang

000

Functional Conf @fnconf.bsky.social · 21/01/2025

Just 3 days until #FnConf 2025 begins online! Learn from the brightest minds in #FP from Julia co-inventor Viral Shah to Erlang expert @rvirding.bsky.social 2 days of groundbreaking talks, workshops, demos & networking Register now: confengine.com/conferences/functional-conf-2025/register/selection

000

Functional Conf @fnconf.bsky.social · 21/01/2025

Error messages as guides, not obstacles. Learn the Elm way at #FnConf: confengine.com/conferences/...

000