diff --git a/Gemfile.lock b/Gemfile.lock index faab9029..7b763bf7 100644 --- a/Gemfile.lock +++ b/Gemfile.lock @@ -1,40 +1,47 @@ GEM remote: https://rubygems.org/ specs: - Ascii85 (1.1.0) - activesupport (7.1.3.2) + Ascii85 (2.0.1) + activesupport (8.0.1) base64 + benchmark (>= 0.3) bigdecimal - concurrent-ruby (~> 1.0, >= 1.0.2) + concurrent-ruby (~> 1.0, >= 1.3.1) connection_pool (>= 2.2.5) drb i18n (>= 1.6, < 2) + logger (>= 1.4.2) minitest (>= 5.1) - mutex_m - tzinfo (~> 2.0) - addressable (2.8.6) - public_suffix (>= 2.0.2, < 6.0) + securerandom (>= 0.3) + tzinfo (~> 2.0, >= 2.0.5) + uri (>= 0.13.1) + addressable (2.8.7) + public_suffix (>= 2.0.2, < 7.0) afm (0.2.2) - async (2.9.0) - console (~> 1.10) + async (2.23.0) + console (~> 1.29) fiber-annotation - io-event (~> 1.5, >= 1.5.1) - timers (~> 4.1) + io-event (~> 1.9) + metrics (~> 0.12) + traces (~> 0.15) base64 (0.2.0) - bigdecimal (3.1.6) + benchmark (0.4.0) + bigdecimal (3.1.9) coffee-script (2.4.1) coffee-script-source execjs coffee-script-source (1.12.2) colorator (1.1.0) - commonmarker (0.23.10) - concurrent-ruby (1.2.3) - connection_pool (2.4.1) - console (1.23.5) + commonmarker (0.23.11) + concurrent-ruby (1.3.5) + connection_pool (2.5.0) + console (1.29.3) fiber-annotation - fiber-local + fiber-local (~> 1.1) json - dnsruby (1.70.0) + csv (3.3.2) + dnsruby (1.72.3) + base64 (~> 0.2.0) simpleidn (~> 0.2.1) drb (2.2.1) em-websocket (0.5.3) @@ -43,22 +50,26 @@ GEM ethon (0.16.0) ffi (>= 1.15.0) eventmachine (1.2.7) - execjs (2.9.1) - faraday (2.9.0) - faraday-net_http (>= 2.0, < 3.2) - faraday-net_http (3.1.0) - net-http - ffi (1.16.3) + execjs (2.10.0) + faraday (2.12.2) + faraday-net_http (>= 2.0, < 3.5) + json + logger + faraday-net_http (3.4.0) + net-http (>= 0.5.0) + ffi (1.17.1-x86_64-linux-gnu) fiber-annotation (0.2.0) - fiber-local (1.0.0) + fiber-local (1.1.0) + fiber-storage + fiber-storage (1.0.0) forwardable-extended (2.6.0) gemoji (4.1.0) - github-pages (231) + github-pages (232) github-pages-health-check (= 1.18.2) - jekyll (= 3.9.5) + jekyll (= 3.10.0) jekyll-avatar (= 0.8.0) jekyll-coffeescript (= 1.2.2) - jekyll-commonmark-ghpages (= 0.4.0) + jekyll-commonmark-ghpages (= 0.5.1) jekyll-default-layout (= 0.1.5) jekyll-feed (= 0.17.0) jekyll-gist (= 1.5.0) @@ -95,9 +106,10 @@ GEM liquid (= 4.0.4) mercenary (~> 0.3) minima (= 2.5.1) - nokogiri (>= 1.13.6, < 2.0) + nokogiri (>= 1.16.2, < 2.0) rouge (= 3.30.0) terminal-table (~> 1.4) + webrick (~> 1.8) github-pages-health-check (1.18.2) addressable (~> 2.3) dnsruby (~> 1.60) @@ -108,7 +120,7 @@ GEM html-pipeline (2.14.3) activesupport (>= 2) nokogiri (>= 1.4) - html-proofer (5.0.8) + html-proofer (5.0.10) addressable (~> 2.3) async (~> 2.1) nokogiri (~> 1.13) @@ -118,12 +130,13 @@ GEM yell (~> 2.0) zeitwerk (~> 2.5) http_parser.rb (0.8.0) - i18n (1.14.4) + i18n (1.14.7) concurrent-ruby (~> 1.0) - io-event (1.5.1) - jekyll (3.9.5) + io-event (1.9.0) + jekyll (3.10.0) addressable (~> 2.4) colorator (~> 1.0) + csv (~> 3.0) em-websocket (~> 0.5) i18n (>= 0.7, < 2) jekyll-sass-converter (~> 1.0) @@ -134,6 +147,7 @@ GEM pathutil (~> 0.9) rouge (>= 1.7, < 4) safe_yaml (~> 1.0) + webrick (>= 1.0) jekyll-avatar (0.8.0) jekyll (>= 3.0, < 5.0) jekyll-coffeescript (1.2.2) @@ -141,9 +155,9 @@ GEM coffee-script-source (~> 1.12) jekyll-commonmark (1.4.0) commonmarker (~> 0.22) - jekyll-commonmark-ghpages (0.4.0) - commonmarker (~> 0.23.7) - jekyll (~> 3.9.0) + jekyll-commonmark-ghpages (0.5.1) + commonmarker (>= 0.23.7, < 1.1.0) + jekyll (>= 3.9, < 4.0) jekyll-commonmark (~> 1.4.0) rouge (>= 2.0, < 5.0) jekyll-default-layout (0.1.5) @@ -229,7 +243,7 @@ GEM gemoji (>= 3, < 5) html-pipeline (~> 2.2) jekyll (>= 3.0, < 5.0) - json (2.7.1) + json (2.10.2) kramdown (2.4.0) rexml kramdown-parser-gfm (1.1.0) @@ -238,38 +252,39 @@ GEM listen (3.9.0) rb-fsevent (~> 0.10, >= 0.10.3) rb-inotify (~> 0.9, >= 0.9.10) + logger (1.6.6) mercenary (0.3.6) + metrics (0.12.1) minima (2.5.1) jekyll (>= 3.5, < 5.0) jekyll-feed (~> 0.9) jekyll-seo-tag (~> 2.1) - minitest (5.22.2) - mutex_m (0.2.0) - net-http (0.4.1) + minitest (5.25.4) + net-http (0.6.0) uri - nokogiri (1.16.2-x86_64-linux) + nokogiri (1.18.8-x86_64-linux-gnu) racc (~> 1.4) octokit (4.25.1) faraday (>= 1, < 3) sawyer (~> 0.9) pathutil (0.16.2) forwardable-extended (~> 2.6) - pdf-reader (2.12.0) - Ascii85 (~> 1.0) + pdf-reader (2.14.1) + Ascii85 (>= 1.0, < 3.0, != 2.0.0) afm (~> 0.2.1) hashery (~> 2.0) ruby-rc4 ttfunk - public_suffix (5.0.4) - racc (1.7.3) + public_suffix (5.1.1) + racc (1.8.1) rainbow (3.1.1) rb-fsevent (0.11.2) - rb-inotify (0.10.1) + rb-inotify (0.11.1) ffi (~> 1.0) - rexml (3.2.6) + rexml (3.4.0) rouge (3.30.0) ruby-rc4 (0.1.5) - rubyzip (2.3.2) + rubyzip (2.4.1) safe_yaml (1.0.5) sass (3.7.4) sass-listen (~> 4.0.0) @@ -279,25 +294,22 @@ GEM sawyer (0.9.2) addressable (>= 2.3.5) faraday (>= 0.17.3, < 3) - simpleidn (0.2.1) - unf (~> 0.1.4) + securerandom (0.4.1) + simpleidn (0.2.3) terminal-table (1.8.0) unicode-display_width (~> 1.1, >= 1.1.1) - timers (4.3.5) + traces (0.15.2) ttfunk (1.8.0) bigdecimal (~> 3.1) typhoeus (1.4.1) ethon (>= 0.9.0) tzinfo (2.0.6) concurrent-ruby (~> 1.0) - unf (0.1.4) - unf_ext - unf_ext (0.0.9.1) unicode-display_width (1.8.0) - uri (0.13.0) - webrick (1.8.1) + uri (1.0.3) + webrick (1.9.1) yell (2.2.2) - zeitwerk (2.6.13) + zeitwerk (2.7.2) PLATFORMS x86_64-linux diff --git a/_data/events.yml b/_data/events.yml index ac03a474..f1e053a7 100644 --- a/_data/events.yml +++ b/_data/events.yml @@ -2,95 +2,95 @@ scala_lunches: header: | The Scala Center invites anyone interested in programming languages and open source to join us once a month for a lunch break. Participants get to hear from colleagues about their ongoing work and share their own stories. It’s a great opportunity to network amongst PL enthusiasts, share your passion and get some valuable input. And yes, we will speak about Scala too. :) You can expect the Scala Center and LAMP teams to be present and happy to answer any question you might have regarding their work. This is a free and open event, without any registration needed. Everyone is welcome, including people outside of EPFL. We only ask you to bring your own lunch because we never know how many people would show up nor what they like to eat. :) footer: | - Please note that the Scala Center ensures welcoming and safe spaces on all our events. Both the EPFL and Scala Code of Conducts apply. We encourage you to report inappropriate behavior either through EPFL channels or directly to us. Depending on what seems most comfortable to you, use one of the following channels: a) send an email to scala.center@epfl.ch (the Scala Center staff receives it), b) send an email to one member of our staff, or c) anonymously fill in this form. We take reports seriously and react as quickly as possible to find appropriate solutions. Our entire staff is receiving continuous training in how to handle basic reported cases. For more complex ones, we may either reach out to appropriate EPFL channels or a mediation company that supports us. All cases are treated respectfully and with full confidentiality. + Please note that the Scala Center ensures welcoming and safe spaces on all our events. Both the EPFL and Scala Code of Conducts apply. We encourage you to report inappropriate behavior either through EPFL channels or directly to us. Depending on what seems most comfortable to you, use one of the following channels: a) send an email to scala.center@epfl.ch (the Scala Center staff receives it), b) send an email to one member of our staff, or c) anonymously fill in this form. We take reports seriously and react as quickly as possible to find appropriate solutions. Our entire staff is receiving continuous training in how to handle basic reported cases. For more complex ones, we may either reach out to appropriate EPFL channels or a mediation company that supports us. All cases are treated respectfully and with full confidentiality. events: - - date: 8 May 2023 + - date: "27 February 2025" time: "12:00pm" - place: BC 410, EPFL - speaker: Solal Pirelli - title: "Safe Low-Level Code Without Overhead is Practical" - - date: 8 May 2023 - time: "12:30pm" - place: BC 410, EPFL - speaker: Zilu Tian - title: "Generalising Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations" - - date: 12 June 2023 - time: "12:00pm" - place: BC 410, EPFL - speaker: Nguyen Pham - title: "Copying stacks for fun and profit: Experimental delimited continuations for Scala Native" - - date: 12 June 2023 - time: "12:30pm" - place: BC 410, EPFL - speaker: Bastien Jolidon & Kelvin Kappeler - title: "Game verified with Stainless" - - date: 4 September 2023 + place: "BC 410, EPFL" + speaker: "James Thompson" + title: "Mill Builds in Scala 3, a migration story" + + past-events: + - date: "5 December 2024" time: "12:00pm" - place: BC 410, EPFL - speaker: Martin Odersky - title: Scala's Role in the Programming Languages Ecosystem - - date: 2 October 2023 + place: "BC 410, EPFL" + speaker: "Michel Davit, Senior Engineer @Spotify" + title: "The Scala journey at Spotify" + + - date: "5 November 2024" time: "12:00pm" - place: BC 410, EPFL - speaker: Quentin Bernet - title: Syntax and Runtime Checks for Qualified Types in Scala 3 - - date: 13 November 2023 + place: "BC 420, EPFL" + speaker: "Haoyi Li" + title: "What the com-lihaoyi ecosystem needs from Scala" + + - date: "13 June 2024" time: "12:00pm" - place: BC 410, EPFL - speaker: Dimi Racordon - title: What does Scala look like for a Swift enthusiast? - - date: 11 December 2023 + place: "**BC 333**, EPFL" + speaker: "Adrien Piquerez" + title: "Scala Evaluation in the Debug Console" + + - date: 16 May 2024 time: "12:00pm" place: BC 410, EPFL - speaker: Sébastien Doeraene - title: Specifying Match Types in Scala 3 + speaker: "Sébastien Doeraene" + title: "Compiling Scala.js to WebAssembly" -# 2024 - - - date: "8 February 2024" + - date: 11 April 2024 time: "12:00pm" place: BC 410, EPFL - speaker: "Andy Wingo" - title: "A New Hope: Compiling Managed Languages to WebAssembly" + speaker: "Dimi Racordon" + title: "Demystifying type inference: a quick look dive into the implementation of a typer" - date: 14 March 2024 time: "**12:15pm**" place: "**BC 229**, EPFL" speaker: "Seth Tisue" title: "Fortify for Scala: A Commercial Back-end Compiler Plugin for Static Security Analysis" - - - date: 11 April 2024 + + - date: "8 February 2024" time: "12:00pm" place: BC 410, EPFL - speaker: "Dimi Racordon" - title: "Demystifying type inference: a quick look dive into the implementation of a typer" + speaker: "Andy Wingo" + title: "A New Hope: Compiling Managed Languages to WebAssembly" - - date: 9 May 2024 + - date: 11 December 2023 time: "12:00pm" place: BC 410, EPFL - speaker: # To be announced - title: # to be announced + speaker: Sébastien Doeraene + title: Specifying Match Types in Scala 3 - - date: 6 June 2024 + - date: 13 November 2023 time: "12:00pm" place: BC 410, EPFL - speaker: # To be announced - title: # to be announced + speaker: Dimi Racordon + title: What does Scala look like for a Swift enthusiast? - - date: 5 September 2024 + - date: 2 October 2023 time: "12:00pm" place: BC 410, EPFL - speaker: # To be announced - title: # to be announced + speaker: Quentin Bernet + title: Syntax and Runtime Checks for Qualified Types in Scala 3 - - date: 3 October 2024 + - date: 4 September 2023 time: "12:00pm" place: BC 410, EPFL - speaker: # To be announced - title: # to be announced + speaker: Martin Odersky + title: Scala's Role in the Programming Languages Ecosystem - - date: 7 November 2024 + - date: 12 June 2023 + time: "12:00pm" + place: BC 410, EPFL + speaker: Nguyen Pham + title: "Copying stacks for fun and profit: Experimental delimited continuations for Scala Native" + + - date: 8 May 2023 time: "12:00pm" place: BC 410, EPFL - speaker: # To be announced - title: # to be announced + speaker: Solal Pirelli + title: "Safe Low-Level Code Without Overhead is Practical" + + - date: 8 May 2023 + time: "12:30pm" + place: BC 410, EPFL + speaker: Zilu Tian + title: "Generalising Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations" diff --git a/_data/team-members.yml b/_data/team-members.yml index ffaa0791..565cecb3 100644 --- a/_data/team-members.yml +++ b/_data/team-members.yml @@ -6,7 +6,7 @@ members: github: darjutak twitter: darjutak photo: /resources/img/darja.png - contact_for: [corporateMembership, donations, advisoryBoardMeeting, sip, communication] + contact_for: [advisoryBoardMeeting, corporateMembership, communication] active: true - member: julien name: Julien Richard-Foy @@ -130,7 +130,7 @@ members: twitter: bishabosha photo: /resources/img/jamiethompson.png contact_for: [tastyScala2, dotty] - active: true + active: false - member: ergys name: Ergys Dona title: Software Development @@ -148,7 +148,7 @@ members: twitter: adrienpi2 photo: /resources/img/adrien.png contact_for: [scala3MigrationGuide, scaladex, bspForSbt] - active: true + active: false - member: meriam name: Meriam Lachkar title: Software Development @@ -279,3 +279,12 @@ members: photo: /resources/img/aymane.jpeg contact_for: active: false + - member: aissaoui + name: Saad Aissaoui + title: Intern + email: saad.aissaoui@epfl.ch + github: saadAissa + twitter: + photo: /resources/img/aissaoui.jpeg + contact_for: + active: false diff --git a/_includes/alert-banner.html b/_includes/alert-banner.html index 46430e07..fc7bdff9 100644 --- a/_includes/alert-banner.html +++ b/_includes/alert-banner.html @@ -1,8 +1,10 @@ {% comment %}use the variable 'message' to include markdown text to display in the alert.{% endcomment %} +{% unless include.message_id == 'disabled' %} +{% endunless %} diff --git a/_includes/footer.html b/_includes/footer.html index 555587fb..23489c51 100644 --- a/_includes/footer.html +++ b/_includes/footer.html @@ -17,7 +17,6 @@
Scala Center
  • Projects
  • Team
  • FAQs
  • -
  • Jobs
  • Records
  • Contact
  • Donate
  • @@ -38,9 +37,9 @@
    Scala
    Find us