[Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing, MobiSPC

The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada July 24-26, 2023 http://cs-conferences.acadiau.ca/mobispc-23/

[Haskell] HCVS 2023 - Last Call for Papers

10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023 23rd April 2023 - Paris, France https://www.sci.unich.it/hcvs23/ Important dates: - Paper submission deadline: Feb 22, 2023 - Paper notification: Mar 22, 2023 - Workshop: Apr 23, 2023 Many

Re: [ANNOUNCE] GHC 9.6.1-alpha3 is now available

reported as https://gitlab.haskell.org/ghc/ghc/-/issues/22993 Thanks & Regards George On Wed, Feb 15, 2023 at 2:04 PM George Colpitts wrote: > It seems wrong to me that the configure file references Xcode.app and > MacOSX12.1: > > bash-3.2$ fgrep Xcode.app configure > >

Re: [ANNOUNCE] GHC 9.6.1-alpha3 is now available

It seems wrong to me that the configure file references Xcode.app and MacOSX12.1: bash-3.2$ fgrep Xcode.app configure FFIIncludeDir=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.1.sdk/usr/include/ffi

Re: [ANNOUNCE] GHC 9.6.1-alpha3 is now available

Hi Ben Thanks for replying. As I mentioned in my original email I'm on Ventura,13.2.1, I just upgraded to that before installing alpha3. I have command line tools. I did the following to reinstall them and got the same results stated in my email: sudo rm -rf

Re: [ANNOUNCE] GHC 9.6.1-alpha3 is now available

George Colpitts writes: > Hi > > I get a strange warning on MacOS when I do ./configure: > > checking Xcode version... xcode-select: error: tool 'xcodebuild' requires > Xcode, but active developer directory '/Library/Developer/CommandLineTools' > is a command line tools instance > not found (too

[Haskell] ICFP 2023 Artifact Evaluation Committee: call for nominations

Dear all, We are looking for motivated people to be members of the ICFP 2023 Artifact Evaluation Committee (AEC). Students, researchers and people from the industry or the free software community are all welcome. The artifact evaluation process aims to improve the quality and reproducibility of

Re: [ANNOUNCE] GHC 9.6.1-alpha3 is now available

Hi I get a strange warning on MacOS when I do ./configure: checking Xcode version... xcode-select: error: tool 'xcodebuild' requires Xcode, but active developer directory '/Library/Developer/CommandLineTools' is a command line tools instance not found (too old?) I also get a related strange

[ANNOUNCE] GHC 9.6.1-alpha3 is now available

The GHC team is very pleased to announce the availability of GHC 9.6.1-alpha3. As usual, binaries and source distributions are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.6.1-alpha3/ Beginning with GHC 9.6.1, GHC can be built as a cross-compiler to WebAssembly

[Haskell] SEIT 2023 CfPs: The 13th International Conference on Sustainable Energy Information Technology (SEIT)

The 13th International Conference on Sustainable Energy Information Technology (SEIT) Halifax, Nova Scotia, Canada July 24-26, 2023 Conference Website: http://cs-conferences.acadiau.ca/seit-23/ The goal of the SEIT

[Haskell] ICFP 2023: Last Call for Papers

PACMPL Volume 7, Issue ICFP 2023 Call for Papers Accepted papers to be invited for presentation at The 28th ACM SIGPLAN International Conference on Functional Programming Seattle, USA

[Haskell] Midlands Graduate School, 2-6 April 2023, Birmingham , UK

Dear all, Registration is now open for this years Midlands Graduate School, which takes place 2-6 April 2023 at the University of Birmingham, UK: http://www.tinyurl.com/MGS2023 MGS provides an intensive course of lectures on the Mathematical Foundations of Computing. It has been running for

[Haskell] Call for STSMs and ITC conference grants, deadline 1 January 2023

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and ITC conference grants Dear Action members, The next grant application deadline is: 1st March 2023 *What is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit of an individual

[Haskell] TYPES 2023 - Call for contributions

[ Apologies for multiple postings ] =     Call for Contributions   TYPES 2023    29th International Conference on Types for

[Haskell] [ANNOUNCE] GHC 9.2.6 released

The GHC developers are happy to announce the availability of GHC 9.2.6. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.2.6). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_6.html Blog Post:

[Haskell] ARRAY 2023 Call for Papers - please help disseminate

# ARRAY 2023 - co-located with PLDI 2023 - call for papers * Submission deadline: 31st of March * Notification:21st of April * Workshop date: 17th of June * Submission: https://array23.hotcrp.com/ Array programming is at home in many communities, including language design, library

[Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada July 24-26, 2023 http://cs-conferences.acadiau.ca/mobispc-23/

[Haskell] MobiSPC 2023 CFPs: The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC) Halifax, Nova Scotia, Canada July 24-26, 2023 http://cs-conferences.acadiau.ca/mobispc-23/

[Haskell] CALCO 2023: Second Call for Papers

= CALL FOR PAPERS: CALCO 2023 10th International Conference on Algebra and Coalgebra in Computer Science June 19-21, 2023 Bloomington, Indiana (USA) and online Co-located with MFPS XXXIX https://coalg.org/calco-mfps-2023/ ***

[Haskell] 2nd Call for Participation: BOB 2023 (Berlin, March 17)

= BOB 2023 Conference “What happens if we simply use what’s best?” March 17, 2023, Berlin

[ANNOUNCE] GHC 9.6.1-alpha2 is now available

The GHC team is very pleased to announce the availability of GHC 9.6.1-alpha2. As usual, binaries and source distributions are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.6.1-alpha2/ Beginning with GHC 9.6.1, GHC can be built as a cross-compiler to WebAssembly and

Re: How to fool the divergence checker in ghc 9

On Fri, Jan 20 2023, David Feuer wrote: > Actually, getting that arity probably isn't important anyway Try O0. Ah, that worked. Many thanks! -- Regards, Mike ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org

Re: How to fool the divergence checker in ghc 9

Actually, getting that arity probably isn't important anyway Try O0. On Fri, Jan 20, 2023, 5:26 AM David Feuer wrote: > What if you go with the big hammer for that module: -O0? My main concern > about that is that you won't get arity analysis. There may be some more -f > flags I've

Re: How to fool the divergence checker in ghc 9

What if you go with the big hammer for that module: -O0? My main concern about that is that you won't get arity analysis. There may be some more -f flags I've missed... On Fri, Jan 20, 2023, 5:17 AM Michael Sperber wrote: > > On Fri, Jan 20 2023, David Feuer wrote: > > > I don't know what all

Re: How to fool the divergence checker in ghc 9

On Fri, Jan 20 2023, David Feuer wrote: > I don't know what all that means exactly (especially since GHC's demand > signatures have changed recently in a way I don't understand at all). But > for hiding divergence, one option is to use a module with demand analysis > disabled. Try {-#

Re: How to fool the divergence checker in ghc 9

I don't know what all that means exactly (especially since GHC's demand signatures have changed recently in a way I don't understand at all). But for hiding divergence, one option is to use a module with demand analysis disabled. Try {-# options_ghc -fno-strictness #-}. You'll likely need to put

How to fool the divergence checker in ghc 9

I'm trying to port Conal Elliott's ConCat plugin from ghc 8 to 9, and the divergence checker foils me. Background: The plugin works by transforming calls to a pseudo-function toCcc' defined like so: -- | Pseudo function to trigger rewriting to TOCCC form. toCcc' :: forall k a b. (a -> b) -> (a

Re: [ANNOUNCE] GHC 9.6.1-alpha1 is now available

George Colpitts writes: > Hi > > I believe llvm does not work in this alpha as 21936 is still open. Is that > correct? > Indeed we do not yet support LLVM 15 but all previous LLVM versions continue to work. We can try to fix this for the final release. > I also believe that when it does work

Re: [ANNOUNCE] GHC 9.6.1-alpha1 is now available

On Sun, Jan 15, 2023 at 1:01 PM George Colpitts wrote: > my original email corrected below > > On Sat, Jan 14, 2023 at 8:51 AM George Colpitts > wrote: > >> Hi >> >> I believe llvm 15 does not work in this alpha as 21936 is still open. Is >> that correct? >> >> I also believe that when it does

Re: [ANNOUNCE] GHC 9.6.1-alpha1 is now available

my original email corrected below On Sat, Jan 14, 2023 at 8:51 AM George Colpitts wrote: > Hi > > I believe llvm 15 does not work in this alpha as 21936 is still open. Is > that correct? > > I also believe that when it does work ghc 9.6 will not be compatible with > earlier versions of llvm 15.

Re: [ANNOUNCE] GHC 9.6.1-alpha1 is now available

Hi I believe llvm does not work in this alpha as 21936 is still open. Is that correct? I also believe that when it does work it will require llvm 15 which will be incompatible with earlier versions of ghc. Is that correct? Thanks George On Fri, Jan 13, 2023 at 7:02 PM Ben Gamari wrote: >

[ANNOUNCE] GHC 9.6.1-alpha1 is now available

The GHC team is very pleased to announce the availability of GHC 9.6.1-alpha1. As usual, binaries and source distributions are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.6.1-alpha1/ This is the first alpha release in the 9.6 series which will bring a number of

[Haskell] CfP: Journal of Systems and Software - Special Issue on Software Language Engineering

Dear Colleagues, We invite submissions for the Journal of Systems and Software Special Issue on «Software Language Engineering». This special issue is related to the 2022 edition of the Software Language Engineering Conference (https://2022.splashcon.org/home/sle-2022?) but **it is open to all

[Haskell] CMSB 2023: first call for papers

CMSB 2023: 21st Conference on Computational Methods in Systems Biology Luxembourg City, Luxembourg September 13-15, 2023 Conference website: https://cmsb2023.uni.lu/ CMSB series website: https://cmsb.sciencesconf.org/

[Haskell] ICFP 2023 Call for Papers

PACMPL Volume 7, Issue ICFP 2023 Call for Papers Accepted papers to be invited for presentation at The 28th ACM SIGPLAN International Conference on Functional Programming Seattle, USA

[Haskell] Tenure-track Faculty Positions at the IMDEA Software Institute

TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE The IMDEA Software Institute invites applications for tenure-track (Assistant Professor) faculty positions. We are primarily interested in recruiting excellent candidates in the areas of: Machine Learning, including Explainable

[Haskell] [TFP 2023 Call For Participation] 24th International Symposium on Trends in Functional Programming

# TFP 2023 -- Call For Participation (trendsfp.github.io) ## Dates Registration:   Friday 6th January, 2023 TFPIE Workshop: Thursday 12th January, 2023 TFP Symposium:  Friday 13th - Sunday 15th January, 2023 The Symposium on Trends in Functional Programming (TFP) is an international forum for

Will there be a GHC 9.2.6?

Hi All I just noticed Haskell Language Server (HLS) 1.9 has been released, which supports GHC 9.2.5. My organisation is currently using GHC 9.2.2 and I don't see any immediate need to jump to GHC 9.4, it would be good to settle on the latest most stable version of the GHC 9.2 series as it

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.4.4 is now available

Excellent! On Sat, Dec 24, 2022, 10:29 PM Ben Gamari wrote: > David Feuer writes: > > > Does this release include the fix for #22549 (infinite loops for some > > undecidable instances)? > > > Yes, it includes a backport of !9485. > > Cheers, > > - Ben > >

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.4.4 is now available

David Feuer writes: > Does this release include the fix for #22549 (infinite loops for some > undecidable instances)? > Yes, it includes a backport of !9485. Cheers, - Ben signature.asc Description: PGP signature ___ Glasgow-haskell-users mailing

Re: [ANNOUNCE] GHC 9.4.4 is now available

Does this release include the fix for #22549 (infinite loops for some undecidable instances)? On Sat, Dec 24, 2022, 5:36 PM Ben Gamari wrote: > The GHC developers are happy to announce the availability of GHC 9.4.4. > Binary > distributions, source distributions, and documentation are available

[ANNOUNCE] GHC 9.4.4 is now available

The GHC developers are happy to announce the availability of GHC 9.4.4. Binary distributions, source distributions, and documentation are available at downloads.haskell.org [1]. This release is primarily a bugfix release. Bugs fixed include: * An issue where the wrong labels were used in the

[Haskell] CALCO 2023: First Call for Papers

= CALL FOR PAPERS: CALCO 2023 10th International Conference on Algebra and Coalgebra in Computer Science June 19-22, 2023 Bloomington, Indiana (USA) and online Co-located with MFPS XXXIX https://coalg.org/calco-mfps-2023/

[Haskell] HCVS 2023 - First Call for Papers

10th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Co-located with ETAPS 2023 23rd April 2023 - Paris, France https://www.sci.unich.it/hcvs23/ Important dates: - Paper submission deadline: Feb 22, 2023 - Paper notification: Mar 22, 2023 - Workshop: Apr 23, 2023 Many

[Haskell] Dutch FP Day - Call for participation

=== FP Dag 2023 30th Netherlands Functional Programming Day Friday, 06 January, 2023 CALL FOR PARTICIPATION

[Haskell] Call for STSMs, deadline 1 January 2023

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action members, The next STSM deadline is: 1st January 2023 *What is an STSM?* A Short-Term Scientific Mission (STSM) is a research visit of an individual researcher from a country participating in

[Haskell] Email

Please take me off email list Sent from my iPhone Please take me off your email list thank you ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] Certified Programs and Proofs (CPP) 2023: Call for Participation

*** Call for Participation *** *** Certified Programs and Proofs (CPP) 2023 ***  - Early registration deadline: 16 December 2022  - Registration: https://popl23.sigplan.org/attending/registration  - Further reduced student participation fee: see below  - Accommodation: Boston Park Plaza   

[Haskell] ICFP 2023: Call for Workshop and Co-Located Event

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2023 28th ACM SIGPLAN International Conference on Functional Programming September 4 - 9, 2023 Seattle, WA, USA https://icfp23.sigplan.org/

[Haskell] Tenure Track Position at University of Kansas

The University of Kansas (KU) Department of Electrical Engineering and Computer Science (EECS) seeks outstanding individuals for a full-time, tenure track, academic year (9-month) position in Computer Science. Successful candidates are expected to contribute to the development of academic

[Haskell] 10 PhD studentships in Nottingham

Dear all, The School of Computer Science at the University of Nottingham in the UK is seeking applications for 10 fully-funded PhD studentships: https://tinyurl.com/ten-phd-2022 Applicants in the area of the Functional Programming Lab (tinyurl.com/fp-notts) are strongly encouraged! If you are

[Haskell] [TFP 2023 2nd Call for Papers] 24th International Symposium on Trends in Functional Programming

# TFP 2023 -- Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline: pre-symposium, full papers,  Wednesday 23rd November, 2022 Submission deadline: pre-symposium, draft papers, Friday 16th December, 2022 Notification:    pre-symposium submissions,   Friday 23rd

[Haskell] Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC

EVENT: Annual LMS/BCS-FACS Evening Seminar SPEAKER: Sam Staton, University of Oxford TITLE: Programming-based foundations for statistics DATE: Thursday, 17 November 2022, Starting time: 18:00 UTC VENUE: Online via Zoom EVENT PAGE:

[Haskell] The 6th International Conference on Emerging Data and Industry (EDI40: Leuven, Belgium March 15-17, 2023): Paper Submission Due: November 15, 2022 (firm)

Apologies if you receive multiple copies of this message. The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 Conference Website: http://cs-conferences.acadiau.ca/edi40-23/ Workshops: http://cs-conferences.acadiau.ca/edi40-23/#workshop

[Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40)

Apologies if you receive this more than once. *** The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 *** Conference

[Haskell] Call for papers, TASE 2023, Bristol, UK, 4-6 July 2023

TASE 2023 - CALL FOR PAPERS ** The 17th International Symposium on Theoretical Aspects of Software Engineering (TASE 2023) July 4-6, Bristol, UK

[Haskell] 2nd Call for Contributions: BOB 2023 [March 17, Deadline Nov 21]

BOB Conference 2023 "What happens when we use what's best for a change?" https://bobkonf.de/2023/cfc.html Berlin, Mar 17

Re: [ANNOUNCE] GHC 9.4.3 is now available

On Fri, 4 Nov 2022 at 05:00, Ben Gamari wrote: > The GHC developers are happy to announce the availability of GHC 9.4.3. > Thank you - I updated the Fedora ghc9.4 package to 9.4.3. Fedora users can install it from updates-testing repos already (available for several days now) . The EPEL9 build

GitLab maintenance today

Hi all, Today we will be doing some maintenance on gitlab.haskell.org to address #22418. I can't yet say precisely when the outage will begin but I do expect there to be one. I will try to provide at least 30 minutes notice. Cheers, - Ben signature.asc Description: PGP signature

[Haskell] [ANNOUNCE] GHC 9.2.5 released

The GHC developers are very happy to at announce the availability of GHC 9.2.5. Binary distributions, source distributions, and documentation are available at [`downloads.haskell.org`](https://downloads.haskell.org/ghc/9.2.5). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_5.html

[Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40)

Apologies if you receive this more than once. *** The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 *** Conference

[ANNOUNCE] GHC 9.4.3 is now available

The GHC developers are happy to announce the availability of GHC 9.4.3. Binary distributions, source distributions, and documentation are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.4.3 This release is primarily a bugfix release addressing a few issues found in

[Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40)

*** The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 *** Conference Website: http://cs-conferences.acadiau.ca/edi40-23/

[Haskell] Journal of Functional Programming - Call for PhD Abstracts

Dear all, If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 30th November 2022. Please

[Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40)

*** The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 *** Conference Website: http://cs-conferences.acadiau.ca/edi40-23/

[Haskell] [EDI40 CFPs: Deadline Extension (FINAL): Nov. 15, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40)

Apologies if you receive this more than once. *** The 6th International Conference on Emerging Data and Industry (EDI40) Leuven, Belgium March 15-17, 2023 *** Conference

[Haskell] Call for Contributions: BOB 2023 [March 17, Deadline Nov 21]

BOB Conference 2023 "What happens when we use what's best for a change?" https://bobkonf.de/2023/cfc.html Berlin, Mar 17

[Haskell] [EDI40 CFP: Deadline Extension: Oct. 30, 2022]: The 6th International Conference on Emerging Data and Industry (EDI40)

Apologies if you receive this more than once **Extended Deadline: 30th October, 2022***

[Haskell] AVailable PhD position in parallel functional programming languages

The section for Programming Languages and the Theory of Computation (PLTC) at the Department of Computer Science invites applicants for a PhD fellowship in the implementation and optimisation of data-parallel functional programming languages. More information:

Re: [Haskell] Request for Nominations to the GHC Steering Committee

Sorry for that, but Am Donnerstag, dem 06.10.2022 um 14:28 +0200 schrieb Joachim Breitner: > To nominate yourself, please send an email to me (as the committee > secretary) at m...@joachim-breitner.de until February 11th. > should be October 16th. Cheers, Joachim -- Joachim Breitner

[Haskell] Request for Nominations to the GHC Steering Committee

Dear Haskell community, the GHC Steering committee is seeking nominations for one or more new members. The committee scrutinizes, nitpicks, improves, weighs and eventually accepts or rejects proposals that extend or change the language supported by GHC and other (public-facing) aspects of GHC.

[Haskell] [CfP] - DEADLINE EXTENSION - First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022

== *** DEADLINE EXTENSION: NEW deadline October 23, 2022 *** AI and HEALTHCARE Working Group Kick-off Meeting ==

[Haskell] PADL 2023: Final Call for Papers (with updated deadlines!)

== Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023

[Haskell] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022

-    ProLaLa 2023 -- 2nd Workshop on Programming Languages and the Law                              Sunday Jan 15th, 2022                                   Boston, MA

[Haskell] Eelco Visser Commemorative Symposium – 2nd Call for Papers

Due to the untimely passing of Eelco Visser, members of his former research communities TU Delft, CWI, OOPSLA, SLE, and IFIP Working Groups 2.11 & 2.16 have joined in organizing the Eelco Visser Commemorative Symposium. The event will be held on the occasion of the first anniversary of his passing

[Haskell] [TFP 2023 Call for Papers] 24th International Symposium on Trends in Functional Programming

# TFP 2023 -- Call for Papers (trendsfp.github.io) ## Important Dates Submission deadline: pre-symposium, full papers,  Wednesday 23rd November, 2022 Submission deadline: pre-symposium, draft papers, Friday 16th December, 2022 Notification:    pre-symposium submissions,   Friday 23rd

[Haskell] 2nd Call for Papers: PADL 2023

== Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023

[Haskell] CFP - JFLA 2023 - Journées Francophones des Langages Applicatifs

[ This message is intentionally written in French. It is a call for papers for the "Francophone Days on Functional Languages" to be held at the end of January 2023 in the French Alps. ] - Merci de faire circuler : premier appel à communications - JFLA'2023

[Haskell] [CfP] - First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022

- apologize for multiple postings - == First AIxIA Workshop on Artificial Intelligence For Healthcare HC@AIxIA 2022 November 28 - December 2, 2022, University of Udine, Udine, Italy https://sites.google.com/unical.it/hcaixia2022

Re: [ANNOUNCE] GHC 9.4.2 is now available

On Tue, 23 Aug 2022 at 02:56, Ben Gamari wrote: > The GHC developers are happy to announce the availability of GHC 9.4.2. > Thanks! I have built it for Fedora Linux and EPEL 9, where it can be installed now from the testing repos, eg: $ sudo dnf install --enablerepo=updates-testing ghc9.4

[Haskell] GHC Proposals session at Haskell Symposium at ICFP

Dear friends of GHC, this year’s Haskell Symposium will host a special “GHC Proposals session” where current, future and past GHC Proposals can be presented and discussed: https://icfp22.sigplan.org/home/haskellsymp-2022#GHC-Proposals-Session I invite all GHC Proposal authors (or otherwise

GHC Proposals session at Haskell Symposium at ICFP

Dear friends of GHC, this year’s Haskell Symposium will host a special “GHC Proposals session” where current, future and past GHC Proposals can be presented and discussed: https://icfp22.sigplan.org/home/haskellsymp-2022#GHC-Proposals-Session I invite all GHC Proposal authors (or otherwise

[ANNOUNCE] GHC 9.4.2 is now available

The GHC developers are happy to announce the availability of GHC 9.4.2. Binary distributions, source distributions, and documentation are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.4.2 This release is primarily a bugfix release addressing a few packaging issues

Re: [Haskell] [ANNOUNCE] GHC 9.2.4 released

Late follow-up on Fedora... On Thu, 28 Jul 2022 at 19:17, Zubin Duggal wrote: > The GHC developers are very happy to at announce the availability of GHC > 9.2.4. > That was great news, thank you. I just wanted to share that the Fedora Linux ghc9.2 packages have been updated to 9.2.4 (and have

Re: [ANNOUNCE] GHC 9.4.1 is now available

On Mon, 8 Aug 2022 at 05:30, Ben Gamari wrote: > The GHC developers are very pleased to announce the availability of GHC > 9.4.1. > Thank you for the new major version release. I have built it for all current Fedora releases and EPEL9 in the ghc9.4 package. For those interested you can check

[Haskell] Certified Programs and Proofs (CPP) 2023 Call for Papers

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2023

[Haskell] IFL22: Early registration deadline August 15th

*IFL 2022Frederiksberg Campus of Faculty of Science, UCPH, CopenhagenAugust 31s-September 2nd, 2022* *Early registration deadline: August 15th AoE * *See **https://ifl22.github.io/* * for more information.* *CALL FOR PARTICIPATION:* The 34th Symposium on

Re: [ANNOUNCE] GHC 9.4.1 is now available

Thanks Ben, there's a couple of broken links on the Downloads page, going via the haskell.org/ghc 'GHC 9.4.1 Released!' link, rather than the link below in your message: * Release Notes * Documentation The urls seem to be using a different directory structure, ==> 404. (Also the link in your

Re: [ANNOUNCE] GHC 9.4.1 is now available

Ben Gamari writes: > The GHC developers are very pleased to announce the availability of GHC > 9.4.1. Binary distributions, source distributions, and documentation are > available at downloads.haskell.org: > > https://downloads.haskell.org/ghc/9.4.1 > Hi all, Due to an unfortunate packaging

ghc doesn't work after installing 9.4.1 on my Mac

Unfortunately ghc doesn't work after installing 9.4.1 on my Mac. Does it work for others? After the install finishes when I do the following: $ ghc --version bash: /usr/local/bin/ghc: Permission denied $ sudo chmod +x /usr/local/bin/ghc $ghc --version /usr/local/bin/ghc: line 1: exec: : not

[Haskell] 1st Call for Papers: PADL 2023

== Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.4.1 is now available

Bruno Damour writes: > Hello, > Thanks for this new release ! > Do you plan to add FreeBSD binaries ? Yes, I have recently been working on the FreeBSD CI infrastructure [1] and hope to have this finished in time for 9.4.2. Cheers, - Ben [1]

[ANNOUNCE] GHC 9.4.1 is now available

The GHC developers are very pleased to announce the availability of GHC 9.4.1. Binary distributions, source distributions, and documentation are available at downloads.haskell.org: https://downloads.haskell.org/ghc/9.4.1 This release includes: - A new profiling mode, `-fprof-late`, which

[Haskell] PPDP 2022 and LOPSTR 2022 Call for Participation

[ Apologies for multiple postings ] PPDP 2022 - LOPSTR 2022 JOINT CALL FOR PARTICIPATION PPDP 2022 24th International Symposium on Principles and Practice of Declarative Programming 20-22 September 2022, Tbilisi, Georgia

Re: [Haskell] [ANNOUNCE] GHC 9.2.4 released

Hi, > On a Mac it is still necessary to do > > xattr -rc . > > before doing > > sudo make install For 9.2.4, "xattr -rc ." is not good enough on my Mac (upgraded to v12.5 today). "sudo spctl --global-disable" is necessary, sigh. --Kazu ___

Re: [Haskell] [ANNOUNCE] GHC 9.2.4 released

Thanks Zubin, this is good news. On a Mac when do ./configure I see checking Xcode version... xcode-select: error: tool 'xcodebuild' requires Xcode, but active developer directory '/Library/Developer/CommandLineTools' is a command line tools instance not found (too old?) I assume I can ignore

[Haskell] [ANNOUNCE] GHC 9.2.4 released

The GHC developers are very happy to at announce the availability of GHC 9.2.4. Binary distributions, source distributions, and documentation are available at [`downloads.haskell.org`](https://downloads.haskell.org/ghc/9.2.4). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_4.html

Re: success on a slightly modified version of your suggestion for 21506

that matches my experience, namely that i've successfully installed ghc 9.2.2 on osx 12.4 aka monterey a few times On Sun, Jul 24, 2022 at 12:59 PM George Colpitts wrote: > Hi Ben > > Thanks for the quick responses particularly on the weekend before your > vacation. > > you wrote: > > What

[Haskell] Call for Papers: Eelco Visser Commemorative Symposium

Due to the untimely passing of Eelco Visser, members of his former research communities TU Delft, CWI, OOPSLA, SLE, and IFIP Working Groups 2.11 & 2.16 have joined in organizing the Eelco Visser Commemorative Symposium. The event will be held on the occasion of the first anniversary of his passing

Re: Compilation of Overloaded strings and saving constant results

Hi Clinton, On 25/07/2022 05:15, Clinton Mead wrote: I'm presuming (correct me if I'm wrong) that when I have an overloaded string literal in my program, let's say it's overloaded to Text, the conversion from [Char] -> Text happens at runtime, instead of what would be ideal being that the

<    1   2   3   4   5   6   7   8   9   10   >