Functional SC

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/2020/… #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… #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/charle…

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

@LispNYC spotted in the wild at #clojureconj 2024!

@cldwalker looking forward to your #Clojure Conj! Functional SC is all-in on #logseq too, it is our new website. functional.sc/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

@cldwalker Looking forward to your Logseq demo at Clojure Conj! We use it for publishing too, check out functional.sc and will see you there

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

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

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

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…

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

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

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

@lambduhh where are all the cool kids tooting from?