updates ahead of OOPSLA 2024, removed incubating ideas section

index.html

@@ -318,17 +318,27 @@ <h2>Hazel</h2>
       <div class="card" id="news">
         <h2>News and Publications</h2>
         <div class="news-list">
+          <div class="date">Jan 2025</div>
+          <div class="news-text"><a href="https://conf.researchr.org/home/POPL-2025">POPL 2025</a> conditionally accepted <a>Grove: A Bidirectionally Typed Structure Editor Calculus</a> describing our work on reworking the foundations of collaborative editing around commutative edit actions.</div>
+          <div class="date">Oct 2024</div>
+          <div class="news-text"><a href="https://2024.splashcon.org/track/splash-2024-oopsla">OOPSLA 2024</a> published <a href="./papers/chatlsp-oopsla2024.pdf.pdf">Statically Contextualizing Large Language Models with Typed Holes</a> describing our work on combining language servers with large language models to dramatically improve AI code completion performance.</div>
           <div class="date">Oct 2024</div>
           <div class="news-text"><a href="https://2024.splashcon.org/home/hatra-2024">HATRA 2024</a> accepted <a href="./papers/learner_centered_proofs_hatra_2024.pdf"> Learner-Centered Design Criteria for Classroom Proof Assistants
           </a> describing our goals for using Hazel for teaching and learning proof.</div>
+          <div class="date">Oct 2024</div>
+          <div class="news-text"><a href="https://2024.splashcon.org/home/hatra-2024">HATRA 2024</a> will start with a keynote by Cyrus on <a href="https://2024.splashcon.org/details/hatra-2024-papers/7/Research-Methods-for-Designing-Next-Generation-Programming-Systems">Research Methods for Designing Next-Generation Programming Systems</a>.</div>
+          <div class="date">Sep 2024</div>
+          <div class="news-text"><a href="https://www.nsf.gov/">NSF</a> awarded Cyrus and Jean-Baptiste Jeannin a grant 
+          on <a href="https://www.nsf.gov/awardsearch/showAward?AWD_ID=2422028&HistoricalAwards=false">Customizing a Classroom Proof Assistant for Mathematical Computing and Engineering Courses</a>.
+        This will focus on turning Hazel into a classroom proof assistant.</div>
           <div class="date">Jan 2024</div>
-          <div class="news-text"><a href="https://popl24.sigplan.org/">POPL 2024</a> accepted <a href="./papers/marking-popl24.pdf">Total Type Error Localization and Recovery with Holes</a>
+          <div class="news-text"><a href="https://popl24.sigplan.org/">POPL 2024</a> published <a href="./papers/marking-popl24.pdf">Total Type Error Localization and Recovery with Holes</a>
             describing a principled approach to localizing errors in ill-typed programs. This paper was awarded a <span class="award">Distinguished Paper Award</span>!</div>
           <div class="date">Jan 2024</div>
           <div class="news-text"><a href="https://popl24.sigplan.org/home/propl-2024">PROPL 2024</a> accepted <a href="./papers/propl24.pdf">Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine</a>
             describing our vision for tooling for the future of large-scale computational climate science.</div>  
           <div class="date">Jan 2024</div>
-          <div class="news-text"><a href="https://trendsfp.github.io/index.html">TFP 2024</a> accepted <a href="./papers/polymorphism-tfp24.pdf">Polymorphism with Typed Holes</a>, a draft paper 
+          <div class="news-text"><a href="https://trendsfp.github.io/index.html">TFP 2024</a> accepted <a href="./papers/polymorphism-tfp24.pdf">Polymorphism with Typed Holes</a>, a paper 
             describing our approach to explicitly implicit polymorphism in Hazel.</div>    
           <div class="date">Oct 2023</div>
           <div class="news-text"><a href="https://2023.splashcon.org/">OOPSLA 2023</a> published <a
@@ -413,49 +423,6 @@ <h2>News and Publications</h2>
         </div>
       </div>
 
-      <div class="card">
-        <h2>Incubating Ideas</h2>
-        <p>We have a number of ideas incubating &mdash; if you're interested in any of these, definitely get in touch.
-          We would also love to hear about other ideas you might have.</p>
-        <div class="ideas">
-          <div class="idea">
-            <h4>
-              Linearly Editing Typed Trees
-            </h4>
-            <p>We are working on a <a
-                href="https://github.com/hazelgrove/editor-tyde19/blob/master/editor-tyde19.pdf">keyboard-driven editing
-                experience</a> that builds on your intuitions from text editing and that supports complex code
-              restructuring patterns. We are doing user studies.</p>
-          </div>
-          <div class="idea">
-            <h4>Collaborative Structure Editing with CRDTs</h4>
-            <p>We are thinking about how to specify an edit action semantics that obeys the invariants necessary to make
-              a Hazelnut program a <a
-                href="http://christophermeiklejohn.com/crdt/2014/07/22/readings-in-crdts.html">convergent replicated
-                data type (CRDT)</a>.</p>
-          </div>
-          <div class="idea">
-            <h4>
-              Authoring with Livelits
-            </h4>
-            <p>We are working on integrating document authoring with programming via livelits: document editing is
-              programming, too.</p>
-          </div>
-          <div class="idea">
-            <h4>Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies</h4>
-            <p>We are planning to use Hazel to teach introductory functional programming. We are developing a number of
-              mechanisms to support this,
-              including <a href="hazeltutor-hatra2020.pdf">a type-driven cursor inspector and strategy guide</a>.
-            </p>
-          </div>
-          <div class="idea">
-            <h4>Other Applications</h4>
-            <p>As Hazel evolves, we plan to use Hazel to support data analysis (think a next-generation <a
-                href="http://jupyter.org/">Jupyter</a>). One day, we hope that Hazel will be the foundation for a new
-              kind of computational wiki.</p>
-          </div>
-        </div>
-      </div>
     </div>
     <div class="right-col">
       <div class="card" id="try-it">