summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2022-06-02 18:30:07 +0200
committerstuebinm2022-06-02 18:30:07 +0200
commitd27925769c35d8f45a375d6259a94c3146b73634 (patch)
tree4fa6bf9abc8637879b5ca4dfce006b59822c1065
parent343f4d78f726a2c3f627333cfe71d74a8418e2f3 (diff)
a couple more blogs
-rw-r--r--home/newsboat-public.nix3
1 files changed, 3 insertions, 0 deletions
diff --git a/home/newsboat-public.nix b/home/newsboat-public.nix
index ae485b5..fc51b45 100644
--- a/home/newsboat-public.nix
+++ b/home/newsboat-public.nix
@@ -99,6 +99,9 @@ with import ./newsboat-lib.nix;
(btag "https://thma.github.io/atom.xml" "comp")
(btag "https://tech.freckle.com/feed" "comp")
(btag "https://typesanitizer.com/blog/rss.xml" "comp")
+ (btag "https://grossack.site/feed.xml" "math")
+ (btag "https://model-checking.github.io/kani-verifier-blog/feed.xml" "comp")
+ (btag "https://jesper.sikanda.be/rss.xml" "math")
# paper
(btag "http://arxiv.org/rss/cs.PL" "paper")