- Haskell-Cafe - Haskell.org

[ANN] landlock 0.2.1.0
by Nicolas Trangez 27 Feb '23

27 Feb '23

I’m happy to announce the latest version of `landlock`, a Haskell library to access the Linux Landlock LSM API. This version updates the library to expose all Landlock features up to Linux 6.2 (Landlock ABI 3). It also introduces `landlocked`[1], a utility to spawn some process in a landlocked environment, and serves as a demo of how to use the API (next to the library documentation[2] and README.md[3]). It’s available on Hackage[4] and GitHub[5]. The Linux kernel Landlock API provides unprivileged access control. The goal of Landlock is to enable to restrict ambient rights (e.g. global filesystem access) for a set of processes. Because Landlock is a stackable LSM, it makes possible to create safe security sandboxes as new security layers in addition to the existing system-wide access- controls. This kind of sandbox is expected to help mitigate the security impact of bugs or unexpected/malicious behaviors in user space applications. Landlock empowers any process, including unprivileged ones, to securely restrict themselves. For more information, see the Landlock homepage[6] and its kernel documentation[7]. [1] https://github.com/NicolasT/landlock-hs/blob/27d2d95478f8c85cfbf4025bb41d57… [2] https://hackage.haskell.org/package/landlock-0.2.1.0/docs/System-Landlock.h… [3] https://github.com/NicolasT/landlock-hs/tree/main/landlock#readme [4] https://hackage.haskell.org/package/landlock-0.2.1.0 [5] https://github.com/NicolasT/landlock-hs [6] https://landlock.io/ [7] https://docs.kernel.org/userspace-api/landlock.html

1 0

[Haskell] [ANNOUNCE] GHC 9.2.7 released
by Zubin Duggal 27 Feb '23

27 Feb '23

The GHC developers are happy to announce the availability of GHC 9.2.7. Binary distributions, source distributions, and documentation are available at [downloads.haskell.org](https://downloads.haskell.org/ghc/9.2.7). Download Page: https://www.haskell.org/ghc/download_ghc_9_2_7.html Blog Post: https://www.haskell.org/ghc/blog/20230227-ghc-9.2.7-released.html This release is primarily a bugfix release addressing a few issues found in 9.2.6. These include: * A fix for a bug with the RTS linker being unable to resolve the `setKeepCafs` symbol which started being used by the GHC library in 9.2.6, resulting in code depending on this symbol failing to load in GHCi or via a compile time splice when using a statically linked GHC, such as on Windows (#22961). * A fix a bug with the alignment of RTS data structures that could result in segfaults when compiled with high optimisation settings on certain platforms (#22975 , #22965). * A fix for a bug in the simplifier related to placeholder values (rubbish literals) emitted by the worker/wrapper optimisation leading to -dcore-lint errors and compiler panics in certain cases (#19882, #22914, #23000). * Easier installation of binary distribution on MacOS platforms by changing the installation Makefile to remove the quarantine attribute when installing. * ... and a few more. See the [release notes] for a full accounting. As some of the fixed issues do affect correctness users are encouraged to upgrade promptly. We would like to thank Microsoft Azure, GitHub, IOG, the Zw3rk stake pool, Well-Typed, Tweag I/O, Serokell, Equinix, SimSpace, Haskell Foundation, and other anonymous contributors whose on-going financial and in-kind support has facilitated GHC maintenance and release management over the years. Finally, this release would not have been possible without the hundreds of open-source contributors whose work comprise this release. As always, do give this release a try and open a [ticket][] if you see anything amiss. Happy compiling, - Zubin [ticket]: https://gitlab.haskell.org/ghc/ghc/-/issues/new [release notes]: https://downloads.haskell.org/~ghc/9.2.7/docs/html/users_guide/9.2.7-notes.…

1 0

Munich Haskell Meeting, 2023-02-28 @ 19:30
by Leah Neukirchen 27 Feb '23

27 Feb '23

Dear all, Next week, our monthly Munich Haskell Meeting will take place again on Tuesday, February 28 at Cafe Puck at 19h30. For details see here: http://muenchen.haskell.bayern/dates.html If you plan to join, please add yourself to this nuudel so we can reserve enough seats! It is OK to add yourself to the dudle anonymously or pseudonymously. https://nuudel.digitalcourage.de/1HlsYFhVtoBdDSSM Everybody is welcome! cu, -- Leah Neukirchen <leah(a)vuxu.org> https://leahneukirchen.org/

1 1

[ANN] NASA's Ogma 1.0.7
by Ivan Perez 25 Feb '23

25 Feb '23

Hi everyone! I'm really excited to announce the release of Ogma 1.0.7! Ogma is a NASA tool that facilitates integrating runtime monitors or runtime verification applications into other systems. Ogma extends Copilot [1], a high-level runtime verification framework that generates hard real-time code. In spite of the small increase in the version number, the feature included in this version is big: we now generate monitors for Robot Operating System (ROS 2) applications. Use cases supported by Ogma also include generating monitors directly from requirements specified using a structure natural language framework, and producing NASA Core Flight System (cFS) monitoring applications. For more details, including videos of monitors being generated and flown in simulators, see: https://github.com/nasa/ogma * Releases Ogma is released as a collection of packages in Hackage. The entry point is https://hackage.haskell.org/package/ogma-cli. * Code The github repo is located at: https://github.com/nasa/ogma. * What's coming The next release is planned for March 21st, 2023. Ogma is currently undergoing the qualification process necessary for NASA Class D Software. Apart from the changes required by that process, we also have the following in our roadmap: - Extend ROS 2 monitors with further information about sources of violations. - Add tests to generated code. - Simplify NASA cFS monitor generation process. Happy Haskelling! Ivan [1] https://github.com/Copilot-Language/copilot/

1 0

KSF Media Ab hiring Senior Developer in Helsinki, Finland (repost)
by Kari Pahula 24 Feb '23

24 Feb '23

This was posted already once in November: https://mail.haskell.org/pipermail/haskell-cafe/2022-November/135687.html We got a second open position. KSF Media is Finland’s largest Swedish language news media group. Our products include Hufvudstadsbladet, Västra Nyland, Östnyland and HBL Junior. KSF Media’s digital products are growing fast and our focus is in digital subscription sales and product development. We are now looking for a new member to join our digital development team to create outstanding news media products for our readers. We are a small but capable team with a lean way of working and passion to learn new things every day. Our way of working • Kanban • Pair Programming, Code Reviews • Git, CI/CD (multiple deployments a day), Trunk Based Development • Working in the open. Our whole frontend is open source: https://github.com/KSF-Media/affresco and https://github.com/KSF-Media/mosaico Our stack • Most new developments happen in Haskell, PureScript and Javascript • Cloud Infrastructure as Code (Google Cloud, Kubernetes, Terraform) • Microservices environment with REST APIs What we expect from you is some relevant work experience and • English language. Swedish or Finnish knowledge is a plus • Knowledge of the principles behind the modern Web stack: things like MVC, Relational Databases and Testing • High motivation, self-steering, willingness to learn and dive into things, good social skills and good sense of humour • Interest in functional programming, news media and making the world a better place • Awareness of some UX principles, API design (and optionally UI design) and empathy for the users of your code • This job opportunity requires the successful candidate to relocate to Finland and offers a hybrid work arrangement, combining remote work and on-site presence. What we can offer • Competitive salary and benefits • The best co-workers • Office in the most central location in Helsinki • Flexible terms, with possibility to remote working Interested? Please apply via LinkedIn <https://www.linkedin.com/jobs/view/3498430755> or drop a line at antti.haarala(a)ksfmedia.fi no later than on the 10th of March.

1 0

Status of ghcup?
by Dominick Samperi 23 Feb '23

23 Feb '23

I watched an interesting YouTube video explaining how to install and use the Haskell extension in VS code, but the information appears to be obsolete, because there is no mention of ghcup, and ghcup is now required, along with a new version of the Haskell extension (the old one is labeled "legacy"). Unfortunately, I could not install ghcup on Windows due to obscure PowerShell security issues, or missing libraries in MSYS. While wrestling with this problem I discovered that Unix tools from Rtools must not be in PATH while working with Stack, probably due to incompatible MSYS versions. But removing Rtools from PATH does not resolve the ghcup installation problems. Any tips on ghcup installation under Windows would be appreciated. Thanks, Dominick

7 8

CfP - HLPP'2023 High-Level Parallel Programming and Applications
by VIRGINIA NICULESCU 23 Feb '23

23 Feb '23

[Apologies if you receive multiple copies of this CFP] CALL FOR PAPERS >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> HLPP 2023 16th International Symposium on International Symposium on High-Level Parallel Programming and Applications Cluj-Napoca, Romania June 29-30, 2023 https://www.cs.ubbcluj.ro/hlpp2023 >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Important Dates * Abstract submission: April 3, 2023 * Paper submission: April 7, 2023 * Notification: May 15, 2023 * Draft proceedings version: June 9, 2023 * Conference: June 29-30, 2023 * Journal paper submission: September 2023 >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Aims and Scope As processor and system manufacturers adjust their roadmaps towards increasing levels of both inter and intra-chip parallelism, so the urgency of reorienting the mainstream software industry towards these architectures grows. At present, popular parallel and distributed programming methodologies are dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. HLPP symposia provide a forum for discussion and research about such high-level approaches to parallel and distributed programming. Topics HLPP 2023 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: * High-level parallel programming and performance models (e.g. BSP, CGM, LogP, MPM, etc.) and tools * Declarative parallel and distributed programming methodologies based on functional, logical, data-flow, actor, and other paradigms * Algorithmic skeletons, patterns, etc. and constructive methods * High-level parallelism in programming languages and libraries (e.g, OCaml, Haskell, Scala, C++, etc.): semantics and implementation * Verification of declarative parallel and distributed programs * Efficient code generation, auto-tuning, and optimization for parallel and distributed programs * Model-driven software engineering for parallel and distributed systems * Domain-specific languages: design, implementation, and applications * High-level programming models for heterogeneous/hierarchical platforms with accelerators, e.g., GPU, Many-core, DSP, VPU, FPGA, etc. * High-level parallel methods for large structured and semi-structured datasets * Applications of parallel and distributed systems using high-level languages and tools * Teaching experience with high-level tools and methods for parallel and distributed computing Past HLPP Symposia: https://hlpp.eu<https://hlpp.eu/> Submission Papers submitted to HLPP 2023 must describe original research results and must not have been published or simultaneously submitted anywhere else. As it is traditional for HLPP symposia, the accepted papers will be distributed at the symposium in draft proceedings, and then the papers will be published in the special issue of an international journal (the name of the journal is to be confirmed). In the past years, the journals were the International Journal of Parallel Programming and The Journal of Supercomputing. Each paper will receive a minimum of three reviews by members of the international technical program committee. Papers will be selected based on their originality, relevance, technical clarity, and quality of presentation. Manuscripts must be prepared with the Springer IJSS latex macro package using the single column option (\documentclass[smallextended]{svjour3}) and submitted via the EasyChair Conference Management System as one pdf file. The strict page limit for initial submission and camera-ready version is 20 pages in the aforementioned format. At least one author of each accepted paper must register for the HLPP 2023 symposium and present the paper. After the symposium the authors of the papers will have ample time to revise their papers and to incorporate both reviewer feedback and presentation feedback from the whole audience during the symposium. Organization * Virginia Niculescu, “Babeş-Bolyai” University of Cluj-Napoca, Romania * Adrian Sterca, “Babeş-Bolyai” University of Cluj-Napoca, Romania * Darius Bufnea, “Babeş-Bolyai” University of Cluj-Napoca, Romania Steering Committee * Gaétan Hains (Université Paris-Est Créteil, France) * Clemens Grelck (Universiteit van Amsterdam, Netherlands) * Kiminori Matsuzaki (Kochi University of Technology, Japan) * Christoph W. Kessler (Linköping University, Sweden) * Herbert Kuchen (University of Münster, Germany) * Marco Danelutto (University of Pisa, Italy) * Ines Dutra (University of Porto, Portugal) * Arturo Gonzalez-Escribano (Universidad de Valladolid, Spain) * Frédéric Dabrowski, Université d'Orléans, France) * Virginia Niculescu (“Babes-Bolyai” University, Romania) We are looking forward to your submissions and to seeing you in Cluj-Napoca, Romania in June 2022. Best regards, Virginia Niculescu ---------------------------------------------- Dr. Virginia Niculescu Faculty of Mathematics and Computer Science "Babes-Bolyai" University E-mail: virginia.niculescu(a)ubbcluj.ro, vniculescu(a)cs.ubbcluj.ro<mailto:vniculescu@cs.ubbcluj.ro> Web: http://www.cs.ubbcluj.ro/~vniculescu DISCLAIMER Prezentul mesaj ?i orice documente ata?ate pot con?ine informa?ii confiden?iale sau sensibile care apar?in Universită?ii Babe?-Bolyai din Cluj-Napoca. Con?inutul mesajului nu poate fi dezvăluit sau utilizat de către altcineva decât destinatarul, persoană fizică sau juridică. Dacă a?i primit acest mesaj dintr-o eroare, vă rugăm să ne anun?ati imediat, ca răspuns la mesajul de fa?ă, ?i să ?terge?i apoi din sistemul dvs. mesajul fără a-l copia sau deschide. Prin prezenta vi se notifică faptul că orice dezvaluire, copiere, distribuire sau ini?ierea/omiterea unor ac?iuni pe baza prezentelor informa?ii sunt strict interzise ?i atrag răspunderea civilă ?i/sau penală (art. 302 Noul Cod Penal). UBB nu este răspunzătoare pentru modificările care pot fi aduse prezentului mesaj ?i nici pentru întârzierile care pot surveni în recep?ionarea acestuia. De asemenea, nu putem garanta integritatea mesajului ?i nici că acesta este lipsit de viru?i, interceptări sau interferen?e de orice natură. ================= The contents of this email message and any attachments may contain confidential and/or privileged information belonging to Babe?-Bolyai University of Cluj-Napoca. This information is intended solely for the addressee, natural or legal person, and is legally protected from disclosure and may not be used by anyone other than the intended recipient. If you are not the intended recipient of this message, or if this message has been addressed to you in error, please immediately alert the sender by reply email and then delete this message and any attachments. You are hereby notified that any use, dissemination, copying, or storage of this message or its attachments as well as taking any action in reliance on the contents of this information is strictly prohibited and entails civil and/or criminal liability (under Art. 302 of the New Criminal Code). UBB accepts no liability for any errors or omissions in the contents of this message. Email transmission cannot be guaranteed to be secure or error-free, as information could be intercepted, corrupted, lost, destroyed, arrive late or incomplete, or contain viruses. UBBCLUJ <https://www.ubbcluj.ro/ro/politici/>

1 0

Attoparsec.ByteString.Char8 or Attoparsec.ByteString for diff output?
by Pedro B. 21 Feb '23

21 Feb '23

Dear Listers, I am developing a program to parse dif output taken from stdin (as in diff file1 file2 | myApp) or from a file. I am reading the input as ByteString in either case and I am parsing it Attoparsec. My question is, Should I use Data.Attoparsec.ByteString.Char8 or Data.Attoparsec.ByteString? So far, I've been using Data.Attoparsec.ByteString.Char8 and it works for my sample files, which are in utf8 or, latin1, or the default Windows encoding. What do you suggest? Note: I sent this question previously to the beginners list, but someone suggested to me privately to send it to this list. Regards, Pedro Borges

3 8

Re: [Haskell-cafe] Takeover request: Haskell CSS Syntax
by Olaf Klinke 18 Feb '23

18 Feb '23

Adrian, you probably know this, but: (1) Instead of a takeover, you could ask Tomas Carnecky to become merely a co-maintainer on hackage which would put you in power to sync the github and hackage versions. (2) At least with stack you can specify a github fork as dependency of your project. It is not nice, but I was forced to do the same when a repo owner ignored my pull request. For example # cabal file. # Note: xls-0.1.3 is the latest hackage version build-depends: xls >= 0.1.4 # stack.yaml extra-deps: - git: https://github.com/olafklinke/xls.git commit: 4e7a2ba639cc72678e4e40a06afd3c481d63f2e3 In your case, though, 0.1.0.0 is the package number on hackage as well as in the more up-to-date githup repo, so I don't know how the resolver would figure out which to use. Safer would be to fork and increment the cabal package version number, then proceed as above. You can later simply delete the entry in stack.yaml when your fork has been merged into hackage. Olaf > Hi, > > I'd like to request to take over the css-syntax hackage! The lead > developer of which seems to be barely active. They did accept someone > else's year-old pull request to fix an issue I was having regarding > upgrading to Text v2 upon being prodded, but hasn't responded to > communications since regarding publishing this update to Hackage. > > I am developing my own (NLnet-funded) noJS browser engine in Haskell, > and have released several modular components of it to Hackage in the > hopes they will be useful to others for other purposes. I've > benefited > tremendously from Haskell CSS Syntax & would like to see the project > continue, I can manage it as one of those subcomponents. I do not see > much further development being required, especially considering how > stable the W3C strives to keep part of the spec extremely stable. > > My communications to Haskell CSS Syntax: > https://github.com/wereHamster/haskell-css-syntax/issues/5 > https://github.com/wereHamster/haskell-css-syntax/pull/4 > > Thoughts? > > Adrian Cochrane > OpenWork Ltd

5 6

Re: [Haskell-cafe] [ANNOUNCE] GHC 9.6.1-alpha3 is now available
by Ben Gamari 15 Feb '23

15 Feb '23

George Colpitts <george.colpitts(a)gmail.com> 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 old?) > > > I also get a related strange warning when I do a compile: > > ghc hello.hs > [1 of 2] Compiling Main ( hello.hs, hello.o ) [Missing object > file] > [2 of 2] Linking hello [Objects changed] > ld: warning: directory not found for option > '-L/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.1.sdk/usr/lib' > Hmm, that is indeed odd. It sounds like you Xcode installation may be broken. Did you upgrade your operating system recently? Do you have Xcode, the CLT package, or both installed? Cheers, - Ben

1 0