Programming in Historic Charleston South Carolina. We ♥ #functional #clojure #haskell #fsharp #erlang #scala #chs and morefunctional.sc Charleston, SCJoined May 2016
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
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
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@CHSdigitalcharlestonlc.org/classes/charle…
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_CHSmtup.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@CHSdigitalmeetup.com/Functional-SC/
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…
114 Followers 151 FollowingCharlestonJS is a CommunityJS group in Charleston, SC. Meetings held weekly online at 5pm EST, everyone is welcome! 🙌 https://Charleston https://t.co/w8k0tg6pmD
250 Followers 1K FollowingCatch me on https://t.co/PCIvnurgsS
Infosec, Triplesec, Ableton Live. Problem solving is my passion. Also EDM. Securing smart speakers for a living🔊
247 Followers 761 FollowingCoder in daytime everything else at night.....I'm been balling so damn hard, i think that I'm kobe #IT #techjunkie #father #blacktechtwitter #programmer #gamer
1K Followers 2K FollowingHelping business owners, technicians, and entrepreneurs make great cyber decisions, to be fantastic in the middle of a crisis and even better in preventing one.
592 Followers 1K FollowingFormer Career Services for the ECPI U Chas Campus. Now helping employers engage & retain the best workforce w/awesome educational benefits!
450 Followers 1K FollowingCheck out what's happening in the world’s most beautiful city and hottest emerging tech scene, #Chucktown, USA. #CHS #CHStech
261 Followers 287 FollowingBeaufort Digital Corridor is a tech start-up incubator located in Beaufort, SC. We serve to help grow the tech economy in the Lowcountry.
171 Followers 433 FollowingFounding engineer of PokitDok, acquired by Change Healthcare. Now founder of @WaywardAI, a video game/interactive media studio.
7K Followers 105 FollowingBreaking through the challenges where your information systems meet application development. Moving you forward at the speed of innovation. [email protected]
874 Followers 482 FollowingPhilosopher, Technologist, Writer.
Progressive independent.
Using this same handle in the blue sky.
Pachyderm: @[email protected]
2K Followers 1K FollowingA community of people creating high-quality #opensource solutions for #DataScience in #Clojure •https://t.co/eOcVS68keq •https://t.co/1oMV6D6Vid
36K Followers 1K Followingepistemological anarchist, aiming to understand something about life, what it is, why it exists and what other forms might be
4K Followers 4K FollowingMission-Centered Internet Marketing Agency. Thought leadership via SEO, websites, social, email, PR and privacy-friendly paid placement that respects prospects
1 Followers 5 FollowingMy name is Christopher, I am currently a student at the College of Charleston. I am interested in robotics and software development. Which is almost the same.
74 Followers 783 FollowingAs an information technology recruiting and staffing firm, we furnish services to a range of industries with a well-documented and successful business model.
247 Followers 761 FollowingCoder in daytime everything else at night.....I'm been balling so damn hard, i think that I'm kobe #IT #techjunkie #father #blacktechtwitter #programmer #gamer
1K Followers 1K FollowingCarolinaCon 2024 will be hosted online November 1st-3rd! We are the longest running hacker conference in North Carolina and are 100% volunteer run.