• Singapore Haskell Meetup, November

    Online event

    Vaibhav Sagar will talk about the paper "Fast and scalable minimal perfect hashing for massive key sets" (https://arxiv.org/abs/1702.03154) and a toy implementation in Haskell:

    https://github.com/vaibhavsagar/notebooks/blob/9772302c7a4de0159bd1f1bb7a4c1dbce2a2aeeb/mph/MPH.ipynb

    4
  • Singapore Haskell Meetup, October

    Online event

    Michael Baykov will show how to compile Haskell projects with Shake, why you might want to use your own build system over cabal/stack and by the end we'll get a complete build system with a project on github.

    11
  • Singapore Haskell Meetup, September

    Online event

    Jens will talk about Haskell in distros, mainly focusing on Fedora and Stackage. Maintaining Haskell packages downstream is lot of work and requires various kinds of tooling. Ideally users can leverage these binary packages to save a lot of time rebuilding.

    5
  • Haskell Singapore Meetup, Feb

    Red Hat Singapore

    Speaker: Thomas Tan
    Title: "Induction is not derivable in second order dependent type theory"

    Presenting Herman Geuvers' paper (2000) [1] showing the non-derivability of any induction principles in weaker type theories such as λP2 or the Calculus of Constructions.

    [1] https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.4355

    The meeting is at Red Hat:

    Venue: AXA Tower, Tanjong Pagar
    Level 11 Training room
    Time: 7-9pm

    RSVP.

    Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way.

    Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office for the meetup. Then proceed as a visitor to level 11.

    1
  • January Singapore Haskell Meetup

    Red Hat Singapore

    Speaker: Gergo Erdí
    Title: "Free monoids take a price HIT"

    - a HOTT approach to free algebraic structures

    (Note the Red Hat venue:)

    Venue: AXA Tower, Tanjong Pagar
    Level 11 Training room
    Time: 7-9pm

    RSVP.

    Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way.

    Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office for the meetup. Then proceed as a visitor to level 11.

    4
  • December Singapore Haskell Meetup

    Red Hat Singapore

    (Note the Red Hat venue)

    Address: AXA Tower, Tanjong Pagar
    Level 11 Training room
    RSVP.

    Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way.

    Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office. Then proceed as a visitor to level 11.

    Time: 7-9pm

    Michael Baykov will be talking about building software with Shake.

    1
  • October Singapore Haskell Meetup

    Red Hat Singapore

    (Note the Red Hat venue)

    Address: AXA Tower, Tanjong Pagar
    Level 11 Training room
    RSVP.

    Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way.

    Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office. Then proceed as a visitor to level 11.

    Time: 7-9pm

    5
  • October Singapore Haskell Meetup

    Red Hat Singapore

    Note new venue at Red Hat:

    Address: AXA Tower, Tanjong Pagar
    Level 11 Training room
    RSVP.

    Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way.

    Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office. Then proceed as a visitor to level 11.

    Time: 7-9pm

    Speaker: Ilya Sergei
    "Running the ICFP 2019 Programming Contest"

    1
  • September Singapore Haskell Meetup

    Location visible to members

    Address; 8 Marina Boulevard
    Marina Bay Financial Centre Tower 1
    Level 10 Dunsan meeting room
    RSVP.
    Bring your ID & sign in at the security desk.

    Time: 7-9pm

    Speaker(s):
    - Satoshi Egi
    Egison: Non-linear Pattern Matching with Backtracking for Non-free Data Types

    - Jorge Mendes
    Design, Implementation & Evaluation of Model-Driven Spreadsheets

    5
  • August Singapore Haskell Meetup

    Location visible to members

    Address; 8 Marina Boulevard
    Marina Bay Financial Centre Tower 1
    Level 10 Dunsan meeting room
    RSVP.
    Bring your ID & sign in at the security desk.

    Time: 7-9pm

    Speaker(s):

    Eric Y Kow
    Introducing Montague Semantics