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.
https://t.co/IjTxYBprZQ
#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!
https://t.co/JFNCkxyeWZ
#nyc#tech#lisp#scheme#clojure
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
https://t.co/CEmezkSJum
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! https://t.co/HSkTBa9jAh
#CHS#tech
Our boy Heowie is heading to the 2024 Clojure Conference! https://t.co/dHdGpp1kHc
He'll be packing some uLisp sticks and will want to talk about our new Logseq-based website https://t.co/vTzAHlWPBi
#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@CHSdigital
https://t.co/CEmezkSJum
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 https://t.co/48AzBXml5l
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 https://t.co/E5Ljt2rjtQ
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 https://t.co/E5Ljt2rjtQ
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 !!!
https://t.co/RDBjksEkV2