Functional SC
banner
functional-sc.bsky.social
Functional SC
@functional-sc.bsky.social
Functional Programming in Charleston, South Carolina
All hail the Lambda! ...GPT now renders symbols that look like actual symbols.
April 9, 2025 at 6:05 PM
Join us TUE Mar 11th for "LEAN - Interactive LLMs" hosted by @JaredCorduan! First we'll explore using LLMs for proofs in Lean. Then, we'll work together to tackle math theorems together. Don’t miss this hands-on session!

#functional #chstech @CHSdigital www.charlestonlc.org/classes/char...
March 11, 2025 at 1:07 AM
Join us TUE Feb 11th for "LEAN - Leveraging AI Models" hosted by @JaredCorduan! Discuss using Lean 4 in the creation of agentic loops, fine-tuning models and the other latest advancements.
#functional #chstech @CHSdigital
www.charlestonlc.org/classes/char...
February 11, 2025 at 2:24 PM
The friendly orange glow has dimmed. RIP to the father of PLATO - the first plasma display and timeshare system.

computerhistory.org/blog/in-memo...
December 14, 2024 at 12:14 PM
Berlin has both The Matrix and The Cloud!
December 13, 2024 at 1:03 PM
Thanks Jared Corduan and Benoit Razet for reviewing "Perceus: Garbage Free Reference Counting with Reuse" introducing the novel programming paradigm FBIP (Functional But In-Place)!

functional.sc/lean-series

#lean #FunctionalProgramming #formalmethods
@leanprover #chstech
November 13, 2024 at 5:15 PM
Interesting read on immutability and partial instantiation.

blog.dnmfarrell.com/post/incompl...

The Art of Prolog

#prolog #functionalprogramming
November 7, 2024 at 2:33 PM
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

www.charlestonlc.org/classes/char...
November 6, 2024 at 8:45 PM
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
October 28, 2024 at 5:35 PM
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 www.functional.sc
#Clojure #Lisp #uLisp #logseq
October 21, 2024 at 7:08 PM
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
www.charlestonlc.org/classes/char...
October 7, 2024 at 7:48 PM
Thanks to everyone who attended the #ulisp workshop "Budget Microcontroller Projects - How uLisp Simplifies Programming"
The all-in-one NeoTrinkey is the gateway to a lot more fun!
#lisp #charleston
October 4, 2024 at 7:57 PM
October 2, 2024 at 6:30 PM