Functional SC

Programming in Historic Charleston South Carolina. We ♥ #functional #clojure #haskell #fsharp #erlang #scala #chs and more

[Functional SC @functional_sc]

Thanks @JaredCorduan and Razet for reviewing "GC Reference Counting with Reuse" and the novel programming paradigm FBIP - Functional But In-Place!

https://t.co/7FAFgkXoeX

#lean #FunctionalProgramming #formalmethods @leanprover #chstech @CHSdigital

[Functional SC @functional_sc]

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.

https://t.co/IjTxYBprZQ

#lambdacalculus #programming #haskell

[Functional SC @functional_sc]

TUE Nov 12th, @LispNYC is having a social!

(((λxyz.xz(yz) Eat) Drink) Lisp)

First person who guesses the combination gets a prize!

https://t.co/JFNCkxyeWZ

#nyc #tech #lisp #scheme #clojure

[Functional SC @functional_sc]

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

https://t.co/CEmezkSJum

[Functional SC @functional_sc]

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! https://t.co/HSkTBa9jAh

#CHS #tech

[Functional SC @functional_sc]

@LispNYC spotted in the wild at #clojureconj 2024!

[Functional SC @functional_sc]

@cldwalker looking forward to your #Clojure Conj!

Functional SC is all-in on #logseq too, it is our new website. https://t.co/0LOr74xIuK

[Functional SC @functional_sc]

Our boy Heowie is heading to the 2024 Clojure Conference! https://t.co/dHdGpp1kHc

He'll be packing some uLisp sticks and will want to talk about our new Logseq-based website https://t.co/vTzAHlWPBi

#Clojure #Lisp #uLisp #logseq

[Functional SC @functional_sc]

@cldwalker Looking forward to your Logseq demo at Clojure Conj! We use it for publishing too, check out https://t.co/j4ugouePL5 and will see you there

[Functional SC @functional_sc]

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
https://t.co/CEmezkSJum

[Reforge Charleston @reforge_CHS]

Last chance for signing up for this uLisp programming class tonight at Reforge Charleston:
https://t.co/8QGwbnmE87

[Functional SC @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_CHS https://t.co/48AzBXml5l

[Functional SC @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 @CHSdigital https://t.co/E5Ljt2rjtQ

[Functional SC @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 https://t.co/E5Ljt2rjtQ

[Functional SC @functional_sc]

We Need to Talk About Parentheses https://t.co/DxFODmH6Gw

[Functional SC @functional_sc]

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

https://t.co/RDBjksEkV2

[Functional SC @functional_sc]

Thanks @metosin great showing at Clojure Conj 2023, your art makes the best watch! #clojure #lisp #watchface https://t.co/kSX5G9betP

[Functional SC @functional_sc]

Hey @fogus details of your LISPM are here https://t.co/qih7ZYOiRl

[LispNYC @LispNYC]

Encouraging you to join us tomorrow (Tuesday, December 13) for this year’s Lispukkah 2022 virtual holiday party! https://t.co/OvLlkO2rPV 🌟

[Functional SC @functional_sc]

@lambduhh where are all the cool kids tooting from?