From d27925769c35d8f45a375d6259a94c3146b73634 Mon Sep 17 00:00:00 2001 From: stuebinm Date: Thu, 2 Jun 2022 18:30:07 +0200 Subject: a couple more blogs --- home/newsboat-public.nix | 3 +++ 1 file changed, 3 insertions(+) (limited to 'home') 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") -- cgit v1.2.3