Functional SC
@functional_sc
Programming in Historic Charleston South Carolina. We ♥ #functional #clojure #haskell #fsharp #erlang #scala #chs and more
You might like
Thanks @JaredCorduan and Razet for reviewing "GC Reference Counting with Reuse" and the novel programming paradigm FBIP - Functional But In-Place! functional.sc/lean-series #lean #FunctionalProgramming #formalmethods @leanprover #chstech @CHSdigital
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/2020/… #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! meetup.com/lispnyc/events… #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 charlestonlc.org/classes/charle…
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 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 @CHSdigital charlestonlc.org/classes/charle…
Last chance for signing up for this uLisp programming class tonight at Reforge Charleston: buff.ly/4e9bxac
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 mtup.link/e/EheGgA
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 meetup.com/Functional-SC/
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 meetup.com/Functional-SC/
We Need to Talk About Parentheses andreyor.st/posts/2020-12-…
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 !!! meetup.com/lispnyc/events…
Thanks @metosin great showing at Clojure Conj 2023, your art makes the best watch! #clojure #lisp #watchface getwatchmaker.com/watch/saF0yBCN…
Hey @fogus details of your LISPM are here functional.sc/ulisp
Encouraging you to join us tomorrow (Tuesday, December 13) for this year’s Lispukkah 2022 virtual holiday party! meetup.com/lispnyc/events… 🌟
Babashka performs surprisingly well in Kubernetes #clojure #babashka #k8s linkedin.com/pulse/breaknec…
linkedin.com
Breakneck Babashka on K8s
Babashka, a native fast interpreter ostensibly "just for scripting" by the Clojure kids really has the power to work full time in a Kubernetes cluster. It just served up 140,000 requests/second with...
Congratulations @nonrecursive on SEVEN PRINTINGS of "Clojure for the Brave and True"!!!
ClojureD 2022 schedule is up, great stuff from @borkdude @nonrecursive and more! clojured.de/schedule/
Join us TUE Apr 19th at 7:00. Our first meeting since the pandemic, a nice face to face will help with those pandemic-blues! Discussing the State of the Functional World graciously hosted @reforge_CHS #functional #chs #clojure #haskel meetup.com/Functional-SC/…
United States Trends
- 1. Veterans Day 282K posts
- 2. Veterans 446K posts
- 3. Luka 76.6K posts
- 4. Nico 129K posts
- 5. Mavs 29.7K posts
- 6. Gambit 32.4K posts
- 7. Kyrie 6,901 posts
- 8. Wike 77.7K posts
- 9. Sabonis 2,503 posts
- 10. #csm220 7,034 posts
- 11. Dumont 24K posts
- 12. Vets 25.2K posts
- 13. #MarvelRivals 30K posts
- 14. Rogue 44.9K posts
- 15. Wanda 23.2K posts
- 16. Mantis 4,207 posts
- 17. Jay Rock 2,475 posts
- 18. Arlington National Cemetery 14K posts
- 19. #MFFL 2,360 posts
- 20. Strategist 8,449 posts
You might like
Something went wrong.
Something went wrong.