gmane.comp.lang.haskell.cafe archive

413 archived articles, newest first (page 3 of 5). Latest articles →

Call for Participation: BOB 2026 (Berlin, Mar 13)
Fri, 19 Dec 2025 14:40:11 +0100
Stefan Wehr <[email protected]> • #134280
GHC 9.14.1 is now available
Fri, 19 Dec 2025 18:21:03 +0530
Zubin Duggal via ghc-devs <[email protected]> • #134279
Call for Participation: BOB 2026 (Berlin, Mar 13)
Mon, 15 Dec 2025 15:58:51 +0100
Michael Sperber via Haskell-Cafe <[email protected]> • #134278
TFPiE 2026, Call for Submissions
Mon, 15 Dec 2025 08:46:58 -0600
Mart Lubbers <[email protected]> • #134277
Re: Soundness of forall mixed with Coercible
Fri, 12 Dec 2025 23:59:04 +0000
Tom Ellis <[email protected]> • #134276
Re: Soundness of forall mixed with Coercible
Fri, 12 Dec 2025 23:46:53 +0000
Tom Ellis <[email protected]> • #134275
Re: Soundness of forall mixed with Coercible
Fri, 12 Dec 2025 23:36:40 +0000
Tom Ellis <[email protected]> • #134274
Re: Soundness of forall mixed with Coercible
Fri, 12 Dec 2025 16:50:41 +0200
Georgi Lyubenov <[email protected]> • #134273
Re: Soundness of forall mixed with Coercible
Fri, 12 Dec 2025 08:38:23 -0600
Zemyla <[email protected]> • #134272
Re: Soundness of forall mixed with Coercible
Fri, 12 Dec 2025 16:34:19 +0200
Georgi Lyubenov <[email protected]> • #134271
Re: Soundness of forall mixed with Coercible
Fri, 12 Dec 2025 08:03:53 -0600
Zemyla <[email protected]> • #134270
Re: Soundness of forall mixed with Coercible
Fri, 12 Dec 2025 08:17:47 +0000
Adam Gundry <[email protected]> • #134269
Re: Soundness of forall mixed with Coercible
Fri, 12 Dec 2025 08:03:19 +0000
Tom Ellis <[email protected]> • #134268
Re: Soundness of forall mixed with Coercible
Fri, 12 Dec 2025 07:34:09 +0200
Georgi Lyubenov <[email protected]> • #134267
Re: State of Haskell 2025
Fri, 12 Dec 2025 02:53:28 -0000
[email protected] • #134266
Re: State of Haskell 2025
Thu, 11 Dec 2025 23:47:19 +0100
MigMit <[email protected]> • #134265
Re: State of Haskell 2025
Thu, 11 Dec 2025 22:04:03 +0100
Olaf Klinke via Haskell-Cafe <[email protected]> • #134264
Re: Soundness of forall mixed with Coercible
Thu, 11 Dec 2025 17:58:11 +0000
Tom Ellis <[email protected]> • #134263
Soundness of forall mixed with Coercible
Thu, 11 Dec 2025 17:47:25 +0000
Tom Ellis <[email protected]> • #134262
GHC 9.12.3-rc3 is now available
Thu, 11 Dec 2025 15:23:09 +0530
Zubin Duggal <[email protected]> • #134261
Re: State of Haskell 2025
Thu, 11 Dec 2025 10:38:17 +0200
Georgi Lyubenov <[email protected]> • #134260
Re: State of Haskell 2025
Thu, 11 Dec 2025 01:35:58 -0000
[email protected] • #134259
Re: State of Haskell 2025
Wed, 10 Dec 2025 15:07:25 -0500
Jose Calderon via Haskell-Cafe <[email protected]> • #134258
Re: State of Haskell 2025
Wed, 10 Dec 2025 21:05:12 +0100
Jaro Reinders <[email protected]> • #134257
State of Haskell 2025
Wed, 10 Dec 2025 14:59:04 -0500
Jose Calderon via Haskell-Cafe <[email protected]> • #134256
ICFP 2026: Call for Workshops, Tutorials, and Co-Located Events
Tue, 9 Dec 2025 11:17:57 -0500
ICFP Publicity via Haskell-Cafe <[email protected]> • #134255
CGO 2026 - Call for Participation
Tue, 9 Dec 2025 09:58:36 +0000
Luisa Cicolini via Haskell-Cafe <[email protected]> • #134254
POPL 2026 Second Call for Participation - Early registration: 12 December
Mon, 8 Dec 2025 11:11:44 -0500
Ningning Xie <[email protected]> • #134253
Re: [Haskell-cafe] PhD studentships in Nottingham
Fri, 5 Dec 2025 15:58:16 +0000 (UTC)
Mark McConnell via Haskell <[email protected]> • #134252
PhD studentships in Nottingham
Fri, 5 Dec 2025 10:13:14 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #134251
Re: How to use locally compiled GHC?
Tue, 2 Dec 2025 21:25:17 +0100
Stefan Klinger <[email protected]> • #134250
Re: How to use locally compiled GHC?
Tue, 2 Dec 2025 14:51:12 -0500
Brandon Allbery <[email protected]> • #134249
How to use locally compiled GHC?
Tue, 2 Dec 2025 20:28:03 +0100
Stefan Klinger <[email protected]> • #134248
GHC 9.14.1-rc3 is now available
Tue, 2 Dec 2025 17:16:09 +0530
Zubin Duggal <[email protected]> • #134247
GHC 9.12.3-rc3 is now available
Tue, 2 Dec 2025 17:04:27 +0530
Zubin Duggal <[email protected]> • #134246
Final CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8)
Mon, 01 Dec 2025 18:14:02 +0100
Michael Sperber <[email protected]> • #134245
Midlands Graduate School, Nottingham, UK, 13-17 April 2026
Mon, 1 Dec 2025 10:02:13 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #134244
Jonathan Bowen to give the Peter Landin Semantics Seminar: 4 December 2025, BCS London office and on Zoom
Wed, 26 Nov 2025 02:47:58 +0000
Andrei Popescu <[email protected]> • #134243
CfP: SLE 2026 - 19th ACM SIGPLAN International Conference on Software Language Engineering
Thu, 20 Nov 2025 10:39:57 +0100
Andrei Chis <[email protected]> • #134242
Haskell.org Committee: Call for Nominations
Wed, 19 Nov 2025 18:25:18 -0600
Rebecca Skinner <[email protected]> • #134241
Final Call for Papers: Tests and Proofs (TAP) -- Now a Track at FM 2026
Tue, 18 Nov 2025 10:58:52 +0000
"Achim D. Brucker" <[email protected]> • #134240
Re: lost polymorphism in Typed Tagless Final Interpreters
Wed, 12 Nov 2025 13:51:55 -0800
Jeff Clites via Haskell-Cafe <[email protected]> • #134239
Re: lost polymorphism in Typed Tagless Final Interpreters
Wed, 12 Nov 2025 22:43:12 +0100
Olaf Klinke via Haskell-Cafe <[email protected]> • #134238
Re: lost polymorphism in Typed Tagless Final Interpreters
Wed, 12 Nov 2025 12:56:34 -0500
Anthony Carrico via Haskell-Cafe <[email protected]> • #134237
Re: GHC 9.12.3-rc2 is now available
Wed, 12 Nov 2025 10:43:10 -0400
George Colpitts <[email protected]> • #134236
Re: GHC 9.12.3-rc2 is now available
Wed, 12 Nov 2025 10:35:03 -0400
George Colpitts <[email protected]> • #134235
Re: GHC 9.12.3-rc2 is now available
Wed, 12 Nov 2025 12:24:30 +0530
Zubin Duggal <[email protected]> • #134234
Re: lost polymorphism in Typed Tagless Final Interpreters
Tue, 11 Nov 2025 22:09:01 -0500
"Albert Y. C. Lai" <[email protected]> • #134233
lost polymorphism in Typed Tagless Final Interpreters
Tue, 11 Nov 2025 18:19:21 -0500
Anthony Carrico via Haskell-Cafe <[email protected]> • #134232
[ANN] Copilot 4.6
Tue, 11 Nov 2025 12:44:10 -0800
Ivan Perez <[email protected]> • #134231
Re: GHC 9.12.3-rc2 is now available
Tue, 11 Nov 2025 14:17:49 -0400
George Colpitts <[email protected]> • #134230
ICFP 2026: Call for Papers
Tue, 11 Nov 2025 12:03:44 -0500
ICFP Publicity via Haskell-Cafe <[email protected]> • #134229
JFP Special Issue on Program Calculation
Tue, 11 Nov 2025 09:20:44 +0000
"Graham Hutton (staff) via Haskell-Cafe" <[email protected]> • #134228
GHC 9.12.3-rc2 is now available
Tue, 11 Nov 2025 13:32:28 +0530
Zubin Duggal <[email protected]> • #134227
On Streamlining Compliance of Haskell projects with NASA requirements
Mon, 10 Nov 2025 08:56:22 -0800
Ivan Perez <[email protected]> • #134226
Re: Cognitive dissonance in the Haskell Report
Sat, 8 Nov 2025 17:31:56 -0500
Brandon Allbery <[email protected]> • #134225
Re: Cognitive dissonance in the Haskell Report
Sat, 8 Nov 2025 23:28:20 +0100
[email protected] • #134224
Re: Cognitive dissonance in the Haskell Report
Sat, 8 Nov 2025 21:55:16 +0100
Mig Mit <[email protected]> • #134223
Re: Cognitive dissonance in the Haskell Report
Sat, 08 Nov 2025 20:47:26 -0000
[email protected] • #134222
Re: Cognitive dissonance in the Haskell Report
Sat, 8 Nov 2025 14:21:24 +0000 (UTC)
Mark McConnell via Haskell-Cafe <[email protected]> • #134221
Re: Cognitive dissonance in the Haskell Report
Sat, 8 Nov 2025 09:18:42 +0200
Matti Nykänen <[email protected]> • #134220
Re: Cognitive dissonance in the Haskell Report
Sat, 08 Nov 2025 02:11:51 -0000
[email protected] • #134219
Re: GHC Steering Committee Call for Nominations
Fri, 7 Nov 2025 09:51:29 +0000
Simon Marlow <[email protected]> • #134218
Re: GHC 9.14.1-rc2 is now available
Thu, 6 Nov 2025 17:33:14 -0800
Akhra Gannon <[email protected]> • #134217
Re: [Haskell-cafe] Re: GHC 9.14.1-rc2 is now available
Thu, 6 Nov 2025 12:46:16 -0400
George Colpitts <[email protected]> • #134216
Re: GHC 9.14.1-rc2 is now available
Thu, 6 Nov 2025 16:44:43 +0000
Noon van der Silk <[email protected]> • #134215
Re: GHC 9.14.1-rc2 is now available
Thu, 6 Nov 2025 22:11:26 +0530
Zubin Duggal <[email protected]> • #134214
Re: GHC 9.14.1-rc2 is now available
Thu, 6 Nov 2025 16:39:56 +0000
Noon van der Silk <[email protected]> • #134213
Re: GHC 9.14.1-rc2 is now available
Thu, 6 Nov 2025 12:34:19 -0400
George Colpitts <[email protected]> • #134212
Cognitive dissonance in the Haskell Report
Thu, 6 Nov 2025 11:27:28 -0500
Douglas McIlroy <[email protected]> • #134211
GHC 9.14.1-rc2 is now available
Thu, 6 Nov 2025 21:42:19 +0530
Zubin Duggal <[email protected]> • #134210
Journal of Functional Programming - Call for PhD Abstracts
Thu, 6 Nov 2025 15:36:35 +0000
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> • #134209
Re: Saving Haskellwiki page fails
Thu, 6 Nov 2025 16:21:57 +0200
Bryan Richter via Haskell-Cafe <[email protected]> • #134208
Full Professor position in Programming Languages at the University of Tartu
Wed, 5 Nov 2025 14:31:57 +0000
Danel Ahman via Haskell-Cafe <[email protected]> • #134207
[ANN] Ogma 1.10.0
Tue, 4 Nov 2025 05:41:53 -0800
Ivan Perez <[email protected]> • #134206
Saving Haskellwiki page fails
Tue, 4 Nov 2025 04:45:43 +0100 (CET)
X Y via Haskell-Cafe <[email protected]> • #134205
LMS Computer Science Colloquium 2025: Combinatorics and Computing, 9 Dec. 2025, De Morgan House, London, UK & online via Zoom
Mon, 3 Nov 2025 02:45:47 +0000
Andrei Popescu <[email protected]> • #134204
Re: Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar: "Mathematics in the Age of AI" -- 6 November 2025, online via Zoom
Mon, 3 Nov 2025 01:56:23 +0000
Andrei Popescu <[email protected]> • #134203
POPL 2026 Call for Participation - Early registration: 12 December
Fri, 31 Oct 2025 10:07:27 -0400
Ningning Xie <[email protected]> • #134202
2nd Call for Contributions: BOB 2026 (Berlin, March 13 - Deadline Nov 17)
Fri, 31 Oct 2025 14:49:04 +0100
Michael Sperber via Haskell-Cafe <[email protected]> • #134201
[TFP 2026] 2nd Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 27-30 2026
Thu, 30 Oct 2025 10:19:51 +0100
Peter Achten via Haskell-Cafe <[email protected]> • #134200
Fwd: [TYPES/announce] PLMW@POPL 26 Call for scholarship applications
Wed, 29 Oct 2025 13:45:23 -0300
Haniel Barbosa <hbarbosa-qr4C/[email protected]> • #134199
PLMW@POPL 26 Call for scholarship applications
Wed, 29 Oct 2025 12:40:49 -0400
Ningning Xie <[email protected]> • #134198
[ANNOUNCE] Ajla 0.3.0 with formal verification using Z3
Tue, 28 Oct 2025 23:42:30 +0100 (CET)
Mikulas Patocka <[email protected]> • #134197
GHC 9.12.3 status update
Tue, 28 Oct 2025 16:38:48 +0530
Zubin Duggal <[email protected]> • #134196
Re: Adding `reverse` and `sortBy` to `Traversable`
Tue, 28 Oct 2025 07:14:22 +1000
Isaac Elliott <[email protected]> • #134195
Adding `reverse` and `sortBy` to `Traversable`
Mon, 27 Oct 2025 20:29:42 +0000
Keith <[email protected]> • #134194
TFPiE 2026, second call for submissions
Mon, 27 Oct 2025 03:32:56 -0500
Mart Lubbers <[email protected]> • #134193
2nd CfP: Functional and Logic Programming (FLOPS) (Deadline Dec 8)
Wed, 22 Oct 2025 15:18:52 +0200
Michael Sperber <[email protected]> • #134192
GHC Steering Committee Call for Nominations
Thu, 16 Oct 2025 15:04:14 +0100
Simon Marlow <[email protected]> • #134191
POPL 2026 Call for Student Volunteers
Wed, 15 Oct 2025 05:40:35 +0800
Ningning Xie <[email protected]> • #134190
Re: fplangc
Mon, 13 Oct 2025 18:59:11 +1300
Anthony Clayden <[email protected]> • #134189
PEPM 2026: Second Call for Papers
Wed, 8 Oct 2025 15:23:24 -0400
Ningning Xie <[email protected]> • #134188
Re: Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom
Wed, 8 Oct 2025 19:32:23 +0100
Andrei Popescu <[email protected]> • #134187
Jeremy Avigad to give this year's LMS/BCS-FACS Evening Seminar -- 6 November 2025, online via Zoom
Wed, 8 Oct 2025 03:22:17 +0100
Andrei Popescu <[email protected]> • #134186
package takeover request: bumper
Tue, 7 Oct 2025 12:09:54 -0400
Artem Pelenitsyn <[email protected]> • #134185
fplangc
Mon, 6 Oct 2025 10:40:17 -0400
Asher Olsen <[email protected]> • #134184
TFPIE 2026 - Call for Papers
Mon, 29 Sep 2025 00:47:10 -0700
Mart Lubbers <[email protected]> • #134183
[TFP 2026] Call for Papers for the 27th International Symposium on Trends in Functional Programming, Odense, Denmark, January 2026
Mon, 22 Sep 2025 10:13:38 +0200
Peter Achten via Haskell-Cafe <[email protected]> • #134182
GHC 9.12.3-rc1 is now available
Mon, 22 Sep 2025 13:16:16 +0530
Zubin Duggal <[email protected]> • #134181
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.