All hail the Lambda! ...GPT now renders symbols that look like actual symbols.

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

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

The friendly orange glow has dimmed. RIP to the father of PLATO - the first plasma display and timeshare system.

computerhistory.org/blog/in-memo...

Berlin has both The Matrix and The Cloud!

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

Interesting read on immutability and partial instantiation.

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

The Art of Prolog

#prolog #functionalprogramming

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

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 www.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
www.charlestonlc.org/classes/char...

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