functional_sc Profile Banner
Functional SC Profile
Functional SC

@functional_sc

Followers
179
Following
544
Media
52
Statuses
230

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

Charleston, SC
Joined May 2016
Don't wanna be here? Send us removal request.
@functional_sc
Functional SC
9 months
Thanks @JaredCorduan and Razet for reviewing "GC Reference Counting with Reuse" and the novel programming paradigm FBIP - Functional But In-Place!. #lean #FunctionalProgramming #formalmethods @leanprover #chstech @CHSdigital
Tweet media one
Tweet media two
0
0
0
@functional_sc
Functional SC
9 months
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. #lambdacalculus #programming #haskell
Tweet media one
0
18
38
@functional_sc
Functional SC
9 months
TUE Nov 12th, @LispNYC is having a social! . (((λxyz.xz(yz) Eat) Drink) Lisp). First person who guesses the combination gets a prize!. #nyc #tech #lisp #scheme #clojure
Tweet media one
0
0
1
@functional_sc
Functional SC
9 months
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.
Tweet media one
0
0
2
@functional_sc
Functional SC
9 months
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! #CHS #tech
Tweet media one
0
0
0
@functional_sc
Functional SC
10 months
Our boy Heowie is heading to the 2024 Clojure Conference! He'll be packing some uLisp sticks and will want to talk about our new Logseq-based website #Clojure #Lisp #uLisp #logseq
Tweet media one
0
1
6
@functional_sc
Functional SC
10 months
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.
Tweet media one
0
2
2
@functional_sc
Functional SC
10 months
RT @reforge_CHS: Last chance for signing up for this uLisp programming class tonight at Reforge Charleston:.
0
1
0
@functional_sc
Functional SC
11 months
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
Tweet media one
1
3
6
@functional_sc
Functional SC
11 months
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
0
1
2
@functional_sc
Functional SC
1 year
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
0
0
1
@functional_sc
Functional SC
2 years
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 !!!.
Tweet card summary image
meetup.com
Kent will discuss his personal journey as a Lisp user and his involvement in design of various dialects, highlighting some of the interesting issues, technical and non-tech
0
0
0
@functional_sc
Functional SC
2 years
Thanks @metosin great showing at Clojure Conj 2023, your art makes the best watch! #clojure #lisp #watchface
Tweet card summary image
getwatchmaker.com
0
0
1
@functional_sc
Functional SC
2 years
Hey @fogus details of your LISPM are here
0
0
1
@functional_sc
Functional SC
3 years
RT @LispNYC: Encouraging you to join us tomorrow (Tuesday, December 13) for this year’s Lispukkah 2022 virtual holiday party! https://t.co/….
0
2
0
@functional_sc
Functional SC
3 years
Congratulations @nonrecursive on SEVEN PRINTINGS of "Clojure for the Brave and True"!!!.
1
0
2
@functional_sc
Functional SC
3 years
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
Tweet media one
0
0
0