Thanks @JaredCorduan 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 @leanprover #chstech @CHSdigital

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… #lambdacalculus #programming #haskell

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/30… #nyc #tech #lisp #scheme #clojure

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

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

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

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

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_CHS mtup.link/e/EheGgA

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 @CHSdigital meetup.com/Functional-SC/

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

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

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/29…

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

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

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

Congratulations @nonrecursive on SEVEN PRINTINGS of "Clojure for the Brave and True"!!!

ClojureD 2022 schedule is up, great stuff from @borkdude @nonrecursive and more! clojured.de/schedule/

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_CHS #functional #chs #clojure #haskel meetup.com/Functional-SC/eve…