St Andrews FP Group @SAFPGroup
We are the functional programming group at the University of St Andrews. Abstraction, types, static analysis, parallelism, implementation, design, ... www-fp.cs.st-andrews.ac.uk University of St Andrews Joined September 2015-
Tweets391
-
Followers98
-
Following70
-
Likes325
the cat is out of the bag. here's the paper @d_christiansen and I wrote for the TyDe workshop at ICFP, about customizing the editor interactions of Idris using metaprogramming. come see me give a talk on September 27th in St. Louis, MO!
Extensible Type-Directed Editing (pdf) dlvr.it/QfYCyp
The second IDIR Summer Workshop 2018 is nearly here!! On the 16th of August there will be talks all about Health&Simulation Data! Let me know if you want to attend. idir.st-andrews.ac.uk/blog/2018/05/2… @StAndrewsIDIR @StAndrewsCS @SICSA_Scotland
Facebook awards Galois $100,000 grant to explore 1) adding C++ verification capabilities to SAW, 2) proving two verified HKDF implementations to serve as examples of use; and 3) building CI-ready verification scripts for the proofs. research.fb.com/facebook-award…
Full-time: Haskell : Backend & Web App Developer at Tripshot (Anywhere) bit.ly/2KVdk4c #jobs #hiring
@Franck_FS @xkcdComic We can do better, though!
Galois spins out systems re-engineering company Tangram Flex to revolutionize how large and complex embedded systems are created and modernized galois.com/news/galois-sp…
.@d_christiansen and @josecalderon are holding a Haskell Mini-Course at the Implementation and Application of Functional Languages Symposium. If you're attending, come join us on September 5th! 2018.iflconference.org/#course
Topics include GADTs, datakinds, type families, and how we use these in programming language implementation. The course is free (free food too!) and also open to people who aren't attending IFL. It's at UMass Lowell, within train range of Boston. Hope to see you!
.@d_christiansen and @josecalderon are holding a Haskell Mini-Course at the Implementation and Application of Functional Languages Symposium. If you're attending, come join us on September 5th! 2018.iflconference.org/#course
Lazy web, is there a parser combinator #Haskell library like attoparsec/megaparsec/.., specifically for parsing XML documents? There's xml-parsec on hackage, but isn't maintained. I.e. a Haskell library of parser combinators that would do much of the XML heavy lifting for me?
Happy birthday to Harry Potter and our very own honorary graduate @jk_rowling 🎉 We all know St Andrews is #basicallyhogwarts 😍 #HappyBirthdayJKRowling #HappyBirthdayHarryPotter
I have a graduating MS student w/ background in Haskell (etc) looking for a US-based functional programming job. Hit me up if you know of something.
In Amsterdam for the weekend if anyone fancies meeting for coffee and Haskell. ☕
Joining us in September? Download our Orientation App to find out everything you need to know, including pre-arrival resources and details of the Orientation Week programme and your induction into the University of St Andrews. #FreshSaints ow.ly/AnaX50hXhTL
#LambdaDays 2019 is on Feb21 & we’re going full speed ahead to make sure it’s as awesome as the last 5editions ow.ly/4HVO30kPvRh Want more functional programming in your life? Secure your spot now ow.ly/hX2D30kPvSC Also here are the 2018 videos ow.ly/W1Ug30kPvPI
@jfdm Get the presentation out of the way then work on whatever’s most fun :)
Full-time: Expert-Grade Software Engineer for Enterprise Software on Distributed Ledger Technology (Blockchain) at MCZ Moschin Executive AG bit.ly/2MvxoLU
Call out to companies interested in types, verification etc. We are looking for industry partners to engage with a U.K. Doctoral Training Centre bid. Various options available, giving access to students, IP etc. Contact me if you are interested in discussing further
sidhant @s1db_
319 Followers 2K Following Engineer/Scientist presently: Institute für Symbolic AI @JKULinz, @BilateralAI previously: @FATAglasgow, @AristaNetworks
Zixuan Zhao @ZixuanZhao19
22 Followers 580 Following
1HaskellADay @1HaskellADay
2K Followers 280 Following A short Haskell algorithmic puzzle, each day. Puzzle at Midnightish EST (GMT-5) Answer at 11pm EST (GMT-5)
Jacques Carette @jjcarett2
2K Followers 939 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
SIGPLAN-M @SigplanM
1K Followers 398 Following We form long-term cross-institutional mentoring connections in the programming languages community.
Ewan Gilligan @GilliganEwan
13 Followers 420 Following A coffee maker makes coffee, but a sandwich maker doesn't make sandwiches.
Peng Gong @YongWaiZheng
1 Followers 289 Following
Philip Leach @pa_leach
15 Followers 330 Following
Ben @Benjani859
31 Followers 436 Following Maybe I'm just a bizarre little person who walks back and forth.
Agdi Gladnyr @AgdiGladnyr
10 Followers 375 Following
Idris Oyebode @idris_oyebode
37 Followers 2K Following Machine/Deep Learner || CS Grad || Retweets aren't endorsement.
Groxio @GroxioLearning
2K Followers 2K Following Beginner or pro, Author & expert Bruce Tate's tailored approach to Elixir training will help you think beyond routine code to beautifully designed software.
TeamPlay-H2020.eu @TeamPlayH2020
288 Followers 2K Following Teamplay receives funding from the @EU_H2020 Research & Innovation Programme. Any related tweets reflect only the views of the project owner.
Adam Brouwers-Harries @harriesadam
215 Followers 983 Following Hype man for Dr @BrouwersRebecca. Performance tools @Mozilla/@Firefox. Big fan of quirky type systems and old jazz. All opinions my own. He/Him.
Haskell Madrid @HaskellMAD
373 Followers 988 Following
Benedikt Maderbacher @bmaderbacher
22 Followers 92 Following Computer Science PhD Student @TUGraz formal methods and programming languages nerd
Ian Miguel @IanJMiguel
164 Followers 601 Following Professor of Computer Science, University of St Andrews
David Stevenson DaveI... @DaveInScotland
261 Followers 983 Following Business development manager, scientist, University of St Andrews. Views are my own.
FP Days @FPDays
750 Followers 2K Following bringing you the best in Functional Programming. Clojure, Haskell, Erlang, F# & more.
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Andre Vermeulen @raptorqube
25 Followers 11 Following
Simon Thompson @thompson_si
4K Followers 1K Following CS researcher. Refactoring, smart contracts. Functional programmer in Haskell, Erlang, OCaml. University of Kent, UK; Eötvös Loránd University Budapest.
Adolfo Neto in on Blu... @adolfont
9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
Sydney Type Theory @SydneyTypes
230 Followers 250 Following Lunchtime type theory reading/study group in Sydney. We're currently reading the Homotopy Type Theory book. Tweets by @antiselfdual
Chris Allen ☦︎ �... @bitemyapp
4K Followers 2K Following 程序员 | 一千个敌人的王子 | 拜占庭 米塞斯 党团 | Πρίγκιπας με μυριάδες εχθρούς | Εκκλησιαστική αυτοεξορία | RGCC | anarcho-zyndicalist (Lucyite local #777)
Marc Johnson @MarcJohnson72
512 Followers 4K Following Follow me for software engineering related updates. I RT about #compiler, #sofwarearchitecture, #lowcode, #llvm, and #microservices
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]
SACHI St Andrews HCI @SACHI_research
1K Followers 973 Following This is the twitter feed for SACHI: St Andrews HCI Research Group. Follow for HCI announcements, updates, news, papers, projects, pointers, CFP & events
Marco Danelutto @marcodanelutto
10 Followers 44 Following
ParaFormance @ParaFormance
52 Followers 141 Following ParaFormance is a software tool-chain that allows software developers to quickly and easily write multi-core software.
Converge @ConvergeC
5K Followers 3K Following Scotland's leading entrepreneurial development programme open to staff, students & recent grads from all Scottish Universities & Research Institutes.
James Torre @jpt401
1K Followers 4K Following Root node of the web of threads: https://t.co/ifH80GcLpo
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
SICSA Scotland @SICSA_Scotland
3K Followers 948 Following SICSA promotes international excellence in University-led research, education, and knowledge exchange for Scottish Informatics and Computer Science
Graham Hutton @haskellhutt
9K Followers 698 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Clojure/conj @clojure_conj
5K Followers 7 Following Clojure/conj 2024 will be Oct 23-25, 2024 in Alexandria, VA!
Johan Glimming @glimming
668 Followers 4K Following CEO @ FUNCTOR, PhD, CTO, researcher in Computer Science. MSc Oxford, Maths Institute, formerly research fellow, Cambridge 🌐 https://t.co/qx88UJlKQt https://t.co/xZbtyedLTp
LambdaCat @lambda_cat
797 Followers 350 Following LambdaCat is a blog series which explains interesting/useful/cool Functional Programming tidbits. (Written by @doppioslash)
@doppioslash@mastodon... @doppioslash
3K Followers 4K Following Mind Contortionist and Bit Enchantress. Graphics Programmer, Proceduralism, Houdini, PBR, UE5, Unity, Rust, GameAI, Computer Vision. Book Author. I'm @shadercat
Natalia Chechina @nchechina
511 Followers 263 Following Developer at @ErlangSolutions. Chair of Embedded WG at @TheErlef. Chair of the @ErlangWorkshop Steering Committee. Opinions are my own :).
Marco Danelutto @marcodanelutto
10 Followers 44 Following
Chris Jefferson @Azumanga
590 Followers 484 Following AI and Maths Professor. Not spending time on Elon’s hellsite any more. @[email protected] @heathercafe.bsky.social
Chris Allen ☦︎ �... @bitemyapp
4K Followers 2K Following 程序员 | 一千个敌人的王子 | 拜占庭 米塞斯 党团 | Πρίγκιπας με μυριάδες εχθρούς | Εκκλησιαστική αυτοεξορία | RGCC | anarcho-zyndicalist (Lucyite local #777)
Sydney Type Theory @SydneyTypes
230 Followers 250 Following Lunchtime type theory reading/study group in Sydney. We're currently reading the Homotopy Type Theory book. Tweets by @antiselfdual
Andre Vermeulen @raptorqube
25 Followers 11 Following
David Stevenson DaveI... @DaveInScotland
261 Followers 983 Following Business development manager, scientist, University of St Andrews. Views are my own.
Robert Virding @rvirding
7K Followers 4K Following I code alone, yeah, With nobody else. Yeah, you know when I code alone, I prefer to be by myself.
John Thomson @john_d_thomson
102 Followers 74 Following Lecturer in Computer Science, St Andrews. Interested in compilers, runtime systems and empirical computer science.
Ian Miguel @IanJMiguel
164 Followers 601 Following Professor of Computer Science, University of St Andrews
Simon Thompson @thompson_si
4K Followers 1K Following CS researcher. Refactoring, smart contracts. Functional programmer in Haskell, Erlang, OCaml. University of Kent, UK; Eötvös Loránd University Budapest.
Jeremy Siek @jeremysiek
3K Followers 353 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
fraser-dunlop @fraser__dunlop
17 Followers 0 Following
Rephrase Project @rephrase_eu
435 Followers 2K Following EU Horizon 2020 Project. Software Engineering Methodologies for Data-Intensive Multi-Core programming. New tools and techniques for multi-core in C++
ParaFormance @ParaFormance
52 Followers 141 Following ParaFormance is a software tool-chain that allows software developers to quickly and easily write multi-core software.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Jeremy Gibbons @jer_gib
2K Followers 252 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
University of St Andr... @univofstandrews
59K Followers 2K Following 📚 Scotland's first university. Founded 1413. 🦋 On Bluesky: https://t.co/IqrCJAhyrl 🔗 Useful links: https://t.co/wng79O5q0t #EverToExcel
Stephanie Weirich @fancytypes
3K Followers 349 Following
Idris Language @idrislang
2K Followers 2 Following The Idris Programming Language. Tweets by @edwinbrady
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
1HaskellADay @1HaskellADay
2K Followers 280 Following A short Haskell algorithmic puzzle, each day. Puzzle at Midnightish EST (GMT-5) Answer at 11pm EST (GMT-5)
Joe Armstrong @joeerl
21K Followers 506 Following Writes programs and books. Invents things. Gives talks. Fixes broken software. Hobbies: Stroking cats, playing piano, grumbling, reading, thinking.
LambdaConf 2025 @lambda_conf
8K Followers 2K Following A mind-blowing programming conference, held in Estes Park, CO.
Yaron (Ron) Minsky @yminsky
22K Followers 367 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Andres Löh @kosmikus
3K Followers 471 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Lennart Augustsson @Augustsson
2K Followers 198 Following
Malcolm Wallace @malcolm_wallace
483 Followers 186 Following haskell hacker, vicar’s wife, accidental banker.
@[email protected] @donsbot
6K Followers 0 Following Not on Twitter anymore. Follow me at https://t.co/TsydQVKe5X and https://t.co/yZojCG7KEO
Simon Marlow @simonmar
8K Followers 246 Following Software Engineer at Facebook, Haskell enthusiast, GHC boiler-room technician
Franka @franschm
595 Followers 947 Following Platform & Security engineering. Tweets in EN/DE. she/her ☕️ 🚴♀️ 🏳️🌈 Mastodon: [email protected]
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Galois @galois
6K Followers 652 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
SICSA Scotland @SICSA_Scotland
3K Followers 948 Following SICSA promotes international excellence in University-led research, education, and knowledge exchange for Scottish Informatics and Computer Science
Rob Stewart @robstewartUK
986 Followers 2K Following Associate Professor in Computer science. Functional programmer, HPC, embedded systems, deep learning for Edge Computing. @[email protected]
Ruth Hoffmann @ruthhoffmann
229 Followers 439 Following Doctor in Dots in Boxes. Lecturer in CS. Interested in Combinatorics, Computational Group Theory and Formal Verification. Avid cake baker, and gin drinker.
Logic & Applications @LogicPractice
28K Followers 8 Following Logic and applications of logic from @JohnDCook
Functor Fact @FunctorFact
27K Followers 6 Following Functional programming and category theory tweets from @JohnDCookYou might like
