The Clojure documentary premieres live later today!
Thanks to the folks who participated, Nu for sponsoring, and all those who helped in the development of Clojure and its community.
I'll be in the chat, and I hope to see you there!
www.youtube.com/watch?v=Y24v...
Lambda symbol floating above a mountain lake
All hail the Lambda! ...GPT now renders symbols that look like actual symbols.
A refreshing review of the year in Common-Lisp including the curated Awesome-CL list. lisp-journey.gitlab.io/blog/these-y...
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...
Leapfrog a blog and publish a graph, go Logseq! Our website is one static SPA, including the search and graph visualization. functional.sc
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...
True!
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!
but yyyy-dd-mm is in ascii-betical order!
Will we ever move 100% to English? Music notation hacking has had hundreds of years of refinement and that's a DSL. Just say no to BNF. 😜
Congratulations! You'll love Berlin, try and visit Holzmarkt, not terribly far from the conference.
#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...
@dohertywa.bsky.social thanks for the follow! What interests you about Functional Programming?
Microfocus OO COBOL had some great ones. Perhaps translated from ...Japanese?
"The happiness quotient is optimal."
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
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
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
Cover of the Art of Prolog
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
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...
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...
