website update for juliacon

Herb-AI · Jul 3, 2024 · c5741e0 · c5741e0
1 parent ff04fc9
commit c5741e0
Show file tree

Hide file tree

Showing 14 changed files with 96 additions and 30 deletions.
diff --git a/README.md b/README.md
@@ -1,9 +1,37 @@
 # Welcome to the Herb-AI website repo
 
+Welcome to the website of Herb-AI.
+
 ## How to use:
 
+### Local setup using Docker (Recommended)
+Using Docker to install Jekyll and Ruby dependencies is the easiest way.
+
+You need to take the following steps to get the website up and running on your local machine:
+
+- First, install [docker](https://docs.docker.com/get-docker/) and [docker-compose](https://docs.docker.com/compose/install/).
+- Finally, run the following command that will pull the latest pre-built image from DockerHub and will run your website.
+
+```bash
+$ docker-compose up
+```
+
+### Making changes
+
 Simply push your changes to main branch, which will be automatically deployed to the `github-pages` branch.
 All pages can be found under `_pages`.
 To add a post, add your post under `_posts` by copying and editing the existing posts. 
 To add news, add a new file to `_news`.
 
+
+
+## Template
+
+This website uses the [al-folio](https://github.com/alshedivat/al-folio) theme: a simple, clean, and responsive [Jekyll](https://jekyllrb.com/) theme for academics. If you like the theme, give it a star!
+
+### License
+
+The theme is available as open source under the terms of the [MIT License](https://github.com/alshedivat/al-folio/blob/master/LICENSE).
+
+Originally, **al-folio** was based on the [\*folio theme](https://github.com/bogoli/-folio) (published by [Lia Bogoev](https://liabogoev.com) and under the MIT license).
+Since then, it got a full re-write of the styles and many additional cool features.
diff --git a/_config.yml b/_config.yml
@@ -122,7 +122,7 @@ bing_site_verification:  # out your bing-site-verification ID (Bing Webmaster)
 # -----------------------------------------------------------------------------
 
 blog_name: Herb-AI # blog_name will be displayed in your blog page
-blog_nav_title: blog # your blog must have a title for it to be displayed in the nav bar
+blog_nav_title: #blog # your blog must have a title for it to be displayed in the nav bar
 blog_description: A collection of posts, tutorials and talks about Herb.jl
 permalink: /blog/:year/:title/
 

diff --git a/_data/repositories.yml b/_data/repositories.yml
@@ -3,14 +3,14 @@ github_users:
 
 herb_packages:
   - Herb-AI/Herb.jl
+  - Herb-AI/HerbCore.jl
   - Herb-AI/HerbGrammar.jl
-  - Herb-AI/HerbData.jl
+  - Herb-AI/HerbSpecification.jl
   - Herb-AI/HerbSearch.jl
-  - Herb-AI/HerbConstraints.jl
-  - Herb-AI/HerbCore.jl
   - Herb-AI/HerbInterpret.jl
+  - Herb-AI/HerbConstraints.jl
 
 herb_projects:
+  - Herb-AI/Garden
   - Herb-AI/HerbBenchmarks.jl
-  - Herb-AI/HerbExamples.jl
 
diff --git a/_news/HerbHackathon_1.md b/_news/HerbHackathon_1.md
@@ -0,0 +1,8 @@
+---
+layout: post
+date: 2023-06-30
+inline: true
+related_posts: false
+---
+
+We successfully conducted our first HerbHackathon. This was mainly focused on improving the work flow and setting up our first guides.
diff --git a/_news/HerbHackathon_1_announcement.md b/_news/HerbHackathon_1_announcement.md
diff --git a/_news/HerbHackathon_2.md b/_news/HerbHackathon_2.md
@@ -0,0 +1,8 @@
+---
+layout: post
+date: 2023-10-18
+inline: true
+related_posts: false
+---
+
+The second iteration of our joint HerbHackathon took place over the past two days. We started adding benchmarks to be easily executed with Herb.jl.
diff --git a/_news/HerbHackathon_2_announcement.md b/_news/HerbHackathon_2_announcement.md
diff --git a/_news/HerbHackathon_3.md b/_news/HerbHackathon_3.md
@@ -0,0 +1,8 @@
+---
+layout: post
+date: 2024-01-19
+inline: true
+related_posts: false
+---
+
+We had our third HerbHackathon this week. This time we were able to fix some bugs, and we did a major refactor to focus more on context-free grammars. 
diff --git a/_news/HerbHackathon_4.md b/_news/HerbHackathon_4.md
@@ -0,0 +1,8 @@
+---
+layout: post
+date: 2024-04-05
+inline: true
+related_posts: false
+---
+
+Our fourth HerbHackathon is a fact. We worked on refactoring the code base to include HerbConstraints and set up the possibility of adding other constraint solvers. 
diff --git a/_news/HerbHackathon_5.md b/_news/HerbHackathon_5.md
@@ -0,0 +1,8 @@
+---
+layout: post
+date: 2024-07-05
+inline: true
+related_posts: false
+---
+
+A year since our first, we are now in our fifth HerbHackathon. With JuliaCon next week, we are getting Herb ready for the world to see, adding our new [Garden](https://github.com/Herb-AI/Garden) with Herb implementations of other synthesizers.
diff --git a/_news/JuliaCon.md b/_news/JuliaCon.md
@@ -0,0 +1,8 @@
+---
+layout: post
+date: 2024-07-09
+inline: true
+related_posts: false
+---
+
+We are presenting Herb.jl to JuliaCon 2024! Please visit our poster on Wednesday, July 10  (6:30pm For Loop = 3.2) or come to [our talk](https://pretalx.com/juliacon2024/talk/JDPTKN/) by Tilman Hinnerichs on Thursday, July 11, at 10:00 (Method = 1.5)!
diff --git a/_pages/about.md b/_pages/about.md
@@ -12,12 +12,12 @@ profile:
     <p>Office 4.East.220</p>
     <p>Van Mourik Broekmanweg 6</p>
     <p>2628 XE Delft</p>
-  lab: <a href='https://sebdumancic.github.io/'>PONY lab</a>, <a href='https://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/software-technology/algorithmics/'>Algorithmics Group</a>, TU Delft <br> Lovingly maintained by the <a href='https://github.com/orgs/Herb-AI/people'>core team</a> of volunteers.
+  lab: <a href='https://sebdumancic.github.io/'>PONY lab</a>, <a href='https://www.tudelft.nl/ewi/over-de-faculteit/afdelingen/software-technology/algorithmics/'>Algorithmics Group</a>, TU Delft <br> Lovingly maintained by the <a href='https://github.com/orgs/Herb-AI/people?query=role%3Aowner'>core team</a> of volunteers.
 
 
 #This is a project of the [Dumancic lab](https://sebdumancic.github.io/) within the [Algorithmics group]() at TU Delft.Lovingly maintained by the [core team](https://github.com/orgs/Herb-AI/people) of volunteers.
 news: true  # includes a list of news items
-latest_posts: true  # includes a list of the newest posts
+latest_posts: false  # includes a list of the newest posts
 selected_papers: true # includes a list of papers marked as "selected={true}"
 social: true  # includes social icons at the bottom of the page
 ---
@@ -28,16 +28,22 @@ social: true  # includes social icons at the bottom of the page
 [![Dev-Docs](https://img.shields.io/badge/docs-latest-blue.svg)](https://Herb-AI.github.io/Herb.jl/dev)
 
 
-When writing research software we almost always investigate highly specific properties or algorithms of our domain, leading to us building the tools from scratch over and over again. The very same holds for the field of program synthesis: Tools are hard to run, benchmarks are hard to get and prepare, and its hard to adapt our existing code to a novel idea.
+When writing research software we almost always investigate highly specific properties or algorithms of our domain, leading to us building the tools from scratch over and over again. The very same is true for the field of program synthesis: tools are hard to run, benchmarks are hard to get and prepare, and it is hard to adapt our existing code to a novel idea.
 
-Herb.jl will take care of this for you and helps you defining, solving and extending your program synthesis problems.
+Herb.jl will take care of this for you and help you to define, solve, and extend your program synthesis problems.
 
 Herb.jl provides...
 - a unified and universal framework for program synthesis
 - a fast notion to describe all sorts of program synthesis problems with different specifications and grammars
-- a number of state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box
+- many state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box
 
 Check out [our documentation](https://herb-ai.github.io/Herb.jl/dev/) and [the repository](https://github.com/Herb-AI/Herb.jl).
 
+### Try it out!
+
+For anyone new to program synthesis, we offer [tutorials](https://herb-ai.github.io/Herb.jl/dev/get_started/) to get you familiar with program synthesis within Herb.jl.
+
+To those of you already familiar with program synthesis, we invite you to check out our [Garden](https://github.com/Herb-AI/Garden) where we have implemented some well-known synthesizers within Herb.jl, so you can easily benchmark against them. 
+
 
 &nbsp;
diff --git a/_pages/dropdown.md b/_pages/dropdown.md
@@ -1,8 +1,8 @@
 ---
 layout: page
 title: submenus
-nav: true
-nav_order: 6
+nav: false
+nav_order: 
 dropdown: true
 children: 
     - title: publications

diff --git a/_pages/projects.md b/_pages/projects.md
@@ -3,8 +3,8 @@ layout: page
 title: projects
 permalink: /projects/
 description: A growing collection of your cool projects.
-nav: true
-nav_order: 2
+nav: false
+nav_order: 
 display_categories: [work, fun]
 horizontal: false
 ---