Functional SC
LightNews LightNews
banner
functional-sc.bsky.social
Functional SC
@functional-sc.bsky.social
39 followers 34 following 26 posts
Functional Programming in Charleston, South Carolina
Posts Replies Media Videos
functional-sc.bsky.social
All hail the Lambda! ...GPT now renders symbols that look like actual symbols.
Lambda symbol floating above a mountain lake
April 9, 2025 at 6:05 PM
functional-sc.bsky.social
A refreshing review of the year in Common-Lisp including the curated Awesome-CL list. lisp-journey.gitlab.io/blog/these-y...
These years in Common Lisp: 2023-2024 in review - Lisp journey
This is a personal pick of the most interesting projects, tools, libraries and articles that popped-up in Common Lisp land in the last two years.Newcomers might not realize how the Common Lisp ecosyst...
lisp-journey.gitlab.io
March 14, 2025 at 5:56 PM
functional-sc.bsky.social
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
functional-sc.bsky.social
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
functional-sc.bsky.social
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
Reposted by Functional SC
borkdude.bsky.social
#babashka is used by almost 93% of respondents to the question "which Clojure dialect to you use" in the #clojure survey 2024!

clojure.org/news/2024/12...
December 2, 2024 at 4:16 PM
functional-sc.bsky.social
@dohertywa.bsky.social thanks for the follow! What interests you about Functional Programming?
November 23, 2024 at 8:08 PM
functional-sc.bsky.social
Clojure Conj 2024 is now up on ClojureTV! youtube.com/@clojuretv

#clojure #lisp
ClojureTV
Clojure (https://clojure.org) is a robust, practical, and fast programming language with a set of useful features that together form a simple, coherent, and powerful tool. ClojureTV brings together t...
youtube.com
November 13, 2024 at 8:00 PM
functional-sc.bsky.social
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
functional-sc.bsky.social
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/202...

#lambdacalculus #programming #haskell
content.wolfram.com
November 8, 2024 at 8:13 PM
functional-sc.bsky.social
TUE Nov 12th, LispNYC is having a social!

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

First person who guesses the combination gets a prize!

www.meetup.com/lispnyc/even...

#nyc #tech #lisp #scheme #clojure
LispNYC Social @ The Brazen Tavern, Tue, Nov 12, 2024, 6:30 PM | Meetup
(((λxyz.xz(yz) Eat) Drink) Lisp) First person who guessess the combination get's a prize.
www.meetup.com
November 8, 2024 at 2:45 PM
functional-sc.bsky.social
Interesting read on immutability and partial instantiation.

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

The Art of Prolog

#prolog #functionalprogramming
Cover of the Art of Prolog
November 7, 2024 at 2:33 PM
functional-sc.bsky.social
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
functional-sc.bsky.social
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
functional-sc.bsky.social
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
functional-sc.bsky.social
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
functional-sc.bsky.social
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
functional-sc.bsky.social
October 2, 2024 at 6:30 PM
functional-sc.bsky.social
Reminder TONIGHT is "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!
www.meetup.com/reforge/even...
Budget Microcontroller Projects - How uLisp Simplifies Programming, Wed, Oct 2, 2024, 5:30 PM | Meetup
In this workshop, we’ll introduce you to uLisp, a streamlined version of the LISP programming language tailored for microcontrollers. You’ll learn how to connect and progra
www.meetup.com
October 2, 2024 at 6:29 PM
functional-sc.bsky.social
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!

#charleston #sc

www.meetup.com/reforge/even...
Budget Microcontroller Projects - How uLisp Simplifies Programming, Wed, Oct 2, 2024, 5:30 PM | Meetup
In this workshop, we’ll introduce you to the world of uLisp, a streamlined version of the LISP programming language tailored for microcontrollers. You’ll learn how to conne
www.meetup.com
September 20, 2024 at 3:58 PM