Skip to content

Commit

Permalink
Update docs
Browse files Browse the repository at this point in the history
  • Loading branch information
@actions-user
actions-user committed May 16, 2024
1 parent a6bc09b commit 3dd6eb2
Show file tree
Hide file tree
Showing 28 changed files with 642 additions and 20 deletions.
2 changes: 1 addition & 1 deletion about/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@

gtag('config', 'G-FL71WXK73K');
</script>
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <div class="row-fluid">
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/ru/posts/">Blog (RU)</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <div class="row-fluid">
<h1 class="page-header">Who we are</h1>
<p class="date-posted"> Written on 2018-11-26 </p> <p>We are a group of Lisp hackers. Our goal is to extend Common Lisp's ecosystem
and to solve realworld problems using the most powerful programming language.</p>
Expand Down
2 changes: 1 addition & 1 deletion index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@

gtag('config', 'G-FL71WXK73K');
</script>
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <div class="row-fluid">
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/ru/posts/">Blog (RU)</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <div class="row-fluid">
<h1 class="page-header">40Ants – holistic IT agency</h1>
<p class="date-posted"> Written on 2024-04-29 </p> <p>🐜 40Ants is a holistic IT agency. We believe that everything is connected,
there are no unimportant details or random coincidences. Posts about our
Expand Down
4 changes: 2 additions & 2 deletions posts/atom.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 xlmns="http://www.w3.org/2005/Atom"><title type="text">40Ants</title><id>https://40ants.com/</id><updated>2024-05-13T10:19:41.628287Z</updated><link>https://40ants.com/</link><subtitle type="text">40Ants</subtitle><entry><title type="text">Pushing your pulls faster!</title><id>https://40ants.com/posts/push-your-pulls/</id><updated>2024-05-13T10:19:41.611012Z</updated><link>https://40ants.com/posts/push-your-pulls/</link><summary type="text">&lt;p&gt;Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.&lt;/p&gt;
<?xml version="1.0" encoding="UTF-8"?><feed xlmns="http://www.w3.org/2005/Atom"><title type="text">40Ants</title><id>https://40ants.com/</id><updated>2024-05-16T14:13:48.885276Z</updated><link>https://40ants.com/</link><subtitle type="text">40Ants</subtitle><entry><title type="text">Pushing your pulls faster!</title><id>https://40ants.com/posts/push-your-pulls/</id><updated>2024-05-16T14:13:48.868842Z</updated><link>https://40ants.com/posts/push-your-pulls/</link><summary type="text">&lt;p&gt;Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.&lt;/p&gt;

&lt;p&gt;I believe that tickets and pulls creators create them to improve their open source projects of interest. In order to do that, tickets must become pulls. The pulls in turn should merge in a timely manner. The faster this process will be, the quicker open source projects will be developed.&lt;/p&gt;
</summary><content type="text">&lt;p&gt;Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.&lt;/p&gt;
Expand Down Expand Up @@ -27,7 +27,7 @@ It helped to halve overflow consisting of 103 pulls and tickets. I closed some o
If you want to be one of its early adopters, please, provide your email address. To do this, fill in a form on http://12forks.com site.&lt;/p&gt;

&lt;p&gt;Any concepts to be realized in this product? Speak up. You're more than welcome. Put them down in your comments to the post. Or send them to [email protected].&lt;/p&gt;
</content></entry><entry><title type="text">Second version of Ultralisp.org is available now!</title><id>https://40ants.com/posts/ultralisp/</id><updated>2024-05-13T10:19:41.625718Z</updated><link>https://40ants.com/posts/ultralisp/</link><summary type="text">&lt;p&gt;I believe, that software should evolve and evolve quickly.
</content></entry><entry><title type="text">Second version of Ultralisp.org is available now!</title><id>https://40ants.com/posts/ultralisp/</id><updated>2024-05-16T14:13:48.882821Z</updated><link>https://40ants.com/posts/ultralisp/</link><summary type="text">&lt;p&gt;I believe, that software should evolve and evolve quickly.
One of the reasons why Common Lisp seems strange to newcomers is its
ecosystem. It takes a long time to add a new library and make it useful
to other common lispers.&lt;/p&gt;
Expand Down
2 changes: 1 addition & 1 deletion posts/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@

gtag('config', 'G-FL71WXK73K');
</script>
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <h1 class="page-header">Page 1</h1> <div class="row-fluid"> <h1><a href="/posts/push-your-pulls/">Pushing your pulls faster!</a></h1> <p class="date-posted">posted on 2019-04-30</p> <p>Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.</p>
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/ru/posts/">Blog (RU)</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <h1 class="page-header">Page 1</h1> <div class="row-fluid"> <h1><a href="/posts/push-your-pulls/">Pushing your pulls faster!</a></h1> <p class="date-posted">posted on 2019-04-30</p> <p>Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.</p>

<p>I believe that tickets and pulls creators create them to improve their open source projects of interest. In order to do that, tickets must become pulls. The pulls in turn should merge in a timely manner. The faster this process will be, the quicker open source projects will be developed.</p>
<p><a href="/posts/push-your-pulls/">Read more...</a></p> </div><div class="row-fluid"> <h1><a href="/posts/ultralisp/">Second version of Ultralisp.org is available now!</a></h1> <p class="date-posted">posted on 2019-02-03</p> <p>I believe, that software should evolve and evolve quickly.
Expand Down
2 changes: 1 addition & 1 deletion posts/push-your-pulls/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@

gtag('config', 'G-FL71WXK73K');
</script>
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <div class="row-fluid">
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/ru/posts/">Blog (RU)</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <div class="row-fluid">
<h1 class="page-header">Pushing your pulls faster!</h1>
<p> Tagged as <a href="/tag/github/">github</a>, <a href="/tag/startup/">startup</a>, <a href="/tag/idea/">idea</a> </p> <p class="date-posted"> Written on 2019-04-30 </p> <p>Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.</p>

Expand Down
6 changes: 3 additions & 3 deletions posts/rss.xml
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?><rss version="2.0" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>40Ants</title><link>https://40ants.com/</link><description>40Ants</description><guid isPermaLink="false">https://40ants.com/</guid><lastBuildDate>Mon, 13 May 2024 10:19:41 +0000</lastBuildDate><item><title>Pushing your pulls faster!</title><link>https://40ants.com/posts/push-your-pulls/</link><description>&lt;p&gt;Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.&lt;/p&gt;
<?xml version="1.0" encoding="UTF-8"?><rss version="2.0" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><title>40Ants</title><link>https://40ants.com/</link><description>40Ants</description><guid isPermaLink="false">https://40ants.com/</guid><lastBuildDate>Thu, 16 May 2024 14:13:48 +0000</lastBuildDate><item><title>Pushing your pulls faster!</title><link>https://40ants.com/posts/push-your-pulls/</link><description>&lt;p&gt;Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.&lt;/p&gt;

&lt;p&gt;I believe that tickets and pulls creators create them to improve their open source projects of interest. In order to do that, tickets must become pulls. The pulls in turn should merge in a timely manner. The faster this process will be, the quicker open source projects will be developed.&lt;/p&gt;
</description><guid isPermaLink="false">https://40ants.com/posts/push-your-pulls/</guid><lastBuildDate>Mon, 13 May 2024 10:19:41 +0000</lastBuildDate><content:encoded>&lt;p&gt;Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.&lt;/p&gt;
</description><guid isPermaLink="false">https://40ants.com/posts/push-your-pulls/</guid><lastBuildDate>Thu, 16 May 2024 14:13:48 +0000</lastBuildDate><content:encoded>&lt;p&gt;Today I’m going to share an idea I’ve been nurturing for a long time, my friends. It came into my mind many years ago. It’s core message has to do with development of a service, which would aggregate and conveniently display all communications related to your favorite GitHub projects. This service will be very helpful for users having many own GitHub projects. It’ll also help GitHub users with numerous pulls and tickets for third party projects.&lt;/p&gt;

&lt;p&gt;I believe that tickets and pulls creators create them to improve their open source projects of interest. In order to do that, tickets must become pulls. The pulls in turn should merge in a timely manner. The faster this process will be, the quicker open source projects will be developed.&lt;/p&gt;

Expand Down Expand Up @@ -34,7 +34,7 @@ to other common lispers.&lt;/p&gt;

&lt;p&gt;Just pretend that you've made a brand new library and want to show it to
the world. Now you have two options.&lt;/p&gt;
</description><guid isPermaLink="false">https://40ants.com/posts/ultralisp/</guid><lastBuildDate>Mon, 13 May 2024 10:19:41 +0000</lastBuildDate><content:encoded>&lt;p&gt;I believe, that software should evolve and evolve quickly.
</description><guid isPermaLink="false">https://40ants.com/posts/ultralisp/</guid><lastBuildDate>Thu, 16 May 2024 14:13:48 +0000</lastBuildDate><content:encoded>&lt;p&gt;I believe, that software should evolve and evolve quickly.
One of the reasons why Common Lisp seems strange to newcomers is its
ecosystem. It takes a long time to add a new library and make it useful
to other common lispers.&lt;/p&gt;
Expand Down
2 changes: 1 addition & 1 deletion posts/ultralisp/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@

gtag('config', 'G-FL71WXK73K');
</script>
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <div class="row-fluid">
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/ru/posts/">Blog (RU)</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <div class="row-fluid">
<h1 class="page-header">Second version of Ultralisp.org is available now!</h1>
<p> Tagged as <a href="/tag/release/">release</a> </p> <p class="date-posted"> Written on 2019-02-03 </p> <p>I believe, that software should evolve and evolve quickly.
One of the reasons why Common Lisp seems strange to newcomers is its
Expand Down
2 changes: 1 addition & 1 deletion projects/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@

gtag('config', 'G-FL71WXK73K');
</script>
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <div class="row-fluid">
</head> <body> <div class="container-fluid"> <div class="row-fluid"> <div class="offset2 span8"> <div class="row-fluid"> <div class="navbar"> <div class="navbar-inner"> <a class="brand" href="/"> <img class="logo" src="/img/logo.svg" title="40Ants" /> </a> <ul class="nav"> <li> <a href="/posts/">Blog</a> </li><li> <a href="/ru/posts/">Blog (RU)</a> </li><li> <a href="/tips/">Lisp Tips</a> </li><li> <a href="/projects/">Our Projects</a> </li><li> <a href="/about/">About</a> </li> </ul> </div> </div> </div> <div class="row-fluid"> <div class="row-fluid">
<h1 class="page-header">Our projects</h1>
<p class="date-posted"> Written on 2021-01-21 </p> <p>Here are some projects we are making or helping to develop.
<h2>Software</h2>
Expand Down
Loading

0 comments on commit 3dd6eb2

Please sign in to comment.