Join us TUE Apr 19th at 7:00. Our first meeting since the pandemic, a nice face to face will help with those pandemic-blues! Discussing the State of the Functional World graciously hosted Reforge Charleston #functional #chs #clojure #haskel meetup.com/Functional-SC/…

ClojureD 2022 schedule is up, great stuff from (λ. borkdude) 🌱 Daniel Higginbotham and more! clojured.de/schedule/

Congratulations Daniel Higginbotham on SEVEN PRINTINGS of "Clojure for the Brave and True"!!!

Babashka performs surprisingly well in Kubernetes #clojure #babashka #k8s linkedin.com/pulse/breaknec…

Encouraging you to join us tomorrow (Tuesday, December 13) for this year’s Lispukkah 2022 virtual holiday party! meetup.com/lispnyc/events… 🌟

Hey fogus details of your LISPM are here functional.sc/ulisp

Thanks Metosin great showing at Clojure Conj 2023, your art makes the best watch! #clojure #lisp #watchface getwatchmaker.com/watch/saF0yBCN…

Kent Pitman (KMP) lisp-geek extraordinaire, who was involved in the design and implementation of Lisp and Scheme, who served on the standardization committee and all-around Lisp Machine guru will be in a virtual meetup TUE 12/12 !!! meetup.com/lispnyc/events…

We Need to Talk About Parentheses andreyor.st/posts/2020-12-…

Join us TUE Aug 13th for "LEAN - Data Structure Guarantees" hosted by Jared Corduan ! Discuss using Lean to ensure data structure guarantees in real-world software, focusing on arrays and vectors #functional #chstech @chsdigital meetup.com/Functional-SC/

Join us TUE Sept 10th for "LEAN Tutorial - Theorem Proving in Lean 4" hosted by@JaredCorduan! Discuss using Lean to ensure data structure guarantees in real-world software, focusing on tactics and related topics! #functional #chstech Charleston Digital Corridor meetup.com/Functional-SC/

Join us WED Oct 2nd for "Budget Microcontroller Projects - How uLisp Simplifies Programming" Learn how to program a NeoTrinkey using #uLisp from your phone or laptop even if you're new to #LISP or microcontrollers! #chstech Reforge Charleston mtup.link/e/EheGgA

Last chance for signing up for this uLisp programming class tonight at Reforge Charleston: buff.ly/4e9bxac

Join us TUE Oct 8th for "LEAN Proof Assistant Series" hosted by Jared Corduan where we focus on universal & existential quantifiers, mirrors in pi, sigma types and the recent paper "zkPi: Proving Lean Theorems in Zero-Knowledge". #chstech Charleston Digital Corridor charlestonlc.org/classes/charle…

Our boy Heowie is heading to the 2024 Clojure Conference! 2024.clojure-conj.org He'll be packing some uLisp sticks and will want to talk about our new Logseq-based website functional.sc #Clojure #Lisp #uLisp #logseq

WED is the Charleston Meetup Mashup! Meet the best people in the world, from the best groups at Frothy Beard Brewing Company, costumes are encouraged! lnkd.in/eGpgWX_Z #CHS #tech

Join us TUE Nov 12th for "LEAN Proof Assistant Series" hosted by Jared Corduan where we review the novel programming paradigm FBIP (Functional But In-Place). #chstech Lean charlestonlc.org/classes/charle…

TUE Nov 12th, LispNYC is having a social! (((λxyz.xz(yz) Eat) Drink) Lisp) First person who guesses the combination gets a prize! meetup.com/lispnyc/events… #nyc #tech #lisp #scheme #clojure

100 years ago Moses Schönfinkel laid the foundations of Functional Programming with the introduction of combinators: functions that combine other functions, allowing complex expressions to be built from simpler ones. content.wolfram.com/sites/43/2020/… #lambdacalculus #programming #haskell

Thanks Jared Corduan and Razet for reviewing "GC Reference Counting with Reuse" and the novel programming paradigm FBIP - Functional But In-Place! functional.sc/lean-series #lean #FunctionalProgramming #formalmethods Lean #chstech Charleston Digital Corridor