From andrew.lelechenko at gmail.com Sat Jan 4 14:02:52 2025 From: andrew.lelechenko at gmail.com (Andrew Lelechenko) Date: Sat, 4 Jan 2025 14:02:52 +0000 Subject: [Haskell-cafe] CLC Elections January 2025 Message-ID: <0B562C6D-7710-4FD2-82E4-F20B9F6C6A25@gmail.com> Core Libraries Committee seeks nominations for three expiring seats (including my own). What is CLC? CLC is a volunteer body, primarily tasked with management of API of base package, but also owning so-called Core Libraries and responsible for PVP . You can find more at our home page . Who should apply? Anyone who meets the following criteria should apply: Candidates should have enough bandwidth to review merge requests to base on a semi-frequent basis (~3-4 per month), and sustain this for their 3 years term in a healthy manner. Candidates should be able to contribute opinions and analysis to issues raised by the community as a part of the CLC proposal process on a semi-frequent basis (~7 per month). Candidates should be good communicators, and at least be able to articulate to the CLC team when they will be available vs. unavailable. Candidates should be productive, and be able to follow through on merge requests and conversations to their completion in a diligent and timely manner. We encourage any and all who satisfy these requirements to apply. Please note that we are not looking for the biggest galaxy brain in the room – quite the opposite. We are looking for productive, motivated individuals who want to help support the ecosystem that we love. As such, we hope to build a broad sample of the community. How can I apply? To apply for one of these positions, send an email to clc.nominations.2025 at gmail.com that consists of the following data: The subject “CLC Election September 2025 - {your name}”. Why you think you’re a good fit given the above criteria. If applicable, please point us to some code you’ve written. Please apply before Feb 2. Best regards, Andrew -------------- next part -------------- An HTML attachment was scrubbed... URL: From lc985 at cam.ac.uk Tue Jan 7 07:54:55 2025 From: lc985 at cam.ac.uk (Luisa Cicolini) Date: Tue, 7 Jan 2025 07:54:55 +0000 Subject: [Haskell-cafe] CGO'25 - early bird registration and student research competition Message-ID: <0F77AC86-FDBE-44CE-823B-DB0D614F0FC7@cam.ac.uk> Dear all, Registrations for the International Symposium on Code Generation and Optimization (CGO) 2025, taking place in Las Vegas, from 1st-5th March are now open. The International Symposium on Code Generation and Optimization (CGO) is a premier venue bringing together researchers and practitioners working at the interface of hardware and software on a wide range of optimization and code generation techniques and related issues. The conference spans from purely static to fully dynamic approaches, from pure software-based methods to specific architectural features and support for code generation and optimization. Early registration deadline is on 31st January! We are also hosting a Student Research Competition (SRC): a unique opportunity for undergraduate and graduate students to present their original research before a panel of judges and attendees at CGO'25. The winner will be awarded and invited to the 2025 ACM SRC competition. If you know any undergraduate or postgraduate students doing research in compiler-related topics, please invite them to apply - we are excited to welcome young researchers to the community! Best, Luisa Cicolini -------------- next part -------------- An HTML attachment was scrubbed... URL: From mostafatouny at protonmail.com Tue Jan 7 10:02:33 2025 From: mostafatouny at protonmail.com (Mostafa Touny) Date: Tue, 07 Jan 2025 10:02:33 +0000 Subject: [Haskell-cafe] Formal Verification & Modern AI Safety Message-ID: <26edcDdEhN09S9NDGqDzTyMbEiXG5Nq83IYTtVpYr37jY3Vz9HksjGIPzABzGK1RAoj11196z2wtR1WPHu8vwhXGwerqh8tXnE6Z37xSnmI=@protonmail.com> Hello Haskellers, I hope you are doing well. Amazon started to adopt automated theorem provers, to mitigate modern Generative AI hallucination. See "Prevent factual errors from LLM hallucinations with mathematically sound Automated Reasoning checks": https://aws.amazon.com/blogs/aws/prevent-factual-errors-from-llm-hallucinations-with-mathematically-sound-automated-reasoning-checks-preview/ This community has ties to formal proofs, type-driven programming, and Logic programming. Do you see any special potential of Haskell for recent AI safety? Sincerely, Mostafa Touny From xnningxie at gmail.com Tue Jan 7 16:21:48 2025 From: xnningxie at gmail.com (Ningning Xie) Date: Tue, 7 Jan 2025 11:21:48 -0500 Subject: [Haskell-cafe] POPL 2025 Call for Participation (January 19-25, Denver, Colorado) Message-ID: The 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025) will take place in January in Denver, Colorado, the United States. It's going to be an amazing conference - don't miss it - sign up now! https://popl25.sigplan.org/attending/registration Location: Curtis Hotel Denver, 1405 Curtis Street, 80202, Denver, Colorado, United States Dates: - Main conference: Wed 22 - Fri 24 January - Workshops, tutorials, co-located events: Sun 19, Mon 20, Tue 21 and Sat 25 January Accepted papers: https://popl25.sigplan.org/track/POPL-2025-popl-research-papers Full details of the conference and co-located events: https://popl25.sigplan.org/ Sponsors: POPL is supported by generous sponsorship from: - Amazon - Jane Street - Google DeepMind - JetBrains - Microsoft - Epic - Google - Ahrefs -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Wed Jan 8 03:35:39 2025 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Tue, 7 Jan 2025 19:35:39 -0800 Subject: [Haskell-cafe] [ANN] Copilot 4.2 Message-ID: Hi everyone!! We are really excited to announce Copilot 4.2 [1,2]. Copilot is a stream-based EDSL in Haskell for writing and monitoring embedded C programs, with an emphasis on correctness and hard realtime requirements. Copilot is typically used as a high-level runtime verification framework, and supports temporal logic (LTL, PTLTL and MTL), clocks and voting algorithms. Compilation to Bluespec, to target FPGAs, is also supported. Copilot is NASA Class D open-source software, and is being used at NASA in drone test flights. Through the NASA tool Ogma [3] (also written in Haskell), Copilot also serves as a runtime monitoring backend for NASA's Core Flight System, Robot Operating System (ROS2), FPrime (the software framework used in the Mars Helicopter). This release introduces several big improvements to Copilot: - Specifications can now use the same handler for multiple monitors, provided that the arguments to those handlers always have consistent types and arity. This simplifies the code that uses Copilot, since it's no longer necessary to create multiple boilerplate wrappers around the same handling routines. - The use of structs has been vastly simplified. Before, it was necessary to define class instances for structs, whose implementations were, although repetitive, not intuitive especially for users unfamiliar with Haskell. In Copilot 4.2, it is now possible to define those methods automatically by relying on default method implementations that work well for most cases, although users retain the ability to customize those methods if desired. - We have increased test coverage in `copilot-core`, reaching full coverage of all elements of the public interface that are not automatically generated by GHC. The interface of `copilot-core` has also been simplified, deprecating record fields of an existential type UExpr, which were largely unused outside of Copilot's internals. The new implementation is compatible with versions of GHC from 8.6 to 9.10, as well as Stackage Nightly. This release has been made possible thanks to key submissions from Frank Dedden, Ryan Scott, and Kyle Beech, the last of which is also a first-time contributor to the project. We are grateful to them for their timely contributions, especially during the holidays, and for making Copilot better every day. We also want to thank the attendees of Zurihac 2024 for technical discussions that helped find the right solutions to some of the problems addressed by this release. For details on this release, see [1]. https://github.com/Copilot-Language/copilot/releases/tag/v4.2. As always, we're releasing exactly 2 months since the last release. Our next release is scheduled for Mar 7th, 2025. We want to remind the community that Copilot is now accepting code contributions from external participants again. Please see the discussions and the issues in our github repo [4] to learn how to participate. Current emphasis is on improving the codebase in terms of performance, stability and test coverage, removing unnecessary dependencies, hiding internal definitions, formatting the code to meet our new coding standards, and simplifying the Copilot interface. Users are encouraged to participate by opening issues, asking questions, extending the implementation, and sending bug fixes. Happy Haskelling! Ivan -- [1] https://github.com/Copilot-Language/copilot/releases/tag/v4.2 [2] https://hackage.haskell.org/package/copilot [3] https://github.com/nasa/ogma [4] https://github.com/Copilot-Language/copilot -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Wed Jan 8 08:24:21 2025 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Wed, 8 Jan 2025 00:24:21 -0800 Subject: [Haskell-cafe] Rebuilding package on hackage to generate documentation Message-ID: Hi, I'm trying to trigger a re-build of Yampa on hackage so that the documentation will be generated. I'm being met with the following message: Report not found Build report does not exist Am I doing something wrong? Thanks Ivan -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrei.h.popescu at gmail.com Thu Jan 9 01:31:01 2025 From: andrei.h.popescu at gmail.com (Andrei Popescu) Date: Thu, 9 Jan 2025 01:31:01 +0000 Subject: [Haskell-cafe] Final call for participation: LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025 Message-ID: LMS/BCS-FACS Seminar 2025 Wednesday 15 January 2025, from 19:00 (GMT) Online via Zoom https://www.lms.ac.uk/events/lms-bcs-facs-seminar-2025 In association with the British Computer Society Formal Aspects of Computing Science (BCS-FACS), the LMS hosts an annual online seminar on aspects of the computer science–mathematics interface. These events are free to anyone who wishes to attend and have attracted high-quality speakers. We are happy to have this verification talk from a wonderful speaker just one day after World Logic Day. Speaker: Annabelle McIver (Macquarie University) Probabilistic Datatypes: automating verification for abstract probabilistic reasoning Abstract: Datatypes - in which data is encapsulated together with methods that access it - play an important role in the organisation of large software projects. Correctness of datatypes has traditionally been carried out using simulation relations to simplify the verification by separating concerns: the datatype can be verified independently from the programs that use it, whilst those programs themselves can be verified using the specifications of the datatype's methods. Use of these principles enables complex programs to be brought within reach of automated proof. When probabilistic choice is included, however, it turns out that obtaining similar simplifications of the verification problem will require distinguishing between "hidden" and "observable" probabilistic behaviour - if demonic choice is allowed in the surrounding program. And that is not required in the non-probabilistic setting: the crucial issue is the potential interaction of probabilistic- and demonic choice. In the main part of this talk I will use examples to explain why the interaction is problematic, and I will suggest how extension of existing pGCL-based automated reasoning-tools, will by taking that interaction into account, enable automated probabilistic abstract reasoning about "hard to crack" probabilistic programs. Registration: To attend remotely via Zoom, please complete the registration form here: https://www.lms.ac.uk/civicrm/event/info?reset=1&id=139 You will receive the link to the meeting upon registration, as well as an automated reminder email sent 24 hours before the event is scheduled to start. For all queries regarding the seminar, please contact lmscomputerscience at lms.ac.uk. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ben.franksen at online.de Thu Jan 9 15:22:34 2025 From: ben.franksen at online.de (Ben Franksen) Date: Thu, 9 Jan 2025 16:22:34 +0100 Subject: [Haskell-cafe] [ANN] Darcs 2.18.5 release In-Reply-To: <5f9fcb5f-25c2-4259-b94b-d2b61ad2471c@online.de> References: <5f9fcb5f-25c2-4259-b94b-d2b61ad2471c@online.de> Message-ID: Hello Everyone On behalf of the Darcs [1] team, I would like to announce the release of Darcs 2.18.5 [2]. See [3] for the full release notes. This release is needed mostly because some of our dependencies made breaking changes without increasing the major version or failed to update the bounds on their own dependencies. This caused the previous release (2.18.4) to no longer build with cabal. [1] https://darcs.net [2] https://hackage.haskell.org/package/darcs-2.18.5 [3] https://hackage.haskell.org/package/darcs-2.18.5/changelog From ben.franksen at online.de Thu Jan 9 19:14:08 2025 From: ben.franksen at online.de (Ben Franksen) Date: Thu, 9 Jan 2025 20:14:08 +0100 Subject: [Haskell-cafe] Formal Verification & Modern AI Safety In-Reply-To: <26edcDdEhN09S9NDGqDzTyMbEiXG5Nq83IYTtVpYr37jY3Vz9HksjGIPzABzGK1RAoj11196z2wtR1WPHu8vwhXGwerqh8tXnE6Z37xSnmI=@protonmail.com> References: <26edcDdEhN09S9NDGqDzTyMbEiXG5Nq83IYTtVpYr37jY3Vz9HksjGIPzABzGK1RAoj11196z2wtR1WPHu8vwhXGwerqh8tXnE6Z37xSnmI=@protonmail.com> Message-ID: On 07.01.25 11:02, Mostafa Touny via Haskell-Cafe wrote: > Hello Haskellers, > I hope you are doing well. > > Amazon started to adopt automated theorem provers, to mitigate modern Generative AI hallucination. > > See "Prevent factual errors from LLM hallucinations with mathematically sound Automated Reasoning checks": https://aws.amazon.com/blogs/aws/prevent-factual-errors-from-llm-hallucinations-with-mathematically-sound-automated-reasoning-checks-preview/ > > This community has ties to formal proofs, type-driven programming, and Logic programming. > > Do you see any special potential of Haskell for recent AI safety? According to the IMO very insightful article "ChatGPT is bullshit" (https://link.springer.com/article/10.1007/s10676-024-09775-5) "hallucination" is a misleading term for the phenomenon. It can be much better understood as "bullshit" in the precise sense of uttering statements with complete disregard to factual truth. This is a fundamental design property of LLMs and the authors convincingly argue that attempts to mitigate the problem by supplying additional external "truth oracles" are unlikely to work. One of the most illustrative examples the authors cite is that of an LLM "inventing" non-existent scientific papers to corroborate their claims. This is not at all surprising, given how these models work. Sorry, not what you were asking, but something to perhaps consider. Cheers Ben From jo at durchholz.org Fri Jan 10 10:51:30 2025 From: jo at durchholz.org (jo at durchholz.org) Date: Fri, 10 Jan 2025 11:51:30 +0100 Subject: [Haskell-cafe] Formal Verification & Modern AI Safety In-Reply-To: References: <26edcDdEhN09S9NDGqDzTyMbEiXG5Nq83IYTtVpYr37jY3Vz9HksjGIPzABzGK1RAoj11196z2wtR1WPHu8vwhXGwerqh8tXnE6Z37xSnmI=@protonmail.com> Message-ID: On 09.01.25 20:14, Ben Franksen wrote: > According to the IMO very insightful article "ChatGPT is bullshit" > (https://link.springer.com/article/10.1007/s10676-024-09775-5) > "hallucination" is a misleading term for the phenomenon. It can be much > better understood as "bullshit" in the precise sense of uttering > statements with complete disregard to factual truth. This is a > fundamental design property of LLMs and the authors convincingly argue > that attempts to mitigate the problem by supplying additional external > "truth oracles" are unlikely to work. That article is meandering a bit between attempts at terminology and arguing that problem mitigation may not be achievable. I think they have a point that LLM-based AIs are neither "hallucinating" nor "lying" when they emit nonsense, and that such terminology is misleading, as "hallucination" implies reasoning about the world and "lie" implies intent, and LLMs do neither. I find their attempts at a better definition of "bullshit" do have some interesting points but miss others. So that's an interesting read for people with an interest in terminology, but not for people who want to have a good definition of "bullshit" (I think that term is too loaded anyway, though that's obviously part of the appeal of the word). I do agree that current attempts at mitigation have been unsatisfactory, but their arguments that future attempts are unlikely to work have various loopholes. Still, I do agree that any LLM-based AI with a working, reliable, fit-for-production use consistency checker is several years away. At best, the current attempts will pave a way but still require a lot of work to iron out kinks, at worst, it indeed turns out that LLMs are useless for fact-based reasoning. So I think the answer to Mostafa's original question is: No, with current-day LLM technology, it will not become practially useful. Yes, you can experiment with it anyway. No, there is no guarantee that these experiments will help with a future. An LLM-based AI that does reasoning will need to offer additional APIs to feed the moral equivalent of a facts database, so experiments with today's LLMs will not give you insights how to do that well. Yes, experiments might give insights that are unrelated to what you are trying to achieve, so experiment away if you just want to do it ;-) HTH Jo From icfp.publicity at googlemail.com Fri Jan 10 15:42:54 2025 From: icfp.publicity at googlemail.com (ICFP Publicity) Date: Fri, 10 Jan 2025 10:42:54 -0500 Subject: [Haskell-cafe] ICFP/SPLASH 2025 Workshop Proposal Deadline: Thu, Jan 16 Message-ID: ACM SIGPLAN ICFP 2025 and SPLASH 2025 invite proposals for workshops and co-located events to be held in Singapore from Sunday, October 12 to Saturday, October 18, 2025. This joint event will create a forum for researchers, developers, and practitioners to present the latest work in software development, programming languages, functional programming, and emerging new ideas in computing. All co-located events must submit a proposal — workshops, tutorials, symposiums, or side meetings: https://icfpsplash25events.hotcrp.com/ Important Deadlines - Deadline for Proposal Submission for Workshops: January 16, 2025 - Notification of Acceptance: January 31, 2025 - Deadline for Proposal Submission for Tutorials: May 8, 2025 For more information, please see: https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-workshops We look forward to your proposals and hope to see you in Singapore! -------------- next part -------------- An HTML attachment was scrubbed... URL: From venanzio at duplavis.xyz Mon Jan 13 13:47:56 2025 From: venanzio at duplavis.xyz (Venanzio Capretta) Date: Mon, 13 Jan 2025 13:47:56 +0000 (UTC) Subject: [Haskell-cafe] PhD Scholarships in Quantum Computing Message-ID: <1729d2ad-9a92-404a-a0c5-09f761491885@duplavis.xyz> PhD Scholarships School of Computer Science University of Nottingham The School of Computer Science at the University of Nottingham is advertising 10 fully-founded PhD studentships starting on 1 October 2025: https://jobs.nottingham.ac.uk/vacancy.aspx?ref=SCI298 We are calling for good candidates to apply for a PhD project in Quantum Computing. The range of potential topics for the PhD project will be: * Quantum Data Types and Algorithms; * Applications of Quantum Computing to Artificial Immune System; * Quantum Functional Programming Languages; * Compilation of Higher-Order Quantum Code; * Quantum computing in AI. Expertise in any of this topics is welcome but not necessary. Applicants should have a good background in programming, data structures, discrete mathematics. The application deadline is 6 April 2025. Before applying you must agree with a potential supervisor and write a research project. So, if you intend to apply, please contact one of us as soon as possible: Ulrik Buchholtz (ulrik.buchholtz at nottingham.ac.uk) Venanzio Capretta (venanzio.capretta at nottingham.ac.uk) Julie Greensmith (pszjg1 at exmail.nottingham.ac.uk) ------------------------------------- Venanzio Capretta School of Computer Science University of Nottingham, UK ------------------------------------- From stefan.wehr at gmail.com Fri Jan 17 13:28:37 2025 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Fri, 17 Jan 2025 14:28:37 +0100 Subject: [Haskell-cafe] 2nd Call for Participation: BOB 2025 (Berlin, Mar 14) Message-ID: The early-bird deadline is Jan 17 (TODAY)! ========================================================================= BOB 2025 Conference “What happens if we simply use what’s best?” March 14, 2025, Berlin https://bobkonf.de/2025/ Program: https://bobkonf.de/2025/program.html Registration: https://bobkonf.de/2025/registration.html ========================================================================= BOB conference is a place for developers, architects, and decision-makers to explore technologies beyond the mainstream in software development and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 16 talks and 8 tutorials on current topics: https://bobkonf.de/2025/program.html Talk subjects includes functional programming, property-based testing, language server implementation, domain-specific languages, domain-driven design, local-first software, formal methods, and microservices. BOB tutorial include sessions on frontend development, local-first programming, data science, Elixir, and software documentation, combining mob programming, TDD, and AI. Annette Bieniusa will give the keynote talk. Registration is open - many discount options are available, as are grants for members of groups underrepresented in tech. Early-bird discounts apply until Jan 17. https://bobkonf.de/2025/registration.html -------------- next part -------------- An HTML attachment was scrubbed... URL: From rebecca at rebeccaskinner.net Sat Jan 18 00:19:04 2025 From: rebecca at rebeccaskinner.net (Rebecca Skinner) Date: Fri, 17 Jan 2025 18:19:04 -0600 Subject: [Haskell-cafe] Call for Nominations: Haskell.org Committee (2025-2028) Message-ID: Dear Haskellers, We are pleased to announce that nominations are now open for the Haskell.org committee. You can nominate yourself or a friend for a three-year term (2025-2028) by sending an email to [committee at haskell.org ] by January 31, 2025. Self-nominations and re-nominations are also welcome. Please include any relevant information about yourself or your nominee that you think will help us make our decision. Committee members do not have to be technical experts in Haskell. We are looking for people who are enthusiastic about improving the Haskell community and come from a variety of backgrounds, such as academia, industry, open-source development, and community building. Our goal is to represent the various facets of the Haskell world, including gender, race, location, and industry or research. The committee’s responsibilities include setting policies, providing guidance for Haskell.org infrastructure, planning for the long term, and being fiscally responsible with Haskell.org funds and donations. Being a committee member does not require a significant amount of time, but members should be responsive during discussions and should be able to attend monthly calls and participate in the Haskell.org Slack and mailing lists. Candidates for the committee should possess strong leadership, communication, and judgment skills. They must be able to set aside personal or business-related biases and make decisions with the good of the open-source Haskell community in mind. For more information about the committee’s roles and responsibilities, please visit https://www.haskell.org/haskell-org-committee/. If you have any questions about the nomination process, please feel free to email us at [committee at haskell.org ], or contact one of us individually. -------------- next part -------------- An HTML attachment was scrubbed... URL: