Skip to content

Commit 2c9ec4e

Browse files
Liby99Liby99
committed
Adding more content
1 parent f7d5a63 commit 2c9ec4e

File tree

12 files changed

+65
-15
lines changed

12 files changed

+65
-15
lines changed

‎assignment1.html‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,15 +3,15 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<title>Assignment 1 - Machine Programming</title>
6+
<title>EN.601.727 Machine Programming</title>
77
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/css/bootstrap.min.css" rel="stylesheet">
88
<link rel="stylesheet" href="css/styles.css">
99
</head>
1010
<body>
1111
<header>
12-
<h1>Assignment 1: Traditional program synthesis</h1>
12+
<h1>Assignment 1: Enumerative program synthesis</h1>
1313
<p>Johns Hopkins University &mdash; Fall 2025</p>
14-
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> ziyang@cs.jhu.edu</p>
14+
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> <a href="mailto:ziyang@cs.jhu.edu">ziyang@cs.jhu.edu</a></p>
1515
</header>
1616
<nav>
1717
<a href="index.html">Home</a>
@@ -25,4 +25,4 @@ <h2>Assignment Details</h2>
2525
</section>
2626
</main>
2727
</body>
28-
</html>
28+
</html>

‎assignment2.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,15 +3,15 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<title>Assignment 2 - Machine Programming</title>
6+
<title>EN.601.727 Machine Programming</title>
77
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/css/bootstrap.min.css" rel="stylesheet">
88
<link rel="stylesheet" href="css/styles.css">
99
</head>
1010
<body>
1111
<header>
1212
<h1>Assignment 2: Evaluating LLMs on program synthesis</h1>
1313
<p>Johns Hopkins University &mdash; Fall 2025</p>
14-
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> ziyang@cs.jhu.edu</p>
14+
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> <a href="mailto:ziyang@cs.jhu.edu">ziyang@cs.jhu.edu</a></p>
1515
</header>
1616
<nav>
1717
<a href="index.html">Home</a>

‎assignment3.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,15 +3,15 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<title>Assignment 3 - Machine Programming</title>
6+
<title>EN.601.727 Machine Programming</title>
77
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/css/bootstrap.min.css" rel="stylesheet">
88
<link rel="stylesheet" href="css/styles.css">
99
</head>
1010
<body>
1111
<header>
1212
<h1>Assignment 3: Iterative program synthesis</h1>
1313
<p>Johns Hopkins University &mdash; Fall 2025</p>
14-
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> ziyang@cs.jhu.edu</p>
14+
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> <a href="mailto:ziyang@cs.jhu.edu">ziyang@cs.jhu.edu</a></p>
1515
</header>
1616
<nav>
1717
<a href="index.html">Home</a>

‎assignments.html‎

Lines changed: 21 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,15 +3,15 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<title>Assignments - Machine Programming</title>
6+
<title>Assignments - EN.601.727 Machine Programming</title>
77
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/css/bootstrap.min.css" rel="stylesheet">
88
<link rel="stylesheet" href="css/styles.css">
99
</head>
1010
<body>
1111
<header>
12-
<h1>Machine Programming</h1>
12+
<h1>EN.601.727 Machine Programming</h1>
1313
<p>Johns Hopkins University &mdash; Fall 2025</p>
14-
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> ziyang@cs.jhu.edu</p>
14+
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> <a href="mailto:ziyang@cs.jhu.edu">ziyang@cs.jhu.edu</a></p>
1515
</header>
1616
<nav>
1717
<a href="index.html">Home</a>
@@ -21,12 +21,28 @@ <h1>Machine Programming</h1>
2121
<main>
2222
<section>
2323
<h2>Assignments</h2>
24+
<p>
25+
<strong>Assignment Policy:</strong>
26+
All assignments are released when the course starts and can be submitted through GradeScope anytime before the deadline.
27+
Late submissions will be penalized 10% per day up to 5 days.
28+
Collaboration is allowed, but you must cite your collaborators in the submission, and the submission must be your own work.
29+
</p>
30+
<p>
31+
Extensions are allowed, but you must request an extension in advance via email to the instructor (<a href="mailto:ziyang@cs.jhu.edu">ziyang@cs.jhu.edu</a>).
32+
The maximum extension is 2 days.
33+
No extensions will be granted for late submissions.
34+
</p>
35+
<p>
36+
Each enrolled and auditing student is granted an API key for a large language model for the assignments.
37+
You can use the API key to access the language model in your assignments;
38+
the code that setup the client is provided in the assignment skeleton code (Assignment 2 and Assignment 3).
39+
</p>
2440
<ul class="assignments">
25-
<li><a href="assignment1.html"><strong>Assignment 1:</strong> Traditional program synthesis</a> <em>(Due: TBD)</em></li>
41+
<li><a href="assignment1.html"><strong>Assignment 1:</strong> Enumerative program synthesis</a> <em>(Due: TBD)</em></li>
2642
<li><a href="assignment2.html"><strong>Assignment 2:</strong> Evaluating LLMs on program synthesis</a> <em>(Due: TBD)</em></li>
2743
<li><a href="assignment3.html"><strong>Assignment 3:</strong> Iterative program synthesis</a> <em>(Due: TBD)</em></li>
2844
</ul>
2945
</section>
3046
</main>
3147
</body>
32-
</html>
48+
</html>

‎css/styles.css‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
body { background: #f8f9fa; }
2-
header { background: #003366; color: #fff; padding: 1.5rem 0; text-align: center; }
2+
header { background: #003366; color: #fff; padding: 3.5rem 0; text-align: center; }
33
nav { background: #00509e; padding: 0.5rem 0; text-align: center; }
44
nav a { color: #fff; margin: 0 1.5rem; text-decoration: none; font-weight: bold; }
55
nav a:hover { text-decoration: underline; }

‎index.html‎

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ <h2>Course Information</h2>
2424
<li><strong>Course Number:</strong> EN.601.727</li>
2525
<li><strong>Credits:</strong> 3</li>
2626
<li><strong>Instructor:</strong> Ziyang Li</li>
27-
<li><strong>Email:</strong> ziyang@cs.jhu.edu</li>
27+
<li><strong>Email:</strong> <a href="mailto:ziyang@cs.jhu.edu">ziyang@cs.jhu.edu</a></li>
2828
<li><strong>Time:</strong> Tuesday and Thursday 12:00pm - 1:15pm</li>
2929
<li><strong>Location:</strong> TBD</li>
3030
<li><strong>Office Hours:</strong> TBD</li>
@@ -64,6 +64,13 @@ <h2>Grading Rubrics</h2>
6464
</section>
6565
<section id="calendar">
6666
<h2>Course Calendar</h2>
67+
<div class="mb-3">
68+
<h4>Add to Calendar</h4>
69+
<p>Add the course schedule to your calendar:</p>
70+
<a href="https://calendar.google.com/calendar/render?action=TEMPLATE&text=EN.601.727%20Machine%20Programming&dates=20250826T160000Z/20250826T171500Z&recur=RRULE:FREQ=WEEKLY;BYDAY=TU,TH;UNTIL=20251204T171500Z&location=TBD&details=Instructor:%20Ziyang%20Li%0AEmail:%20ziyang@cs.jhu.edu%0ACourse%20Number:%20EN.601.727%0ACredits:%203" class="btn btn-primary me-2" target="_blank">Google Calendar</a>
71+
<a href="https://outlook.live.com/calendar/0/deeplink/compose?subject=EN.601.727%20Machine%20Programming&startdt=2025-08-26T12:00:00&enddt=2025-08-26T13:15:00&recurrence=FREQ=WEEKLY;BYDAY=TU,TH;UNTIL=2025-12-04T13:15:00&location=TBD&body=Instructor:%20Ziyang%20Li%0AEmail:%20ziyang@cs.jhu.edu%0ACourse%20Number:%20EN.601.727%0ACredits:%203" class="btn btn-outline-primary me-2" target="_blank">Outlook</a>
72+
<a href="data:text/calendar;charset=utf8,BEGIN:VCALENDAR%0AVERSION:2.0%0ABEGIN:VEVENT%0ADTSTART:20250826T160000Z%0ADTEND:20250826T171500Z%0ASUMMARY:EN.601.727 Machine Programming%0ALOCATION:TBD%0ADESCRIPTION:Instructor: Ziyang Li\nEmail: ziyang@cs.jhu.edu\nCourse Number: EN.601.727\nCredits: 3%0ARRULE:FREQ=WEEKLY;BYDAY=TU,TH;UNTIL=20251204T171500Z%0AEND:VEVENT%0AEND:VCALENDAR" download="machine_programming_schedule.ics" class="btn btn-outline-secondary">Download .ics</a>
73+
</div>
6774
<table class="calendar">
6875
<tr>
6976
<th>Week</th>

‎snippets/banner/snippet.c‎

Whitespace-only changes.

‎snippets/banner/snippet.jsx‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
export default () => (
2+
<React.Suspense fallback={(<div>Loading...</div>)}>
3+
<RemoteButton />
4+
</React.Suspense>
5+
);

‎snippets/banner/snippet.lean‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
open Complex
2+
3+
theorem conj_mul_self (z : ℂ) :
4+
z * conj z = ⟨z.re^2 + z.im^2, 0⟩ := by
5+
simp [mul_conj, re, im]

‎snippets/banner/snippet.lisp‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
(:action move
2+
:parameters (?r ?from ?to)
3+
:precondition (and (robot ?r) (at ?r ?from) (connected ?from ?to))
4+
:effect (and (not (at ?r ?from)) (at ?r ?to)))

0 commit comments

Comments
 (0)