Manual event edits, reducing html

valencik · valencik · commit fb543cd7aa31 · 2026-02-16T12:38:23.000-05:00
diff --git a/src/blog/2016-03-02-summit-philadelphia.md b/src/blog/2016-03-02-summit-philadelphia.md
@@ -12,15 +12,15 @@
 
 ## About the Summit
 
-The first Typelevel Summit was co-located with the <a href="http://www.nescala.org/">Northeast Scala Symposium</a> in Philadelphia, with one day of recorded talks and one day of unconference.
+The first Typelevel Summit was co-located with the [Northeast Scala Symposium](http://www.nescala.org/) in Philadelphia, with one day of recorded talks and one day of unconference.
 
 You can find photos from the summit [here](https://goo.gl/photos/P7DDsz68koHCXrAo8). Thanks to Brian Clapper and
 Alexy Khrabrov who [also](https://drive.google.com/folderview?id=0B5w3iJKynGZJaWFUbWJOZzNETU0) [documented](http://meetup.bythebay.photo/Conferences/Typelevel/Typelevel-2016-Philadelphia/) the event.
 
 The Summits are open to all, not just current contributors to and users of the Typelevel projects, and we are especially keen to encourage participation from people who are new to them.
 Whilst many of the Typelevel projects use somewhat "advanced" Scala, they are a lot more approachable than many people think, and a major part of Typelevel's mission is to make the ideas they embody much more widely accessible.
 If you're interested in types and pure functional programming we'd love to see you here!
-Check our <a href="/">front page</a> for upcoming events.
+Check our [front page](/README.md) for upcoming events.
 
 ## Speakers and Schedule
 
@@ -42,7 +42,7 @@ Check our <a href="/">front page</a> for upcoming events.
  15:40 | @:style(schedule-title)Easy, intuitive, direct-style syntax for Monad-comprehensions!@:@ @:style(schedule-byline)Chris Vogt, Chris Hodapp@:@ Easy, intuitive, direct-style syntax for monad comprehensions! Like Scala async or SBT .value, but generalized to any monad. Implemented, ready to be used and requiring only vanilla Scala 2.10/2.11 and blackbox macros. Future extensions could include automatic use of Applicative where possible, support for more embedded control-flow operations, comprehensions over multiple compatible monads at once for user-defined notions of compatible and compiler tweaks for syntactic improvements. |
  16:00 | @:style(schedule-title)Scala Exercises@:@ @:style(schedule-byline)Raúl Raja Martínez@:@ Scala Exercises is a web based community tool open sourced by 47 Degrees. It contains multiple koan and free form style exercises maintained by library authors and maintainers to help you master some of the most important tools in the Scala Ecosystem. Version 2 comes with a brand new backend and exercise tracking where you can login simply using your Github account and track your progress throughout exercises and libraries. Version 2 will launch with exercises for the stdlib, Cats, Shapeless and other well known libraries and frameworks part of the Scala ecosystem. |
  16:15 | Break |
- 16:30 | @:style(schedule-title)From Simulacrum to Typeclassic@:@ @:style(schedule-byline)mpilquist@:@ Simulacrum simplifies development of type class libraries. It is used in a number of open source libraries, including Cats. In this talk, we’ll tour the features of Simulacrum, and look at the forthcoming Typeclassic project, which merges Simulacrum with complementary projects like machinist and export-hook. |
+ 16:30 | @:style(schedule-title)From Simulacrum to Typeclassic@:@ @:style(schedule-byline)Michael Pilquist@:@ Simulacrum simplifies development of type class libraries. It is used in a number of open source libraries, including Cats. In this talk, we’ll tour the features of Simulacrum, and look at the forthcoming Typeclassic project, which merges Simulacrum with complementary projects like machinist and export-hook. |
 
 ## Sponsors
 
diff --git a/src/blog/2016-05-04-summit-oslo.md b/src/blog/2016-05-04-summit-oslo.md
@@ -12,7 +12,7 @@
 
 ## About the Summit
 
-The second Typelevel Summit was co-located with <a href="http://2016.flatmap.no/">flatMap(Oslo)</a>.
+The second Typelevel Summit was co-located with [flatMap(Oslo)](http://2016.flatmap.no/).
 
 The Summits are open to all, not just current contributors to and users of the Typelevel projects, and we are especially keen to encourage participation from people who are new to them.
 Whilst many of the Typelevel projects use somewhat "advanced" Scala, they are a lot more approachable than many people think, and a major part of Typelevel's mission is to make the ideas they embody much more widely accessible.
diff --git a/src/blog/2016-06-11-hackday.md b/src/blog/2016-06-11-hackday.md
@@ -25,7 +25,9 @@ Please come and join us, and if there's anything you'd like to chat about before
 More details, including the schedule, can be found on the [Meetup page](http://www.meetup.com/london-scala/events/231404561/).
 It is important that you sign up there.
 
-<a class="btn large" href="http://www.meetup.com/london-scala/events/231404561/">Sign up</a>
+@:style(bulma-has-text-centered)
+@:style(bulma-button bulma-is-large bulma-is-link)[Sign up](http://www.meetup.com/london-scala/events/231404561/)@:@
+@:@
 
 ## Venue
 
diff --git a/src/blog/2016-07-16-hackday.md b/src/blog/2016-07-16-hackday.md
@@ -25,7 +25,9 @@ Please come and join us, and if there's anything you'd like to chat about before
 More details, including the schedule, can be found on the [Meetup page](http://www.meetup.com/london-scala/events/232075459/).
 It is important that you sign up there.
 
-<a class="btn large" href="http://www.meetup.com/london-scala/events/232075459/">Sign up</a>
+@:style(bulma-has-text-centered)
+@:style(bulma-button bulma-is-large bulma-is-link)[Sign up](http://www.meetup.com/london-scala/events/232075459/)@:@
+@:@
 
 ## Venue
 
diff --git a/src/blog/2016-08-13-hackday.md b/src/blog/2016-08-13-hackday.md
@@ -25,7 +25,9 @@ Please come and join us, and if there's anything you'd like to chat about before
 More details, including the schedule, can be found on the [Meetup page](http://www.meetup.com/london-scala/events/232890867/).
 It is important that you sign up there.
 
-<a class="btn large" href="http://www.meetup.com/london-scala/events/232890867/">Sign up</a>
+@:style(bulma-has-text-centered)
+@:style(bulma-button bulma-is-large bulma-is-link)[Sign up](http://www.meetup.com/london-scala/events/232890867/)@:@
+@:@
 
 ## Venue
 
diff --git a/src/blog/2016-09-17-hackday.md b/src/blog/2016-09-17-hackday.md
@@ -25,7 +25,9 @@ Please come and join us, and if there's anything you'd like to chat about before
 More details, including the schedule, can be found on the [Meetup page](http://www.meetup.com/london-scala/events/233994868/).
 It is important that you sign up there.
 
-<a class="btn large" href="http://www.meetup.com/london-scala/events/233994868/">Sign up</a>
+@:style(bulma-has-text-centered)
+@:style(bulma-button bulma-is-large bulma-is-link)[Sign up](http://www.meetup.com/london-scala/events/233994868/)@:@
+@:@
 
 ## Venue
 
diff --git a/src/blog/2016-10-15-hackday.md b/src/blog/2016-10-15-hackday.md
@@ -25,7 +25,9 @@ Please come and join us, and if there's anything you'd like to chat about before
 More details, including the schedule, can be found on the [Meetup page](https://www.meetup.com/london-scala/events/234417089/).
 It is important that you sign up there.
 
-<a class="btn large" href="https://www.meetup.com/london-scala/events/234417089/">Sign up</a>
+@:style(bulma-has-text-centered)
+@:style(bulma-button bulma-is-large bulma-is-link)[Sign up](http://www.meetup.com/london-scala/events/234417089/)@:@
+@:@
 
 ## Venue
 
diff --git a/src/blog/2016-10-27-scala-io.md b/src/blog/2016-10-27-scala-io.md
@@ -15,7 +15,9 @@
 The Scala event in France, organized by French Scala community volunteers, featuring advanced functional programming talks.
 CfP is still open until September 5.
 
-<a class="btn large" href="http://scala.io/">Learn More</a>
+@:style(bulma-has-text-centered)
+@:style(bulma-button bulma-is-large bulma-is-link)[Learn More](http://scala.io)@:@
+@:@
 
 ## Venue
 
diff --git a/src/blog/2016-11-12-hackday.md b/src/blog/2016-11-12-hackday.md
@@ -23,7 +23,9 @@ Please come and join us, and if there's anything you'd like to chat about before
 More details, including the schedule, can be found on the [Meetup page](https://www.meetup.com/london-scala/events/235200788/).
 It is important that you sign up there.
 
-<a class="btn large" href="https://www.meetup.com/london-scala/events/235200788/">Sign up</a>
+@:style(bulma-has-text-centered)
+@:style(bulma-button bulma-is-large bulma-is-link)[Sign up](https://www.meetup.com/london-scala/events/235200788/)@:@
+@:@
 
 ## Venue
 
diff --git a/src/blog/2016-12-10-scalaxhack.md b/src/blog/2016-12-10-scalaxhack.md
@@ -36,7 +36,9 @@ the Typelevel family.
 ScalaxHack is a free event.
 Lunch will be sponsored by [Underscore][underscore].
 
-<a class="btn large" href="https://skillsmatter.com/conferences/7975-scalaxhack">Register</a>
+@:style(bulma-has-text-centered)
+@:style(bulma-button bulma-is-large bulma-is-link)[Register](https://skillsmatter.com/conferences/7975-scalaxhack)@:@
+@:@
 
 [skillsmatter]: http://skillsmatter.com
 [lsug]: http://meetup.com/london-scala
diff --git a/src/blog/2017-01-21-hackday.md b/src/blog/2017-01-21-hackday.md
@@ -25,6 +25,10 @@ It is important that you sign up there.
 
 <a class="btn large" href="https://www.meetup.com/london-scala/events/236634381/">Sign up</a>
 
+@:style(bulma-has-text-centered)
+@:style(bulma-button bulma-is-large bulma-is-link)[Sign up](https://www.meetup.com/london-scala/events/236634381/)@:@
+@:@
+
 ## Venue
 
 This event will take place at the Salesforce Tower.
diff --git a/src/blog/2017-03-23-summit-nyc.md b/src/blog/2017-03-23-summit-nyc.md
@@ -73,11 +73,7 @@ We'd like to thank all our sponsors who help to make the Summit happen:
 @:style(bulma-cell bulma-has-text-centered)[@:image(/img/media/sponsors/iheartradio.png) { alt: iHeartRadio, title: iHeartRadio, style: legacy-event-sponsor }](https://www.iheart.com/)@:@
 @:@
 
-<div class="sponsors">
-  <div class="sponsors__sponsor sponsors__sponsor--silver">
-    <h3>After Party Sponsor</h3>
-    <a href="https://www.meetup.com/">
-      <img src="/img/media/sponsors/meetup.png" alt="Meetup" title="Meetup" style="height:50px" />
-    </a>
-  </div>
-</div>
+### After Party Sponsor
+@:style(bulma-grid bulma-is-col-min-12)
+@:style(bulma-cell bulma-has-text-centered)[@:image(/img/media/sponsors/meetup.png) { alt: Meetup, title: Meetup, style: legacy-event-sponsor }](http://meetup.com/)@:@
+@:@
diff --git a/src/blog/2017-06-03-summit-copenhagen.md b/src/blog/2017-06-03-summit-copenhagen.md
@@ -12,7 +12,7 @@
 
 ## About the Summit
 
-The fourth Typelevel Summit will be co-located with **the** Scala conference: <a href="http://event.scaladays.org/scaladays-cph-2017">Scala Days</a>!
+The fourth Typelevel Summit will be co-located with **the** Scala conference: [Scala Days](http://event.scaladays.org/scaladays-cph-2017)!
 
 The Summits are open to all, not just current contributors to and users of the Typelevel projects, and we are especially keen to encourage participation from people who are new to them.
 Whilst many of the Typelevel projects use somewhat "advanced" Scala, they are a lot more approachable than many people think, and a major part of Typelevel's mission is to make the ideas they embody much more widely accessible.
diff --git a/src/blog/2018-03-20-summit-boston.md b/src/blog/2018-03-20-summit-boston.md
@@ -28,35 +28,9 @@ This is a community conference and we strive to make it an inclusive and fulfill
 |------|------|
 | 8:15 | Registration & Breakfast by Clover Food Labs |
  9:00 | Opening Remarks |
- 9:05 | @:style(schedule-title)http4s: pure, typeful, functional HTTP in Scala@:@ @:style(schedule-byline)rossabaker@:@ <p>http4s embraces cats.data.Kleisli for service definitions and fs2.Stream for payload processing. With its foundation on these simple types, we’ll take a whirlwind tour of how http4s can:</p>
-
-<ul>
-  <li>plug into your functional business logic</li>
-  <li>snap together with other functional libraries</li>
-  <li>relate servers to clients</li>
-  <li>test with a simple function call</li>
-  <li>run on multiple backends</li>
-  <li>support multiple higher level DSLs</li>
-</ul>
-
-<p>This talk will not make you an expert in http4s, but show that it’s a relatively short path to become one.</p>
-
+ 9:05 | @:style(schedule-title)http4s: pure, typeful, functional HTTP in Scala@:@ @:style(schedule-byline)Ross Baker@:@ http4s embraces cats.data.Kleisli for service definitions and fs2.Stream for payload processing. With its foundation on these simple types, we’ll take a whirlwind tour of how http4s can: plug into your functional business logic; snap together with other functional libraries; relate servers to clients; test with a simple function call; run on multiple backends; and support multiple higher level DSLs. This talk will not make you an expert in http4s, but show that it’s a relatively short path to become one.
  9:40 | Break |
- 9:55 | @:style(schedule-title)Opaque types: understanding SIP-35@:@ @:style(schedule-byline)Erik Osheim@:@ <p>Proposed in SIP-35, opaque types introduce a way to define types which only exist at compile-time. Despite some superficial similarities to value classes, opaque types are significantly more flexible and introduce a number of exciting new possibilities in the Scala design space.</p>
-
-<p>Opaque types are motivated by a number of different concerns:</p>
-
-<ul>
-  <li>desire for a non-class type that exists only at compile-time</li>
-  <li>efficiency concerns with value classes</li>
-  <li>limitations of existing type aliases</li>
-  <li>need to better support phantom types, type tags, etc.</li>
-</ul>
-
-<p>This talk will introduce opaque types, compare them to type aliases and value classes (their two nearest cousins) and then walk through some examples of using opaque types. The focus will be on advantages of using opaque types versus other encodings, including looking at how various types are represented by the JVM at runtime. The talk does not assume in-depth knowledge of the Scala compiler and will motivate the code using plausible real world examples.</p>
-
-<p>Attendees will come away from this talk with a better understanding of what SIP-35 means, why it was proposed, and how it could change how we write Scala code for the better.</p>
-
+ 9:55 | @:style(schedule-title)Opaque types: understanding SIP-35@:@ @:style(schedule-byline)Erik Osheim@:@ Proposed in SIP-35, opaque types introduce a way to define types which only exist at compile-time. Despite some superficial similarities to value classes, opaque types are significantly more flexible and introduce a number of exciting new possibilities in the Scala design space. Opaque types are motivated by a number of different concerns: desire for a non-class type that exists only at compile-time; efficiency concerns with value classes; limitations of existing type aliases; and need to better support phantom types, type tags, etc. This talk will introduce opaque types, compare them to type aliases and value classes (their two nearest cousins) and then walk through some examples of using opaque types. The focus will be on advantages of using opaque types versus other encodings, including looking at how various types are represented by the JVM at runtime. The talk does not assume in-depth knowledge of the Scala compiler and will motivate the code using plausible real world examples. Attendees will come away from this talk with a better understanding of what SIP-35 means, why it was proposed, and how it could change how we write Scala code for the better.
  10:30 | @:style(schedule-title)Big Data at the Intersection of Typed FP and Category Theory@:@ @:style(schedule-byline)Long Cao@:@ Big data, functional programming, and category theory aren’t just three trendy topics smashed into a talk title as bait! Foundational ideas from typed functional programming and category theory have real and practical applications for working with big data and can also be utilized to write more principled pipelines at scale. Whether it’s aggregating with monoids or writing more typesafe Spark jobs, we’ll try and bridge these topics together in a way that can be immediately useful. Some knowledge of Scala and a big data framework like Apache Hadoop, Spark, or Beam is suggested but not necessary. |
  11:05 | Break |
  11:20 | @:style(schedule-title)Tracking with Writer Monad@:@ @:style(schedule-byline)Eugene Platonov@:@ This talk will tell the story of one team at eBay which used to do data tracking in a healthy side-effecting manner. Until the team realized that it’s not that healthy. The solution was found in a Writer Monad (residing in the cats library) as well as in the fact that the writer monad can stay in shades. Some people, especially when they are new to typed FP, don’t like/feel comfortable to see words like Semigroup, Traversable, Writer and such in their domain code. The talk will show how those “scary” parts can be “hidden” by domain specific extension methods. |
diff --git a/src/blog/2018-05-18-summit-berlin.md b/src/blog/2018-05-18-summit-berlin.md
diff --git a/src/blog/2019-04-01-summit-philadelphia.md b/src/blog/2019-04-01-summit-philadelphia.md
diff --git a/src/blog/2019-06-14-summit-lausanne.md b/src/blog/2019-06-14-summit-lausanne.md
diff --git a/src/blog/2020-03-12-summit-nyc.md b/src/blog/2020-03-12-summit-nyc.md
