Functional SC @functional_sc
Programming in Historic Charleston South Carolina. We ♥ #functional #clojure #haskell #fsharp #erlang #scala #chs and more functional.sc Charleston, SC Joined May 2016-
Tweets230
-
Followers179
-
Following260
-
Likes544
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
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…
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/…
fithisux @fithisux
71 Followers 196 Following Hello , here in twitter i read news but more in roblox! :)❤
Nicholas Gilbert - BA... @GilbertStClr
202 Followers 331 Following
Adora Dorotea Lila sh... @adora___
584 Followers 5K Following Researcher in #OpenScience, OpenInfo, OpenSharing, #OpenCulture, #OpenKnowledge ... #Creativity and #Coziness Coach, Designer, Artist #Montreal #Lisboa #Berlin
Ore @orembbbb
2 Followers 394 Following
fabiohhto 🎲 @0xfabiosje
1K Followers 6K Following
clivetong @clivetong14
26 Followers 488 Following
smile @Smilex_P
237 Followers 5K Following
The Lone Ranger @AbdullahMdKhan
172 Followers 7K Following
LispNYC @LispNYC
592 Followers 212 Following (send-mad-lovin (@LispNYC) (all-hackers)) since 2002. 🎥 https://t.co/hU5XZkkHZ1
Chris Hanlon @ChrisHanlonCA
17K Followers 18K Following Security Engineer Google Security Hall of Fame Presenter & Workshop host at #BSidesLV and #DEFCON
Zoe Braiterman @zbraiterman
5K Followers 3K Following Web3 Co-Founder @web3enabler @SkyProtocolOrg @MutualKnowledge / @owasp @infosecgirls @GlobalWIC Advisor @snyksec Ambassador
Jason Youmans @jasonyoumans
79 Followers 235 Following Serial entrepreneur with significant experience in the media industry.
Giang Pham @phamgi22
11 Followers 81 Following Backend Developer (Java, JavaScript, AWS, Ruby...) 👩🏻💻 Student @BloomTech Former health care worker
Vlad Patryshev 🇺�... @vpatryshev
1K Followers 709 Following Programmer. Taught logic etc at Santa Clara University. My slides and talks: https://t.co/YaBLuKh2Ir
mia temma @miatemma
58 Followers 32 Following
New Directions | Info... @NewDirectionsIT
237 Followers 493 Following Staffing Services Powered by People
Erle R Granger II @erle_ii
34 Followers 227 Following C# - Python - F# - Scala Tech Interests - Functional Programming; Gen AI Former - story analyst; poker player; traceur
Hargriffle @rowanharg
198 Followers 2K Following
Charleston JS @charlestonjs
115 Followers 151 Following CharlestonJS is a CommunityJS group in Charleston, SC. Meetings held weekly online at 5pm EST, everyone is welcome! 🙌 https://Charleston https://t.co/w8k0tg6pmD
Armando Ramos Garcima... @AR_eu
2K Followers 7K Following GOFAI guy 🦣 https://t.co/yyQx6vIAwV #cleanair #350 #opendata #privacy #cooperation #consciousness #freethought
🅴🅼🅼🅰 🅼... @Emma_73181
46 Followers 2K Following Do you want to get my most favorite photo in Direct? Add me!I want to meet new guys! 😚😘👗
hyper @_hyper_io
253 Followers 1K Following hyper - one API... many services ⚡️ Join the hyper community https://t.co/KejPUEOgxS
Okanlomo @Okanlom28991180
10 Followers 61 Following We are nothing but pencil in the hand of creator
Punished Stixx @BundleOfStixx
252 Followers 1K Following Catch me on https://t.co/PCIvnurgsS Infosec, Triplesec, Ableton Live. Problem solving is my passion. Also EDM. Securing smart speakers for a living🔊
Sheryl Sabol Photogra... @sherylsabol
22 Followers 83 Following photographer & we will see what happens next.
M Dot Double T @ThatsMePartner
248 Followers 762 Following Coder 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
Caly @CalB023
109 Followers 1K Following Houseplants | GoBirds | Hurling | Cats | Exercise | GoPhils
t3h pr0wn @ShrimpAndBits
156 Followers 211 Following Trawling The Silicon Harbour. Steaming bowls full of boiled hominy topped with deep fried ones and zeroes.
Jono @chsweb
6K Followers 2K Following UX & Product Designer • I help businesses grow with design, strategy & leadership.
Chris Saylor @cjsaylor
191 Followers 189 Following Husband, dad, gamer, wood worker, baker, and software engineering manager @zumba.
Cameron Presley @ �... @pcameronpresley
900 Followers 509 Following Follow me on BlueSky - @thesoftwarementor.com
Courtney Davies @courtsmith10182
56 Followers 344 Following Licensed Life Insurance Broker & Certified Debt Free Life Advisor, Symmetry Financial Group
Roger Swanson - CISSP... @roger_swanson
1K Followers 2K Following Helping business owners, technicians, and entrepreneurs make great cyber decisions, to be fantastic in the middle of a crisis and even better in preventing one.
ECPI Charleston @ECPICCS
594 Followers 1K Following Former Career Services for the ECPI U Chas Campus. Now helping employers engage & retain the best workforce w/awesome educational benefits!
chucktech @chuckt3ch
449 Followers 1K Following Check out what's happening in the world’s most beautiful city and hottest emerging tech scene, #Chucktown, USA. #CHS #CHStech
Beaufort Digital Corr... @beaufortdigital
262 Followers 287 Following Beaufort Digital Corridor is a tech start-up incubator located in Beaufort, SC. We serve to help grow the tech economy in the Lowcountry.
Gini Wren @GiniTheCat
171 Followers 435 Following Founding engineer of PokitDok, acquired by Change Healthcare. Now founder of @WaywardAI, a video game/interactive media studio.
Jared Corduan @JaredCorduan
659 Followers 373 Following
Gabriel Horner (on Bl... @cldwalker
658 Followers 139 Following Passionate about building better tools for knowledge management. @logseq More active on https://t.co/mf4w02fde3
Focus Retreat Center @focusretreats
61 Followers 88 Following We host retreats for deep creative work & learning. Find inspiration from like-minded peers and let your creativity flourish.
Janet A. Carr @janetacarr
5K Followers 253 Following Clojure Consultant & Freelancer Software Dev, Clojure, & Functional Programming Twitch: https://t.co/MQSMRl4qp7 Course: https://t.co/APVnddLdAM
Simon Willison @simonw
115K Followers 6K Following Creator @datasetteproj, co-creator Django. PSF board. Hangs out with @natbat. He/Him. Mastodon: https://t.co/t0MrmnJW0K Bsky: https://t.co/OnWIyhX4CH
Cognitect, Inc. @cognitect
7K Followers 105 Following Breaking through the challenges where your information systems meet application development. Moving you forward at the speed of innovation. [email protected]
The REPL @the_repl
2K Followers 2 Following A weekly newsletter and podcast about Clojure and ClojureScript by @danielwithmusic https://t.co/v7UAMKqIhl…
Clojurists Together @cljtogether
3K Followers 32 Following Clojurists Together supports and funds critical open source Clojure software.
Practical_li 🇺🇦 @practical_li
896 Followers 50 Following Practical books on software development, focusing on Clojure, tooling and starting data science https://t.co/x7fbIoA3du
JUXT @juxtpro
2K Followers 186 Following For over a decade, we’ve built high-quality, scalable, and resilient software systems for the world's largest companies.
Kent Pitman 🌎 @KentPitman
875 Followers 482 Following Philosopher, Technologist, Writer. Progressive independent. Using this same handle in the blue sky. Pachyderm: @[email protected]
Lisp Advocates @LispAdvocates
1K Followers 160 Following Common Lisp Advocacy for the better future today! #LispAdvocates #lisp
John Wiseman @lemonodor
16K Followers 2K Following Persistent sousveiller. Walt Disney R&D Imagineer. DM for Signal. I mostly post at @lemonodor.b*k*.social
reClojure @reClojure
1K Followers 19 Following An annual Clojure Conference offering world-class speakers and topics! Join us again in 2022!
The Little Lisper @thelittlelisper
4K Followers 147 Following Interested in Common Lisp and modern lisps like Clojure
Alex Gladstein 🌋 �... @gladstein
257K Followers 3K Following Chief Strategy Officer: @HRF + @OsloFF / Author: https://t.co/JbAaLXQAib + https://t.co/AsDltMVMam / Nostr: npub1trr5r2nrpsk6xkjk5a7p6pfcryyt6yzsflwjmz6r7uj7lfkjxxtq78hdpu
Kelsey Piper @KelseyTuoc
47K Followers 942 Following We're not doomed, we just have a big to-do list.
Conrad Barski @lisperati
7K Followers 409 Following Clojure Coder - Medical Doctor - Illustrator - Land Of Lisp Author - Lisp Alien Creator - AI notkilleveryoneist
Logseq 🪵 @logseq
32K Followers 2K Following A privacy-first, open-source knowledge base • Need support? Join our forum @ https://t.co/tHH5UZwfJs
Scicloj @scicloj
2K Followers 1K Following A community of people creating high-quality #opensource solutions for #DataScience in #Clojure •https://t.co/eOcVS68keq •https://t.co/1oMV6D6Vid
Charleston UX @CharlestonUX
922 Followers 1K Following Charleston UX is a place for those interested in learning more about creating a solid user experience.
Chas (Anxiety Goblin)... @cemerick
5K Followers 972 Following Making PDFs reliable data sources @snowtide, PWLConf @papers_we_love & Clojure alum. PLT, distsys, future-computing, politics, policy @[email protected]
Lambda Island @lambdaisland
2K Followers 111 Following Empowering others through the beauty of Clojure by @GaiwanTeam
Sara Imari Walker @Sara_Imari
36K Followers 1K Following epistemological anarchist, aiming to understand something about life, what it is, why it exists and what other forms might be
Caly @CalB023
109 Followers 1K Following Houseplants | GoBirds | Hurling | Cats | Exercise | GoPhils
Rep. Sylleste Davis @syllestedavis
3K Followers 4K Following Rep SC House Dist. 100, @CofC alum, #STEM Advocate, Focused on jobs, education, transportation, security, protecting natural + historic resources.
Charleston CoderDojo @coderdojochs
120 Followers 320 Following
lincs.io @lincsIO
106 Followers 349 Following
Blackbaud @blackbaud
33K Followers 19K Following We provide essential software for the people and organizations who change the world. Let's fuel impact together.
5th Level Web @5thLevelWeb
4K Followers 4K Following Mission-Centered Internet Marketing Agency. Thought leadership via SEO, websites, social, email, PR and privacy-friendly paid placement that respects prospects
Todd @tsp_asdf
123 Followers 520 Following
IU InformaticsAlumni @IUinformatics
703 Followers 2K Following Not an official IU account. Official IU tweets for Informatics at @IUPUInformatics & @IUSice
Christopher @Christo21516819
1 Followers 5 Following My 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.
New Directions Staffi... @ND_IT_Staffing
74 Followers 784 Following As an information technology recruiting and staffing firm, we furnish services to a range of industries with a well-documented and successful business model.
Courtney Davies @courtsmith10182
56 Followers 344 Following Licensed Life Insurance Broker & Certified Debt Free Life Advisor, Symmetry Financial Group
Cameron Presley @ �... @pcameronpresley
900 Followers 509 Following Follow me on BlueSky - @thesoftwarementor.com
M Dot Double T @ThatsMePartner
248 Followers 762 Following Coder 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
CarolinaCon @CarolinaCon
1K Followers 1K Following CarolinaCon 2024 will be hosted online November 1st-3rd! We are the longest running hacker conference in North Carolina and are 100% volunteer run.
Sheryl Sabol Photogra... @sherylsabol
22 Followers 83 Following photographer & we will see what happens next.Trends for United States
You might like
