-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Deploy hds/lunch.rs to hds/lunch.rs:gh-pages
- Loading branch information
GitHub Actions
committed
Jun 20, 2024
0 parents
commit 5d7e3da
Showing
22 changed files
with
1,759 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
<!doctype html> | ||
<title>404 Not Found</title> | ||
<h1>404 Not Found</h1> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
lunch.rs |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,76 @@ | ||
<!DOCTYPE html> | ||
<html lang="en_GB"> | ||
|
||
<head> | ||
<meta charset="utf-8"> | ||
<meta name="viewport" content="width=device-width, initial-scale=1"> | ||
|
||
<title>About Rust for Lunch - Rust for Lunch</title> | ||
|
||
<link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> | ||
<link rel="alternate" type="application/rss+xml" title="Rust for Lunch Meet-ups" href="/rss.xml" /> | ||
<link rel="icon" href="/favicon.ico" type="image/x-icon"> | ||
|
||
<link rel="stylesheet" href="/css/lunch.css"> | ||
</head> | ||
|
||
<body> | ||
<div class="masthead" role="navigation"> | ||
<div class="container"> | ||
<nav> | ||
<a class="nav-item" href="/">lunch</a> | ||
<a class="nav-item" href="/about/">about</a> | ||
</nav> | ||
</div> | ||
</div> | ||
<div class="container" role="main"> | ||
|
||
|
||
<div class="post"> | ||
<h1><a href="https://lunch.rs/about/">About Rust for Lunch</a></h1> | ||
|
||
<div><p>Rust for Lunch is an online-only Rust meet scheduled to fit into a lunch break.</p> | ||
<p>The main part of each meet-up will be short enough to fit into a 1 hour lunch | ||
slot and the time is chosen to be a feasible lunch time.</p> | ||
<p>The first meet-up will be scheduled around European and African midday and | ||
early afternoon.</p> | ||
<h2 id="code-of-conduct">Code of Conduct</h2> | ||
<p>The Rust for Lunch project adheres to the <a href="https://github.com/rust-lang/rust/blob/master/CODE_OF_CONDUCT.md">Rust Code of Conduct</a>. This | ||
describes the <em>minimum</em> behavior expected from all contributors and as well as | ||
attendees.</p> | ||
<p>Instances of violations of the Code of Conduct can be reported by contacting | ||
the Hayden at his personal email address | ||
<a href="mailto:[email protected]">[email protected]</a>.</p> | ||
<h2 id="disclaimer">Disclaimer</h2> | ||
<p>Rust for Lunch is not associated with or endorsed by neither the | ||
<a href="https://www.rust-lang.org/">Rust Project</a> nor the | ||
<a href="https://foundation.rust-lang.org/">Rust Foundation</a>.</p> | ||
<h2 id="social">Social</h2> | ||
<p>We have social spaces where meet-up details are announced. You're also welcome | ||
to join and discuss whatever topic interests you, especially Rust of course.</p> | ||
<ul> | ||
<li>Matrix room: <a href="https://matrix.to/#/#rust-for-lunch:matrix.org">#rust-for-lunch:matrix.org</a></li> | ||
<li>Discord server: <a href="https://discord.gg/DbcWXPR5aq">discord.gg/DbcWXPR5aq</a></li> | ||
</ul> | ||
<h2 id="contributing">Contributing</h2> | ||
<p>We would love to have more people involved in the Rust for Lunch meetup.</p> | ||
<p>Please get in touch with Hayden if you would like to speak at a meet-up.</p> | ||
<p>If you would like to contribute in another way, either get in touch or | ||
open an issue on the | ||
<a href="https://github.com/hds/lunch.rs">lunch.rs GitHub project</a>.</p> | ||
<h2 id="contact">Contact</h2> | ||
<p>You can get in touch with Hayden at his | ||
<a href="mailto:[email protected]">personal email address</a>. See the <a href="https://hegdenu.net/about/#contact">hegdenu.net about page</a> for more ways.</p> | ||
</div> | ||
</div> | ||
|
||
|
||
<div class="footer" role="footer"> | ||
<div class="separator"></div> | ||
<p><span class="current-year">2023</span>, Hayden Stainsby.</p> | ||
</div> | ||
</div> | ||
|
||
</body> | ||
|
||
</html> |
Binary file added
BIN
+258 KB
content/2023-10-31/Abusing_the_Type_System_for_Fun_and_for_Profit-0.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added
BIN
+3.87 MB
content/2023-10-31/Abusing_the_Type_System_for_Fun_and_for_Profit.pdf
Binary file not shown.
Binary file not shown.
Binary file not shown.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,294 @@ | ||
/* **** FONTS **** */ | ||
|
||
html, | ||
body { | ||
height: 100%; | ||
} | ||
|
||
body { | ||
background: transparent none; | ||
|
||
text-rendering: optimizeLegibility; | ||
font-family: "Open Sans", sans-serif; | ||
color: #333; | ||
} | ||
|
||
/* Container */ | ||
|
||
body>.container { | ||
min-height: 100%; | ||
|
||
font-size: 13pt; | ||
line-height: 1.5; | ||
} | ||
|
||
.container { | ||
padding-left: 24px; | ||
padding-right: 24px; | ||
} | ||
|
||
.masthead .container { | ||
padding-left: 10px; | ||
padding-right: 10px; | ||
} | ||
|
||
@media (min-width: 992px) { | ||
.container { | ||
width: 870px; | ||
} | ||
} | ||
|
||
/* a:active { | ||
text-decoration: underline; | ||
} */ | ||
|
||
h1>a, | ||
h1>a:hover, | ||
h2>a, | ||
h2>a:hover, | ||
h3>a, | ||
h3>a:hover, | ||
h4>a, | ||
h4>a:hover, | ||
h5>a, | ||
h5>a:hover { | ||
text-decoration: none; | ||
} | ||
|
||
a, | ||
a:hover { | ||
color: #f80; | ||
} | ||
|
||
h2 { | ||
margin: 0 0 20px 0; | ||
} | ||
|
||
h3.section { | ||
margin: 40px 0 10px 0; | ||
} | ||
|
||
h4.section { | ||
margin: 20px 0 10px 0; | ||
} | ||
|
||
h5 span.date, | ||
h5 span.author { | ||
color: #f80; | ||
} | ||
|
||
/* h5 span.author { | ||
color: #333; | ||
} */ | ||
|
||
.separator { | ||
width: 70%; | ||
border-bottom: 1px solid #cccccc; | ||
opacity: 0.4; | ||
margin: 40px auto; | ||
clear: both; | ||
} | ||
|
||
/* **** FOOTER **** */ | ||
|
||
.footer { | ||
margin-top: 80px; | ||
} | ||
|
||
.footer .separator { | ||
margin-top: 0; | ||
margin-bottom: 10px; | ||
} | ||
|
||
.footer p { | ||
font-size: 70%; | ||
text-align: center; | ||
} | ||
|
||
/* **** NAVIGATION **** */ | ||
|
||
nav>a.nav-item { | ||
display: inline-block; | ||
padding: 10px 14px; | ||
|
||
font-size: 13pt; | ||
} | ||
|
||
@media (max-width: 480px) { | ||
nav>a.nav-item { | ||
font-size: 11pt; | ||
} | ||
} | ||
|
||
@media (max-width: 320px) { | ||
nav>a.nav-item { | ||
font-size: 11pt; | ||
padding-left: 4px; | ||
padding-right: 4px; | ||
} | ||
} | ||
|
||
/* **** POSTS **** */ | ||
|
||
.meetup p { | ||
margin: 0 0 14pt; | ||
} | ||
|
||
.meetup blockquote>p { | ||
font-style: italic; | ||
} | ||
|
||
.meetup p img { | ||
width: 100%; | ||
} | ||
|
||
/* **** LIGHT/DARK MODE **** */ | ||
|
||
@media (prefers-color-scheme: dark) { | ||
|
||
/* Dark theme styles go here */ | ||
body { | ||
background-color: #000; | ||
color: #ccc; | ||
} | ||
|
||
h1>a, | ||
h1>a:hover, | ||
h2>a, | ||
h2>a:hover, | ||
h3>a, | ||
h3>a:hover { | ||
color: #ccc; | ||
} | ||
|
||
a { | ||
color: #f80; | ||
} | ||
|
||
.skin-border, | ||
.separator { | ||
border-color: #f80; | ||
} | ||
} | ||
|
||
@media (prefers-color-scheme: light) { | ||
|
||
/* Light theme styles go here */ | ||
body { | ||
background-color: #fff; | ||
color: #333; | ||
} | ||
|
||
h1>a, | ||
h1>a:hover, | ||
h2>a, | ||
h2>a:hover, | ||
h3>a, | ||
h3>a:hover { | ||
color: #333; | ||
} | ||
|
||
.skin-border, | ||
.separator { | ||
border-color: #f80; | ||
} | ||
|
||
} | ||
|
||
/* **** Home page **** */ | ||
|
||
.cross-line { | ||
margin-bottom: 40px; | ||
} | ||
|
||
/* **** Sections **** */ | ||
|
||
.section .item-title { | ||
font-style: italic; | ||
margin-right: 6px; | ||
} | ||
|
||
.section .item-title:after { | ||
content: ":"; | ||
} | ||
|
||
/* **** Code **** */ | ||
|
||
pre { | ||
padding: 8px 10px 10px 10px; | ||
margin: 20px 0; | ||
overflow: scroll; | ||
|
||
font-size: 11pt; | ||
} | ||
|
||
pre.bespoke-code { | ||
background-color: #2b303b; | ||
color: #c0c5ce; | ||
} | ||
|
||
p code { | ||
font-size: 90%; | ||
} | ||
|
||
/* **** Bootstrap replacement **** */ | ||
|
||
* { | ||
-webkit-box-sizing: border-box; | ||
-moz-box-sizing: border-box; | ||
box-sizing: border-box; | ||
} | ||
|
||
body { | ||
margin: 0; | ||
|
||
font-size: 14px; | ||
line-height: 1.42857143; | ||
} | ||
|
||
.container { | ||
margin-right: auto; | ||
margin-left: auto; | ||
} | ||
|
||
h1, | ||
h2, | ||
h3, | ||
h4, | ||
h5, | ||
h6 { | ||
margin-top: 32px; | ||
margin-bottom: 18px; | ||
|
||
font-weight: 500; | ||
line-height: 1.1; | ||
} | ||
|
||
h1 { | ||
font-size: 36px; | ||
} | ||
|
||
h2 { | ||
font-size: 30px; | ||
} | ||
|
||
h3 { | ||
font-size: 24px; | ||
} | ||
|
||
h4 { | ||
font-size: 20px; | ||
} | ||
|
||
h5 { | ||
font-size: 14px; | ||
margin-top: .48em; | ||
} | ||
|
||
p { | ||
margin: 0 0 10px; | ||
} | ||
|
||
a { | ||
outline: 0; | ||
} |
Oops, something went wrong.