Skip to content

Commit

Permalink
Deploying to gh-pages from @ 4175714 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@THinnerichs
THinnerichs committed Jul 2, 2024
1 parent 7daf761 commit b3dd033
Show file tree
Hide file tree
Showing 4 changed files with 40 additions and 6 deletions.
40 changes: 37 additions & 3 deletions assets/jupyter/blog.ipynb.html
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion feed.xml
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en"><generator uri="https://jekyllrb.com/" version="4.3.2">Jekyll</generator><link href="https://herb-ai.github.io/feed.xml" rel="self" type="application/atom+xml"/><link href="https://herb-ai.github.io/" rel="alternate" type="text/html" hreflang="en"/><updated>2023-10-29T10:30:36+00:00</updated><id>https://herb-ai.github.io/feed.xml</id><title type="html">blank</title><subtitle>A program synthesis library written in Julia </subtitle><entry><title type="html">a post with jupyter notebook</title><link href="https://herb-ai.github.io/blog/2023/jupyter-notebook/" rel="alternate" type="text/html" title="a post with jupyter notebook"/><published>2023-07-04T12:57:00+00:00</published><updated>2023-07-04T12:57:00+00:00</updated><id>https://herb-ai.github.io/blog/2023/jupyter-notebook</id><content type="html" xml:base="https://herb-ai.github.io/blog/2023/jupyter-notebook/"><![CDATA[<p>To include a jupyter notebook in a post, you can use the following code:</p> <div class="language-html highlighter-rouge"><div class="highlight"><pre class="highlight"><code>{::nomarkdown}
<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en"><generator uri="https://jekyllrb.com/" version="4.3.3">Jekyll</generator><link href="https://herb-ai.github.io/feed.xml" rel="self" type="application/atom+xml"/><link href="https://herb-ai.github.io/" rel="alternate" type="text/html" hreflang="en"/><updated>2024-07-02T14:19:50+00:00</updated><id>https://herb-ai.github.io/feed.xml</id><title type="html">blank</title><subtitle>A program synthesis library written in Julia </subtitle><entry><title type="html">a post with jupyter notebook</title><link href="https://herb-ai.github.io/blog/2023/jupyter-notebook/" rel="alternate" type="text/html" title="a post with jupyter notebook"/><published>2023-07-04T12:57:00+00:00</published><updated>2023-07-04T12:57:00+00:00</updated><id>https://herb-ai.github.io/blog/2023/jupyter-notebook</id><content type="html" xml:base="https://herb-ai.github.io/blog/2023/jupyter-notebook/"><![CDATA[<p>To include a jupyter notebook in a post, you can use the following code:</p> <div class="language-html highlighter-rouge"><div class="highlight"><pre class="highlight"><code>{::nomarkdown}
{% assign jupyter_path = "assets/jupyter/blog.ipynb" | relative_url %}
{% capture notebook_exists %}{% file_exists assets/jupyter/blog.ipynb %}{% endcapture %}
{% if notebook_exists == "true" %}
Expand Down
2 changes: 1 addition & 1 deletion index.html
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
<!DOCTYPE html> <html lang="en"> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <title> Herb.jl</title> <meta name="author" content=" Herb.jl"> <meta name="description" content="A program synthesis library written in Julia "> <meta name="keywords" content="academic-website, program-synthesis, neuro-symbolic, julia, automated-programming"> <link href="https://cdn.jsdelivr.net/npm/bootstrap@4.6.1/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha256-DF7Zhf293AJxJNTmh5zhoYYIMs2oXitRfBjY+9L//AY=" crossorigin="anonymous"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/mdbootstrap@4.20.0/css/mdb.min.css" integrity="sha256-jpjYvU3G3N6nrrBwXJoVEYI/0zw8htfFnhT9ljN3JJw=" crossorigin="anonymous"> <link defer rel="stylesheet" href="https://unpkg.com/bootstrap-table@1.21.4/dist/bootstrap-table.min.css"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@6.4.0/css/all.min.css" integrity="sha256-HtsXJanqjKTc8vVQjO4YMhiqFoXkfBsjBWcX91T1jr8=" crossorigin="anonymous"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/academicons@1.9.1/css/academicons.min.css" integrity="sha256-i1+4qU2G2860dGGIOJscdC30s9beBXjFfzjWLjBRsBg=" crossorigin="anonymous"> <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=Roboto:300,400,500,700|Roboto+Slab:100,300,400,500,700|Material+Icons"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/jwarby/jekyll-pygments-themes@master/github.css" media="" id="highlight_theme_light"> <link rel="shortcut icon" href="/assets/img/herb_logo.png"> <link rel="stylesheet" href="/assets/css/main.css?d41d8cd98f00b204e9800998ecf8427e"> <link rel="canonical" href="https://herb-ai.github.io/"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/jwarby/jekyll-pygments-themes@master/native.css" media="none" id="highlight_theme_dark"> <script src="/assets/js/theme.js?96d6b3e1c3604aca8b6134c7afdd5db6"></script> <script src="/assets/js/dark_mode.js?9b17307bb950ffa2e34be0227f53558f"></script> </head> <body class="fixed-top-nav "> <header> <nav id="navbar" class="navbar navbar-light navbar-expand-sm fixed-top"> <div class="container"> <button class="navbar-toggler collapsed ml-auto" type="button" data-toggle="collapse" data-target="#navbarNav" aria-controls="navbarNav" aria-expanded="false" aria-label="Toggle navigation"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar top-bar"></span> <span class="icon-bar middle-bar"></span> <span class="icon-bar bottom-bar"></span> </button> <div class="collapse navbar-collapse text-right" id="navbarNav"> <ul class="navbar-nav ml-auto flex-nowrap"> <li class="nav-item active"> <a class="nav-link" href="/">about<span class="sr-only">(current)</span></a> </li> <li class="nav-item "> <a class="nav-link" href="/blog/">blog</a> </li> <li class="nav-item "> <a class="nav-link" href="/publications/">publications</a> </li> <li class="nav-item "> <a class="nav-link" href="/projects/">projects</a> </li> <li class="nav-item "> <a class="nav-link" href="/repositories/">repositories</a> </li> <li class="nav-item "> <a class="nav-link" href="/Herb.jl/">docs</a> </li> <li class="nav-item dropdown "> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">submenus</a> <div class="dropdown-menu dropdown-menu-right" aria-labelledby="navbarDropdown"> <a class="dropdown-item" href="/publications/">publications</a> <div class="dropdown-divider"></div> <a class="dropdown-item" href="/projects/">projects</a> </div> </li> <li class="toggle-container"> <button id="light-toggle" title="Change theme"> <i class="fas fa-moon"></i> <i class="fas fa-sun"></i> </button> </li> </ul> </div> </div> </nav> <progress id="progress" value="0"> <div class="progress-container"> <span class="progress-bar"></span> </div> </progress> </header> <div class="container mt-5"> <div class="post"> <article> <div class="intro"> Welcome to </div> <div class="profile float-center"> <figure> <picture> <source class="responsive-img-srcset" media="(max-width: 480px)" srcset="/assets/img/herb_blue_white_background-480.webp"></source> <source class="responsive-img-srcset" media="(max-width: 800px)" srcset="/assets/img/herb_blue_white_background-800.webp"></source> <source class="responsive-img-srcset" media="(max-width: 1400px)" srcset="/assets/img/herb_blue_white_background-1400.webp"></source> <img src="/assets/img/herb_blue_white_background.png?bf3c3561963b04201f0683b193046f3d" class="img-fluid z-depth-1 rounded" width="auto" height="auto" alt="herb_blue_white_background.png" onerror="this.onerror=null; $('.responsive-img-srcset').remove();"> </picture> </figure> <div class="address"> </div> </div> <div class="tagline">A program synthesis library written in Julia</div> </article> <article> <div class="clearfix"> <p> </p> <p><a href="https://github.com/Herb-AI/Herb.jl/actions/workflows/CI.yml?query=branch%3Amaster" rel="external nofollow noopener" target="_blank"><img src="https://github.com/Herb-AI/Herb.jl/actions/workflows/CI.yml/badge.svg?branch=master" alt="Build Status"></a> <a href="https://Herb-AI.github.io/Herb.jl/dev"><img src="https://img.shields.io/badge/docs-latest-blue.svg" alt="Dev-Docs"></a></p> <p>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.</p> <p>Herb.jl will take care of this for you and helps you defining, solving and extending your program synthesis problems.</p> <p>Herb.jl provides…</p> <ul> <li>a unified and universal framework for program synthesis</li> <li>Herb.jl allows you to describe all sorts of program synthesis problems using context-free grammars</li> <li>a number of state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box</li> </ul> <p>Check out <a href="https://herb-ai.github.io/Herb.jl/dev/" rel="external nofollow noopener" target="_blank">our documentation</a> and <a href="https://github.com/Herb-AI/Herb.jl" rel="external nofollow noopener" target="_blank">the repository</a>.</p> <p> </p> </div> <h2><a href="/news/" style="color: inherit;">news</a></h2> <div class="news"> <div class="table-responsive"> <table class="table table-sm table-borderless"> <tr> <th scope="row">Oct 18, 2023</th> <td> The second iteration of our joint HerbHackathon will take place on 18./19.10.2023. </td> </tr> <tr> <th scope="row">Jun 30, 2023</th> <td> We succesfully conducted our first HerbHackathon. </td> </tr> </table> </div> </div> <h2><a href="/blog/" style="color: inherit;">latest posts</a></h2> <div class="news"> <div class="table-responsive"> <table class="table table-sm table-borderless"> <tr> <th scope="row">Jul 4, 2023</th> <td> <a class="news-title" href="/blog/2023/jupyter-notebook/">a post with jupyter notebook</a> </td> </tr> <tr> <th scope="row">Jul 15, 2015</th> <td> <a class="news-title" href="/blog/2015/code/">a post with code</a> </td> </tr> </table> </div> </div> <h2><a href="/publications/" style="color: inherit;">selected publications</a></h2> <div class="publications"> <h2 class="bibliography">2022</h2> <ol class="bibliography"><li> <div class="row"> <div class="col-sm-2 abbr"><abbr class="badge">ILP</abbr></div> <div id="cropper2022inductive" class="col-sm-8"> <div class="title">Inductive logic programming at 30: a new introduction</div> <div class="author"> Andrew Cropper, and Sebastijan Dumančić</div> <div class="periodical"> <em>Journal of Artificial Intelligence Research</em>, 2022 </div> <div class="periodical"> </div> <div class="links"> <a class="bibtex btn btn-sm z-depth-0" role="button">Bib</a> </div> <div class="badges"> <span class="altmetric-embed" data-hide-no-mentions="true" data-hide-less-than="15" data-badge-type="2" data-badge-popover="right"></span> <span class="__dimensions_badge_embed__" data-pmid="" data-hide-zero-citations="true" data-style="small_rectangle" data-legend="hover-right" style="margin-bottom: 3px;"></span> </div> <div class="bibtex hidden"> <figure class="highlight"><pre><code class="language-bibtex" data-lang="bibtex"><span class="nc">@article</span><span class="p">{</span><span class="nl">cropper2022inductive</span><span class="p">,</span>
<!DOCTYPE html> <html lang="en"> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <title> Herb.jl</title> <meta name="author" content=" Herb.jl"> <meta name="description" content="A program synthesis library written in Julia "> <meta name="keywords" content="academic-website, program-synthesis, neuro-symbolic, julia, automated-programming"> <link href="https://cdn.jsdelivr.net/npm/bootstrap@4.6.1/dist/css/bootstrap.min.css" rel="stylesheet" integrity="sha256-DF7Zhf293AJxJNTmh5zhoYYIMs2oXitRfBjY+9L//AY=" crossorigin="anonymous"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/mdbootstrap@4.20.0/css/mdb.min.css" integrity="sha256-jpjYvU3G3N6nrrBwXJoVEYI/0zw8htfFnhT9ljN3JJw=" crossorigin="anonymous"> <link defer rel="stylesheet" href="https://unpkg.com/bootstrap-table@1.21.4/dist/bootstrap-table.min.css"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@6.4.0/css/all.min.css" integrity="sha256-HtsXJanqjKTc8vVQjO4YMhiqFoXkfBsjBWcX91T1jr8=" crossorigin="anonymous"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/academicons@1.9.1/css/academicons.min.css" integrity="sha256-i1+4qU2G2860dGGIOJscdC30s9beBXjFfzjWLjBRsBg=" crossorigin="anonymous"> <link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=Roboto:300,400,500,700|Roboto+Slab:100,300,400,500,700|Material+Icons"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/jwarby/jekyll-pygments-themes@master/github.css" media="" id="highlight_theme_light"> <link rel="shortcut icon" href="/assets/img/herb_logo.png"> <link rel="stylesheet" href="/assets/css/main.css?d41d8cd98f00b204e9800998ecf8427e"> <link rel="canonical" href="https://herb-ai.github.io/"> <link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/jwarby/jekyll-pygments-themes@master/native.css" media="none" id="highlight_theme_dark"> <script src="/assets/js/theme.js?96d6b3e1c3604aca8b6134c7afdd5db6"></script> <script src="/assets/js/dark_mode.js?9b17307bb950ffa2e34be0227f53558f"></script> </head> <body class="fixed-top-nav "> <header> <nav id="navbar" class="navbar navbar-light navbar-expand-sm fixed-top"> <div class="container"> <button class="navbar-toggler collapsed ml-auto" type="button" data-toggle="collapse" data-target="#navbarNav" aria-controls="navbarNav" aria-expanded="false" aria-label="Toggle navigation"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar top-bar"></span> <span class="icon-bar middle-bar"></span> <span class="icon-bar bottom-bar"></span> </button> <div class="collapse navbar-collapse text-right" id="navbarNav"> <ul class="navbar-nav ml-auto flex-nowrap"> <li class="nav-item active"> <a class="nav-link" href="/">about<span class="sr-only">(current)</span></a> </li> <li class="nav-item "> <a class="nav-link" href="/blog/">blog</a> </li> <li class="nav-item "> <a class="nav-link" href="/publications/">publications</a> </li> <li class="nav-item "> <a class="nav-link" href="/projects/">projects</a> </li> <li class="nav-item "> <a class="nav-link" href="/repositories/">repositories</a> </li> <li class="nav-item "> <a class="nav-link" href="/Herb.jl/">docs</a> </li> <li class="nav-item dropdown "> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">submenus</a> <div class="dropdown-menu dropdown-menu-right" aria-labelledby="navbarDropdown"> <a class="dropdown-item" href="/publications/">publications</a> <div class="dropdown-divider"></div> <a class="dropdown-item" href="/projects/">projects</a> </div> </li> <li class="toggle-container"> <button id="light-toggle" title="Change theme"> <i class="fas fa-moon"></i> <i class="fas fa-sun"></i> </button> </li> </ul> </div> </div> </nav> <progress id="progress" value="0"> <div class="progress-container"> <span class="progress-bar"></span> </div> </progress> </header> <div class="container mt-5"> <div class="post"> <article> <div class="intro"> Welcome to </div> <div class="profile float-center"> <figure> <picture> <source class="responsive-img-srcset" media="(max-width: 480px)" srcset="/assets/img/herb_blue_white_background-480.webp"></source> <source class="responsive-img-srcset" media="(max-width: 800px)" srcset="/assets/img/herb_blue_white_background-800.webp"></source> <source class="responsive-img-srcset" media="(max-width: 1400px)" srcset="/assets/img/herb_blue_white_background-1400.webp"></source> <img src="/assets/img/herb_blue_white_background.png?bf3c3561963b04201f0683b193046f3d" class="img-fluid z-depth-1 rounded" width="auto" height="auto" alt="herb_blue_white_background.png" onerror="this.onerror=null; $('.responsive-img-srcset').remove();"> </picture> </figure> <div class="address"> </div> </div> <div class="tagline">A program synthesis library written in Julia</div> </article> <article> <div class="clearfix"> <p> </p> <p><a href="https://github.com/Herb-AI/Herb.jl/actions/workflows/CI.yml?query=branch%3Amaster" rel="external nofollow noopener" target="_blank"><img src="https://github.com/Herb-AI/Herb.jl/actions/workflows/CI.yml/badge.svg?branch=master" alt="Build Status"></a> <a href="https://Herb-AI.github.io/Herb.jl/dev"><img src="https://img.shields.io/badge/docs-latest-blue.svg" alt="Dev-Docs"></a></p> <p>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.</p> <p>Herb.jl will take care of this for you and helps you defining, solving and extending your program synthesis problems.</p> <p>Herb.jl provides…</p> <ul> <li>a unified and universal framework for program synthesis</li> <li>a fast notion to describe all sorts of program synthesis problems with different specifications and grammars</li> <li>a number of state-of-the-art benchmarks and solvers already implemented and usable out-of-the-box</li> </ul> <p>Check out <a href="https://herb-ai.github.io/Herb.jl/dev/" rel="external nofollow noopener" target="_blank">our documentation</a> and <a href="https://github.com/Herb-AI/Herb.jl" rel="external nofollow noopener" target="_blank">the repository</a>.</p> <p> </p> </div> <h2><a href="/news/" style="color: inherit;">news</a></h2> <div class="news"> <div class="table-responsive"> <table class="table table-sm table-borderless"> <tr> <th scope="row">Oct 18, 2023</th> <td> The second iteration of our joint HerbHackathon will take place on 18./19.10.2023. </td> </tr> <tr> <th scope="row">Jun 30, 2023</th> <td> We succesfully conducted our first HerbHackathon. </td> </tr> </table> </div> </div> <h2><a href="/blog/" style="color: inherit;">latest posts</a></h2> <div class="news"> <div class="table-responsive"> <table class="table table-sm table-borderless"> <tr> <th scope="row">Jul 4, 2023</th> <td> <a class="news-title" href="/blog/2023/jupyter-notebook/">a post with jupyter notebook</a> </td> </tr> <tr> <th scope="row">Jul 15, 2015</th> <td> <a class="news-title" href="/blog/2015/code/">a post with code</a> </td> </tr> </table> </div> </div> <h2><a href="/publications/" style="color: inherit;">selected publications</a></h2> <div class="publications"> <h2 class="bibliography">2022</h2> <ol class="bibliography"><li> <div class="row"> <div class="col-sm-2 abbr"><abbr class="badge">ILP</abbr></div> <div id="cropper2022inductive" class="col-sm-8"> <div class="title">Inductive logic programming at 30: a new introduction</div> <div class="author"> Andrew Cropper, and Sebastijan Dumančić</div> <div class="periodical"> <em>Journal of Artificial Intelligence Research</em>, 2022 </div> <div class="periodical"> </div> <div class="links"> <a class="bibtex btn btn-sm z-depth-0" role="button">Bib</a> </div> <div class="badges"> <span class="altmetric-embed" data-hide-no-mentions="true" data-hide-less-than="15" data-badge-type="2" data-badge-popover="right"></span> <span class="__dimensions_badge_embed__" data-pmid="" data-hide-zero-citations="true" data-style="small_rectangle" data-legend="hover-right" style="margin-bottom: 3px;"></span> </div> <div class="bibtex hidden"> <figure class="highlight"><pre><code class="language-bibtex" data-lang="bibtex"><span class="nc">@article</span><span class="p">{</span><span class="nl">cropper2022inductive</span><span class="p">,</span>
<span class="na">title</span> <span class="p">=</span> <span class="s">{Inductive logic programming at 30: a new introduction}</span><span class="p">,</span>
<span class="na">author</span> <span class="p">=</span> <span class="s">{Cropper, Andrew and Duman{\v{c}}i{\'c}, Sebastijan}</span><span class="p">,</span>
<span class="na">journal</span> <span class="p">=</span> <span class="s">{Journal of Artificial Intelligence Research}</span><span class="p">,</span>
Expand Down
Loading

0 comments on commit b3dd033

Please sign in to comment.