# orderedItems[].object.content
Combinators are 100 years old! in 1924 Moses Schönfinkel wrote "On the building blocks of mathematical logic" where he laid the foundation Functional Programming.

Combinators are functions that manipulate other functions, combining them in ways allowing complex expressions to be built from simpler ones.

https://content.wolfram.com/sites/43/2 020/12/Schonfinkel-OnTheBuildingBlocksOfMathematicalLogic.pdf

#lambdacalculus #functionalprogramming #haskell

# orderedItems[].object.contentMap.en
Combinators are 100 years old! in 1924 Moses Schönfinkel wrote "On the building blocks of mathematical logic" where he laid the foundation Functional Programming.

Combinators are functions that manipulate other functions, combining them in ways allowing complex expressions to be built from simpler ones.

https://content.wolfram.com/sites/43/2 020/12/Schonfinkel-OnTheBuildingBlocksOfMathematicalLogic.pdf

#lambdacalculus #functionalprogramming #haskell

# orderedItems[].object.content
TUE Nov 12th, LispNYC is having a social!

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

First person who guesses the combination gets a prize!

https://www. meetup.com/lispnyc/events/3044 23596/

#nyc #tech #lisp #scheme #clojure

# orderedItems[].object.contentMap.en
TUE Nov 12th, LispNYC is having a social!

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

First person who guesses the combination gets a prize!

https://www. meetup.com/lispnyc/events/3044 23596/

#nyc #tech #lisp #scheme #clojure

# orderedItems[].object.content
Interesting read on immutability and partial instantiation.

https://blog.dnmfarrell.com/post/incom plete-data-structures/

The Art of Prolog

#prolog #functionalprogramming

# orderedItems[].object.contentMap.en
Interesting read on immutability and partial instantiation.

https://blog.dnmfarrell.com/post/incom plete-data-structures/

The Art of Prolog

#prolog #functionalprogramming

# orderedItems[].object.content
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

https://www. charlestonlc.org/classes/charl eston-lean-proof-assistant-meetup/

# orderedItems[].object.contentMap.en
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

https://www. charlestonlc.org/classes/charl eston-lean-proof-assistant-meetup/

# orderedItems[].object.content
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://lnkd.in/eGpgWX_Z

#CHS #tech

# orderedItems[].object.contentMap.en
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://lnkd.in/eGpgWX_Z

#CHS #tech

# orderedItems[].object.content
Our boy Heowie is heading to the 2024 Clojure Conference! https://2024.clojure-conj.org/

He'll be packing some uLisp sticks and will want to talk about our new Logseq-based website https://www. functional.sc

#Clojure #Lisp #uLisp #logseq

# orderedItems[].object.contentMap.en
Our boy Heowie is heading to the 2024 Clojure Conference! https://2024.clojure-conj.org/

He'll be packing some uLisp sticks and will want to talk about our new Logseq-based website https://www. functional.sc

#Clojure #Lisp #uLisp #logseq

# orderedItems[].object.content
Our boy Heowie is heading to the 2024 Clojure Conference! https://2024.clojure-conj.org/

He'll be packing some uLisp sticks and will want to talk about our new Logseq-based website https://www. functional.sc

#Clojure #Lisp #uLisp #logseq

# orderedItems[].object.contentMap.en
Our boy Heowie is heading to the 2024 Clojure Conference! https://2024.clojure-conj.org/

He'll be packing some uLisp sticks and will want to talk about our new Logseq-based website https://www. functional.sc

#Clojure #Lisp #uLisp #logseq

# orderedItems[].object.content
Join us TUE Oct 8th for "LEAN Proof Assistant Series" hosted by Jared Corduan where we focus on universal & existential quantifiers, mirrors in pi, sigma types and the recent paper "zkPi: Proving Lean Theorems in Zero-Knowledge". #chstech

https://www. charlestonlc.org/classes/charl eston-lean-proof-assistant-meetup/

# orderedItems[].object.contentMap.en
Join us TUE Oct 8th for "LEAN Proof Assistant Series" hosted by Jared Corduan where we focus on universal & existential quantifiers, mirrors in pi, sigma types and the recent paper "zkPi: Proving Lean Theorems in Zero-Knowledge". #chstech

https://www. charlestonlc.org/classes/charl eston-lean-proof-assistant-meetup/

# orderedItems[].object.content
@deadblackclover

There's a reason it's good and it's not just nostalgia! Cyberpunk Cinema:

https://pca.st/episode/76096046-193c-4 47d-8fc1-94b5d776f135

# orderedItems[].object.contentMap.en
@deadblackclover

There's a reason it's good and it's not just nostalgia! Cyberpunk Cinema:

https://pca.st/episode/76096046-193c-4 47d-8fc1-94b5d776f135

# orderedItems[].object.content
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 #sc

# orderedItems[].object.contentMap.en
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 #sc

# orderedItems[].object.content
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!

https://www. meetup.com/reforge/events/3035 31648

# orderedItems[].object.contentMap.en
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!

https://www. meetup.com/reforge/events/3035 31648

# orderedItems[].object.content
@kt
Considering taking a look at Plan 9, it has the fundamentals you're looking for.

# orderedItems[].object.contentMap.en
@kt
Considering taking a look at Plan 9, it has the fundamentals you're looking for.

# orderedItems[].object.content
@deadblackclover
Was just listening to that today!

# orderedItems[].object.contentMap.en
@deadblackclover
Was just listening to that today!

# orderedItems[].object.content
@mdallastella thanks, much appreciate all the work you do to keep things humming along!

Do you plan on attending the upcoming Conj in the states?

# orderedItems[].object.contentMap.en
@mdallastella thanks, much appreciate all the work you do to keep things humming along!

Do you plan on attending the upcoming Conj in the states?

# orderedItems[].object.content
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

https://www. meetup.com/reforge/events/3035 31648

# orderedItems[].object.contentMap.en
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

https://www. meetup.com/reforge/events/3035 31648