GHC formally discontinuing 32-bit Windows support?
tl;dr. Unless someone speaks up, GHC will formally discontinue its (currently-broken) support for 32-bit Windows in 8.12. Hi everyone, As some have noticed, recent GHC releases' support for 32-bit Windows support can be generously described as "unreliable". This has been due to a combination of platform limitations, native toolchain bugs, and a general lack of capacity within the GHC community focusing on Windows support. I won't summarise the concrete issues here (see #17961, and #17700 for the current state-of-play) but let it suffice to say that we are currently stuck due to a bug in GNU binutils. However, I was recently informed that Cygwin and msys have recently discontinued their support for 32-bit Windows. While GHC uses a toolchain from the mingw32-w64 project, it seems only a matter of time before 32-bit builds cease there as well (see [1] for a summary of the relationships between these projects). Furthermore, Microsoft itself has said that 32-bit Windows 10 releases will cease later this year. All of this suggests to me that supporting 32-bit Windows in GHC will be, at best, an up-hill battle. Even worse, it is a battle with little to gained: essentially all Intel-based Windows systems today run on 64-bit-capable systems. I know of no compelling reasons why users would opt to use 32-bit Windows in 2020. Consequently, I suggest that we should formally discontinue 32-bit Windows support in GHC 8.12. In my opinion, GHC's limited engineering capacity on Windows is better spent elsewhere. However, if there are compelling reasons why some users still rely on 32-bit Windows support (despite it being largely unusable for the last two years), please do let me know. I have been consistently surprised by the number of users who have noted the absence of 32-bit Windows builds; I would love to know why they seem to be so popular. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/-/wikis/surviving-windows signature.asc Description: PGP signature ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
[ANNOUNCE] GHC 8.8.4 is now available
Hello everyone, The GHC team is proud to announce the release of GHC 8.8.4. The source distribution, binary distributions, and documentation are available at https://downloads.haskell.org/~ghc/8.8.4 Release notes are also available [1]. This release fixes a handful of issues affecting 8.8.3: - Fixes a bug in process creation on Windows (#17926). Due to this fix we strongly encourage all Windows users to upgrade immediately. - Works around a Linux kernel bug in the implementation of timerfd (#18033) - Fixes a few linking issues affecting ARM - Fixes "missing interface file" error triggered by some uses of Data.Ord.Ordering (#18185) - Fixes an integer overflow in the compact-normal-form import implementation (#16992) - `configure` now accepts a `--enable-numa` flag to enable/disable `numactl` support on Linux. - Fixes potentially lost sharing due to the desugaring of left operator sections (#18151). - Fixes a build-system bug resulting in potential miscompilation by unregisteised compilers (#18024) As always, if anything looks amiss do let us know. Happy compiling! Cheers, - Ben [1] https://downloads.haskell.org/ghc/8.8.4/docs/html/users_guide/8.8.4-notes.html signature.asc Description: PGP signature ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
[Haskell] PhD / Postdoc position (Uni Amsterdam) in programming language technology for adaptive cyber-physical systems
At the Parallel Computing Systems (PCS) group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) we are looking for a PhD candidate or postdoctoral researcher in the area of programming language technology, compilation and run-time systems for adaptively morphing cyber-physical systems. The successful candidate will conduct research in the context of the EU-funded Horizon-2020 project ADMORPH, coordinated by the University of Amsterdam. He or she will work under the supervision of Dr Clemens Grelck and Dr Andy Pimentel and is expected to address the programming language technology dimension of ADMORPH. We are developing a domain-specific language (DSL) that will combine functional dependencies with extra-functional requirements, expectations and strategies regarding fault-tolerance, timing, security, quality-of-service, etc. Our goal in the ADMORPH project is to refine the DSL to address robustness against hardware failure and cyber attack. More information on the planned research as well as on the formalities of the position can be found at the official vacancy site: https://www.uva.nl/en/content/vacancies/2020/07/20-420-researcher-in-programming-language-technology-for-adaptive-cyber-physical-systems.html?z Closing date: July 29, 2020. For informal inquiries, please contact: Dr Clemens Grelck . -- -- Dr Clemens Grelck Science Park 904 Associate Professor 1098XH Amsterdam Programme Director MSc Software EngineeringNetherlands University of Amsterdam Institute for InformaticsT +31 (0) 20 525 8683 Systems and Networking Lab F +31 (0) 20 525 7490 Parallel Computing Systems Group Office C3.109 staff.fnwi.uva.nl/c.u.grelck -- ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[Haskell] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)
Hello, Please, find below the second call for draft papers for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Publicity Chair of IFL IFL 2020 32nd Symposium on Implementation and Application of Functional Languages venue: online 2nd - 4th September 2020 https://www.cs.kent.ac.uk/events/2020/ifl20/ ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2020 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques - (industrial) applications ### Post-symposium peer-review Following IFL tradition, IFL 2020 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chair to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium every presenter is invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected for the formal proceedings. We plan to publish these proceedings in the International Conference Proceedings Series of the ACM Digital Library, as in previous years. ### Important dates Submission deadline of draft papers: 17 August 2020 Notification of acceptance for presentation: 19 August 2020 Registration deadline: 31 August 2020 IFL Symposium: 2-4 September 2020 Submission of papers for proceedings: 7 December 2020 Notification of acceptance:3 February 2021 Camera-ready version: 15 March 2021 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Programme committee Kenichi Asai, Ochanomizu University, Japan Olaf Chitil, University of Kent, United Kingdom (chair) Martin Erwig, Oregon State University,United States Daniel Horpacsi, Eotvos Lorand University, Hungary Zhenjiang Hu, Peking University, China Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom Neil Mitchell, Facebook, UK Marco T. Morazan, Seton Hall University, United States Rinus Plasmeijer, Radboud University, Netherlands Colin Runciman, University of York, United Kingdom Mary Sheeran, Chalmers University of Technology, Sweden Josep Silva, Universitat Politecnica de Valencia, Spain Jurrien Stutterheim, Standard Chartered, Singapore Josef Svenningsson, Facebook, UK Peter Thiemann, University of Freiburg, Germany Kanae Tsushima, National Institute of Informatics, Japan. Marcos Viera, Universidad de la Republica, Montevideo, Uruguay Janis Voigtlander, University of Duisburg-Essen, Germany ### Virtual symposium Because of the Covid-19 pandemic, this year IFL 2020
[Haskell] Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020
The Vienna Center for Logic and Algorithms of TU Wien (VCLA) has the pleasure to announce the recipients of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science. The highly successful fifth edition of the VCLA International Student Awards was concluded in July 2020. The awardees of the 2020 edition of the VCLA International Student Awards are: ***OUTSTANDING MASTER THESIS AWARD*** Karolina Okrasa (Poland Warsaw University of Technology) Thesis: Complexity of variants of graph homomorphism problem in selected graph classes Under the supervision of Paweł Rzążewski http://www.vcla.at/2020/07/fifth-edition-of-the-vcla-international-student-awards-2020/ ***OUTSTANDING UNDERGRADUATE RESEARCH AWARD*** Antonin Callard (France ENS Paris-Saclay) Thesis: Topological analysis of represented spaces and computable maps, cb0 spaces and non-countably-based spaces Under the supervision of Mathieu Hoyrup http://www.vcla.at/2020/07/fifth-edition-of-the-vcla-international-student-awards-2020/ = AWARDS = The annually awarded VCLA Awards are dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aim to carry on his commitment to promoting young talent and promising researchers in these areas. The awardees receive: • Outstanding Master Thesis Award: 1200 EUR • Outstanding Undergraduate Research (Bachelor) Award: 800 EUR • The awardees will be invited to present their work at an award ceremony (TBA due to COVID -19) === (SELF-)NOMINATIONS === The nominated theses had to be awarded between 15 November 2018 and 31 December 2019. The 2021 call will be issued in January 2021, for theses awarded between 15 November 2019 and 31 December 2020: http://www.vcla.at/vcla-awards === FORMER AWARDEES === *Martín Muñoz (Pontificia Universidad Católica de Chile): Descriptive Complexity for Counting Complexity Classes *Alexej Rotar (TU München): The Satisfiability Problem for Fragments of PCTL *Tomáš Lamser (Masaryk University): Algorithmic Analysis of Patrolling Games *Jeremy Liang An Kong (Imperial College London): MCMAS-Dynamic: Symbolic Model Checking Linear Dynamic Logic *Felix Dörre (Karlsruhe Institute of Technology): Verification of Random Number Generators *Valeria Vignudelli (University of Bologna): The Discriminating Power of Higher-Order Languages: A Process Algebraic Approach *Maximilian Schleich (Oxford University): Learning Regression Models over Factorised Joins *Pablo Muñoz (University of Chile): New Complexity Bounds for Evaluating CRPQs with Path Comparisons *Kuldeep S. Meel (Rice University): Sampling Techniques for Boolean Satisfiability *Luke Schaeffer (University of Waterloo): Deciding Properties of Automatic Sequences *Sophie Spirkl (University of Bonn): Boolean Circuit Optimization === VCLA AWARD COMMITTEE 2020 === *Shqiponja Ahmetaj *Ezio Bartocci *Ekaterina Fokina *Robert Ganian, co-chair *Benjamin Kiesl *Martin Lackner *Bjoern Lellmann *Anna Lukina *Laura Nenzi *Johannes Oetsch *Magdalena Ortiz, chair *Revantha Ramanayake, co-chair *Zeynep G. Saribatur *Mantas Simkus *Sebastian Skritek *Friedrich Slivovsky *Max Tschaikowski *Johannes P. Wallner ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell