-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
101 lines (94 loc) · 5.04 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>DC Systems</title>
<style>
body { max-width: 800px; margin: 0 auto; padding: 20px; }
table { border-collapse: collapse; width: 100%; }
th, td { border: 1px solid #ddd; padding: 8px; text-align: left; }
</style>
</head>
<body>
<header>
<h1>DC Systems</h1>
</header>
<main>
<section>
<p>DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area.</p>
<p>We are focused on high quality talks and expert speakers. Talks about engineering, not product pitches.</p>
<p>Speakers will share their experience building, testing, debugging, and maintaining:</p>
<ul>
<li>Compilers, parsers, virtual machines, IDEs, profiling, etc.</li>
<li>Databases, storage, networking, distributed systems</li>
<li>Large scale infrastructure, low latency, high availability services</li>
<li>Formal methods, verification</li>
<li>Browsers, kernel development, security, etc.</li>
<li>Algorithms, data structures, performance optimizations, HPC</li>
<li>Operating Systems / kernels</li>
<li>Embedded systems, IoT, robotic, etc.</li>
<li>AI training, inference, compute orchestration</li>
</ul>
</section>
<section>
<h2>Schedule</h2>
<table>
<thead>
<tr>
<th>Date</th>
<th>Link</th>
<th>Speakers</th>
</tr>
</thead>
<tbody>
<tr>
<td>Oct 8, 6-8pm</td>
<td><a href="https://lu.ma/pr4klipw">https://lu.ma/pr4klipw</a></td>
<td><a href="https://x.com/eatonphil">Phil Eaton</a> from EDB on distributed consensus, <a href="https://www.linkedin.com/in/andrei-matei-9401083/">Andrei Matei</a> from Data Ex Machina on dynamic instrumentation</td>
</tr>
</tbody>
<tbody>
<tr>
<td>Nov 12, 6-8pm</td>
<td><a href="https://lu.ma/uwekrl13">https://lu.ma/uwekrl13</a></td>
<td><a href="https://www.linkedin.com/in/aaronjeline/">Aaron Eline</a> from AWS on randomized testing & formal verification, <a href="https://www.linkedin.com/in/timdeebswihart/">Tim Deeb-Swihart</a> from Temporal on reliability</td>
</tr>
</tbody>
<tbody>
<tr>
<td>Dec 10, 6-8:30pm</td>
<td><a href="https://lu.ma/b9ndtfi5">https://lu.ma/b9ndtfi5</a></td>
<td><a href="https://www.linkedin.com/in/shivanshvij/">Shivansh Vij</a> from Loophole Labs on VM migrations, <a href="https://www.linkedin.com/in/alpkeles/">Alperen Keleş</a> from University of Maryland on Property-Based Testing, <a href="https://www.linkedin.com/in/paul-ryan-2a6a81321/">Paul Ryan</a> from Antithesis on robustness</td>
</tr>
</tbody>
<tbody>
<tr>
<td>Feb 18, 6-8pm</td>
<td><a href="https://lu.ma/f4xzl8wp">https://lu.ma/f4xzl8wp</a></td>
<td><a href="https://www.linkedin.com/in/mbutrovich/">Matt Butrovich</a> from Apple on Apache DataFusion, <a href="https://www.linkedin.com/in/jayaprabhakar/">Jayaprabhakar (JP) Kadarkarai</a> from FizzBee on Formal Verification</td>
</tr>
</tbody>
<tbody>
<tr>
<td>Mar 11, 6-8pm</td>
<td><a href="https://lu.ma/mrt59mg9">https://lu.ma/mrt59mg9</a></td>
<td><a href="https://www.linkedin.com/in/achille-roussel/">Achille Roussel</a> from Firetiger on faster parquet bloom filters, <a href="https://www.linkedin.com/in/sravan-balaji/">Sravan Balaji</a> from Metron on Robotics</td>
</tr>
</tbody>
</table>
</section>
<section>
<p>Sign up for mailing list to be notified of future meetups - <a href="https://docs.google.com/forms/d/e/1FAIpQLSeYdmIO0RbYVJAtgBOsC-49rZvCPzwtnqegqjGmHr7ROJTqNw/viewform?usp=sf_link">Google Form</a>.</p>
</section>
<section>
<h2>Brought to you by</h2>
<p>This talk series is organized by <a href="https://x.com/gabe_guerra_">Gabriel Guerra</a>. <a href="https://antithesis.com">Antithesis</a> has been gracious enough to host the events.</p>
</section>
</main>
<footer>
<hr>
<p>Inspired by <a href="http://nycsystems.xyz">nycsystems.xyz</a>.</p>
</footer>
</body>
</html>