major changes · kaushikc.org/dot-emacs@630c549

+3

.gitmodules

··· 1 + [submodule "spacemacs-private/hie-nix"] 2 + path = spacemacs-private/hie-nix 3 + url = https://github.com/benkolera/spacemacs-hie-nix.git

+8 -183

spacemacs

··· 57 57 python 58 58 yaml 59 59 shell-scripts 60 + ;; lsp 60 61 (haskell :variables 61 62 haskell-completion-backend 'dante 62 63 haskell-enable-ghc-mod-support nil 63 64 haskell-enable-hindent t 64 - haskell-process-type 'ghci) 65 + haskell-process-type 'cabal-new-repl) 66 + 65 67 pandoc 66 68 (latex :variables 67 69 latex-build-command "LaTeX") 68 70 bibtex 69 71 octave 70 72 73 + (elfeed :variables 74 + rmh-elfeed-org-files (list "~/.local/share/spacemacs/private/elfeed-feedly.org")) 75 + 71 76 ;; all private layers 72 77 custom-lean 73 78 custom-super-save ··· 76 81 custom-config-org 77 82 custom-config-evil 78 83 custom-direnv 79 - 80 84 ) 81 85 ;; List of additional packages that will be installed without being 82 86 ;; wrapped in a layer. If you need some configuration for these ··· 462 466 configuration. 463 467 It is mostly for variables that should be set before packages are loaded. 464 468 If you are unsure, try setting them in `dotspacemacs/user-config' first." 465 - ;; (load "/Users/kaushik/Developer/src/personal/git-wip/emacs/git-wip.el") 469 + 466 470 (setq exec-path-from-shell-arguments '("-c")) 471 + 467 472 ) 468 473 469 474 (defun dotspacemacs/user-config () ··· 472 477 configuration. 473 478 Put your configuration code here, except for variables that should be set 474 479 before packages are loaded." 475 - (setq ispell-program-name "/run/current-system/sw/bin/aspell") 476 - 477 - ;; (when (configuration-layer/package-usedp 'haskell) 478 - ;; (add-hook 'haskell-interactive-mode-hook 479 - ;; (lambda () 480 - ;; (setq-local evil-move-cursor-back nil))) 481 - ;; (add-hook 'doc-view-mode-hook 'auto-revert-mode) 482 - ;; (add-hook 'dante-mode-hook 483 - ;; '(lambda () 484 - ;; (flycheck-add-next-checker 'haskell-dante 485 - ;; '(warning . haskell-hlint))))) 486 - 487 - ;; (spacemacs/set-leader-keys-for-major-mode 488 - ;; 'haskell-mode "M-." 'xref-find-definitions) 489 - 490 - ;; (require 'beeminder) 491 - 492 - (setq magit-repository-directories 493 - '(("~/Developer/src/personal" . 1) 494 - ("~/Developer/src/work" . 1))) 495 - 496 - ;; (direnv-mode) 497 - (global-company-mode) 498 - (global-set-key (kbd "S-SPC") 499 - #'company-complete) 500 - 501 - ;; (setq org-ref-pdf-directory '("/Users/kaushik/Documents/Papers Virtual Library/All Papers") 502 - ;; org-ref-default-bibliography 503 - ;; '("/Users/kaushik/Documents/Papers Virtual Library/All Papers/Ω Export/All Papers.bib") 504 - ;; org-ref-bibliography-notes 505 - ;; (concat org-directory "biblio-notes.org")) 506 - 507 - ;; Fira code 508 - ;; This works when using emacs --daemon + emacsclient 509 - ;; (add-hook 'after-make-frame-functions 510 - ;; (lambda (frame) 511 - ;; (set-fontset-font t 512 - ;; '(#Xe100 . #Xe16f) 513 - ;; "Fira Code Symbol"))) 514 - ;; This works when using emacs without server/client 515 - ;; (set-fontset-font t 516 - ;; '(#Xe100 . #Xe16f) 517 - ;; "Fira Code Symbol") 518 - ;; I haven't found one statement that makes both of the above situations work, so I use both for now 519 - ;; (defconst fira-code-font-lock-keywords-alist (mapcar (lambda (regex-char-pair) 520 - ;; `(,(car regex-char-pair) 521 - ;; (0 522 - ;; (prog1 () 523 - ;; (compose-region (match-beginning 1) 524 - ;; (match-end 1) 525 - ;; ;; The first argument to concat is a string containing a literal tab 526 - 527 - ;; ,(concat " " 528 - ;; (list (decode-char 'ucs 529 - ;; (cadr regex-char-pair))))))))) 530 - ;; '(("\$www\$" #Xe100) 531 - ;; ("[^/]\$\\*\\*\$[^/]" #Xe101) 532 - ;; ("\$\\*\\*\\*\$" #Xe102) 533 - ;; ("\$\\*\\*/\$" #Xe103) 534 - ;; ("\$\\*>\$" #Xe104) 535 - ;; ("[^*]\$\\*/\$" #Xe105) 536 - ;; ("\$\\\\\\\\\$" #Xe106) 537 - ;; ("\$\\\\\\\\\\\\\$" #Xe107) 538 - ;; ("\${-\$" #Xe108) 539 - ;; ;; ("\$\\[\\]\$" #Xe109) This is the [] ligature and I don't like 540 - ;; ("\$::\$" #Xe10a) 541 - ;; ("\$:::\$" #Xe10b) 542 - ;; ("[^=]\$:=\$" #Xe10c) 543 - ;; ("\$!!\$" #Xe10d) 544 - ;; ("\$!=\$" #Xe10e) 545 - ;; ("\$!==\$" #Xe10f) 546 - ;; ("\$-}\$" #Xe110) 547 - ;; ("\$--\$" #Xe111) 548 - ;; ("\$---\$" #Xe112) 549 - ;; ("\$-->\$" #Xe113) 550 - ;; ("[^-]\$->\$" #Xe114) 551 - ;; ("\$->>\$" #Xe115) 552 - ;; ("\$-<\$" #Xe116) 553 - ;; ("\$-<<\$" #Xe117) 554 - ;; ("\$-~\$" #Xe118) 555 - ;; ("\$#{\$" #Xe119) 556 - ;; ("\$#\\[\$" #Xe11a) 557 - ;; ("\$##\$" #Xe11b) 558 - ;; ("\$###\$" #Xe11c) 559 - ;; ("\$####\$" #Xe11d) 560 - ;; ("\$#(\$" #Xe11e) 561 - ;; ("\$#\\?\$" #Xe11f) 562 - ;; ("\$#_\$" #Xe120) 563 - ;; ("\$#_(\$" #Xe121) 564 - ;; ("\$\\.-\$" #Xe122) 565 - ;; ("\$\\.=\$" #Xe123) 566 - ;; ("\$\\.\\.\$" #Xe124) 567 - ;; ("\$\\.\\.<\$" #Xe125) 568 - ;; ("\$\\.\\.\\.\$" #Xe126) 569 - ;; ("\$\\?=\$" #Xe127) 570 - ;; ("\$\\?\\?\$" #Xe128) 571 - ;; ("\$;;\$" #Xe129) 572 - ;; ("\$/\\*\$" #Xe12a) 573 - ;; ("\$/\\*\\*\$" #Xe12b) 574 - ;; ("\$/=\$" #Xe12c) 575 - ;; ("\$/==\$" #Xe12d) 576 - ;; ("\$/>\$" #Xe12e) 577 - ;; ("\$//\$" #Xe12f) 578 - ;; ("\$///\$" #Xe130) 579 - ;; ("\$&&\$" #Xe131) 580 - ;; ("\$||\$" #Xe132) 581 - ;; ("\$||=\$" #Xe133) 582 - ;; ;("[^|]\$|=\$" #Xe134) 583 - ;; ("\$|>\$" #Xe135) 584 - ;; ("\$\\^=\$" #Xe136) 585 - ;; ("\$\\$>\$" #Xe137) 586 - ;; ("\$\\+\\+\$" #Xe138) 587 - ;; ("\$\\+\\+\\+\$" #Xe139) 588 - ;; ("\$\\+>\$" #Xe13a) 589 - ;; ("\$=:=\$" #Xe13b) 590 - ;; ;("[^!/]\$==\$[^>]" #Xe13c) 591 - ;; ("\$===\$" #Xe13d) 592 - ;; ("\$==>\$" #Xe13e) 593 - ;; ;("[^=]\$=>\$" #Xe13f) 594 - ;; ("\$=>>\$" #Xe140) 595 - ;; ("\$<=\$" #Xe141) 596 - ;; ("\$=<<\$" #Xe142) 597 - ;; ("\$=/=\$" #Xe143) 598 - ;; ("\$>-\$" #Xe144) 599 - ;; ("\$>=\$" #Xe145) 600 - ;; ("\$>=>\$" #Xe146) 601 - ;; ("[^-=]\$>>\$" #Xe147) 602 - ;; ("\$>>-\$" #Xe148) 603 - ;; ("\$>>=\$" #Xe149) 604 - ;; ("\$>>>\$" #Xe14a) 605 - ;; ("\$<\\*\$" #Xe14b) 606 - ;; ("\$<\\*>\$" #Xe14c) 607 - ;; ("\$<|\$" #Xe14d) 608 - ;; ("\$<|>\$" #Xe14e) 609 - ;; ("\$<\\$\$" #Xe14f) 610 - ;; ("\$<\\$>\$" #Xe150) 611 - ;; ("\$<!--\$" #Xe151) 612 - ;; ("\$<-\$" #Xe152) 613 - ;; ("\$<--\$" #Xe153) 614 - ;; ("\$<->\$" #Xe154) 615 - ;; ("\$<\\+\$" #Xe155) 616 - ;; ("\$<\\+>\$" #Xe156) 617 - ;; ("\$<=\$" #Xe157) 618 - ;; ("\$<==\$" #Xe158) 619 - ;; ("\$<=>\$" #Xe159) 620 - ;; ("\$<=<\$" #Xe15a) 621 - ;; ("\$<>\$" #Xe15b) 622 - ;; ("[^-=]\$<<\$" #Xe15c) 623 - ;; ("\$<<-\$" #Xe15d) 624 - ;; ("\$<<=\$" #Xe15e) 625 - ;; ("\$<<<\$" #Xe15f) 626 - ;; ("\$<~\$" #Xe160) 627 - ;; ("\$<~~\$" #Xe161) 628 - ;; ("\$</\$" #Xe162) 629 - ;; ("\$</>\$" #Xe163) 630 - ;; ("\$~@\$" #Xe164) 631 - ;; ("\$~-\$" #Xe165) 632 - ;; ("\$~=\$" #Xe166) 633 - ;; ("\$~>\$" #Xe167) 634 - ;; ("[^<]\$~~\$" #Xe168) 635 - ;; ("\$~~>\$" #Xe169) 636 - ;; ("\$%%\$" #Xe16a) 637 - ;; ;; ("\$x\$" #Xe16b) This ended up being hard to do properly so i'm leaving it out. 638 - ;; ("[^:=]\$:\$[^:=]" #Xe16c) 639 - ;; ("[^\\+<>]\$\\+\$[^\\+<>]" #Xe16d) 640 - ;; ("[^\\*/<>]\$\\*\$[^\\*/<>]" #Xe16f)))) 641 - ;; (defun add-fira-code-symbol-keywords () 642 - ;; (font-lock-add-keywords nil fira-code-font-lock-keywords-alist)) 643 - ;; (add-hook 'prog-mode-hook #'add-fira-code-symbol-keywords) 644 - 645 - ;; (defun export-yearly-agenda-as-ics () 646 - ;; (interactive) 647 - ;; (progn (org-agenda-list nil nil 'year) (org-agenda-write "/Users/kaushik/Dropbox/agenda.ics"))) 648 - ;; (autoload 'run-prolog "prolog" "Start a Prolog sub-process." t) 649 - ;; (autoload 'prolog-mode "prolog" "Major mode for editing Prolog programs." t) 650 - ;; (setq prolog-system 'swi) 651 - ;; (setq auto-mode-alist (append '(("\\.pl$" . prolog-mode) 652 - ;; ("\\.m$" . mercury-mode)) 653 - ;; auto-mode-alist)) 654 - 655 480 ) 656 481 657 482

+22

spacemacs-private/custom-config-evil/packages.el

··· 32 32 (defconst custom-config-evil-packages 33 33 '(evil 34 34 ;;rainbow-identifiers 35 + ispell 36 + company 37 + elfeed 35 38 ) 36 39 ) 37 40 38 41 (defun custom-config-evil/post-init-evil () 39 42 (setq evil-search-module 'evil-search) 43 + ) 44 + 45 + (defun custom-config-evil/post-init-ispell () 46 + (setq ispell-program-name "/run/current-system/sw/bin/aspell") 47 + ) 48 + 49 + (defun custom-config-evil/post-init-company () 50 + (global-company-mode) 51 + (global-set-key (kbd "S-SPC") 52 + #'company-complete) 53 + ) 54 + 55 + (defun custom-config-evil/post-init-elfeed () 56 + (spacemacs|define-custom-layout "@Feeds" 57 + :binding "f" 58 + :body 59 + (progn 60 + (elfeed) 61 + (elfeed-update))) 40 62 ) 41 63 42 64 (defun custom-config-evil/init-rainbow-identifiers ()

+12 -33

spacemacs-private/custom-haskell/packages.el

··· 30 30 ;;; Code: 31 31 32 32 (defconst custom-haskell-packages 33 - '() 34 - "The list of Lisp packages required by the custom-haskell layer. 35 - 36 - Each entry is either: 37 - 38 - 1. A symbol, which is interpreted as a package to be installed, or 39 - 40 - 2. A list of the form (PACKAGE KEYS...), where PACKAGE is the 41 - name of the package to be installed or loaded, and KEYS are 42 - any number of keyword-value-pairs. 43 - 44 - The following keys are accepted: 45 - 46 - - :excluded (t or nil): Prevent the package from being loaded 47 - if value is non-nil 48 - 49 - - :location: Specify a custom installation location. 50 - The following values are legal: 51 - 52 - - The symbol `elpa' (default) means PACKAGE will be 53 - installed using the Emacs package manager. 54 - 55 - - The symbol `local' directs Spacemacs to load the file at 56 - `./local/PACKAGE/PACKAGE.el' 57 - 58 - - A list beginning with the symbol `recipe' is a melpa 59 - recipe. See: https://github.com/milkypostman/melpa#recipe-format") 60 - 61 - 62 - ;;; packages.el ends here 63 - 64 - (defconst custom-haskell-packages 65 33 '(haskell 66 34 dante 67 - nix-sandbox)) 35 + nix-sandbox 36 + )) 68 37 69 38 (defun custom-haskell/post-init-haskell () 70 39 (add-hook 'haskell-mode-hook 'turn-on-haskell-indentation) ··· 82 51 (setq haskell-process-wrapper-function 83 52 (lambda (args) (apply 'nix-shell-command (nix-current-sandbox) args))) 84 53 ) 54 + 55 + ;; (defun custom-haskell/init-lsp-haskell () 56 + ;; (use-package lsp-haskell 57 + ;; :defer t) 58 + ;; ) 59 + 60 + ;; (defun custom-haskell/post-init-lsp-haskell () 61 + ;; (setq lsp-haskell-process-path-hie "hie-wrapper") 62 + ;; (add-hook 'haskell-mode-hook #'lsp) 63 + ;; )

+2 -2

spacemacs-private/custom-nix/packages.el

··· 54 54 (progn 55 55 ;; (find-file "~/Developer/src/personal/nix-config/darwin.nix") 56 56 ;; (find-file-other-window "~/Developer/src/personal/nixpkgs/pkgs/top-level/all-packages.nix"))) 57 - (find-file "~/src/nix-config/precision/home.nix") 58 - (find-file-other-window "~/src/nix-config/precision/default.nix"))) 57 + (find-file "~/src/ops/nix-config/precision/home.nix") 58 + (find-file-other-window "~/src/ops/nix-config/precision/default.nix"))) 59 59 ) 60 60 61 61 ;;; packages.el ends here

+210

spacemacs-private/elfeed-feedly.org

··· 1 + * Imported Feeds :elfeed: 2 + ** Fun Programming :fun_programming: 3 + *** [[http://degoes.net/feed.xml][John A De Goes]] 4 + *** [[http://siek.blogspot.com/feeds/posts/default][Jeremy Siek]] 5 + *** [[http://pigworker.wordpress.com/feed/][Conor McBride]] 6 + *** [[https://doisinkidney.com/rss.xml][Donnacha Oisín Kidney's Blog]] 7 + *** [[https://blog.janestreet.com/feed.xml][Jane Street Tech Blog]] 8 + *** [[http://existentialtype.wordpress.com/feed/][Robert Harper]] 9 + *** [[http://lambdamaphone.blogspot.com/feeds/posts/default?alt=rss][Chris Martens]] 10 + *** [[http://www.lihaoyi.com/feed.xml][Haoyi's Programming Blog]] 11 + *** [[http://math.andrej.com/feed/][Andrej Bauer]] 12 + *** [[https://joearms.github.io/feed.xml][Joe Armstrong - Erlang and other stuff]] 13 + *** [[http://www.jamesward.com/feed/][James Ward]] 14 + *** [[http://feeds.feedburner.com/JohnResig][John Resig]] 15 + *** [[http://requestforlogic.blogspot.com/feeds/posts/default?alt=rss][Rob Simmons]] 16 + *** [[http://sigfpe.blogspot.com/feeds/posts/default][Dan Piponi]] 17 + *** [[http://pchiusano.github.io/feed.xml][Paul Chiusano's blog]] 18 + *** [[http://bartoszmilewski.wordpress.com/feed/][ Bartosz Milewski's Programming Cafe]] 19 + *** [[http://matt.might.net/articles/feed.rss][Matt Might's blog]] 20 + *** [[http://wadler.blogspot.com/atom.xml][Wadler's Blog]] 21 + *** [[http://logic-forall.blogspot.com/feeds/posts/default?alt=rss][Valeria de Paiva]] 22 + *** [[http://fgiasson.com/blog/index.php/feed/][Frederick Giasson (Clojure)]] 23 + *** [[https://lexi-lambda.github.io/feeds/all.atom.xml][Alexis King's Blog: Alexis King's Blog]] 24 + *** [[http://foldmap.tumblr.com/rss][Lazily Succinct]] 25 + *** [[http://siek.blogspot.com/feeds/posts/default?alt=rss][Jeremy Siek]] 26 + *** [[http://gbracha.blogspot.com/feeds/posts/default][Room 101]] 27 + *** [[http://semantic-domain.blogspot.com/feeds/posts/default][Semantic Domain]] 28 + *** [[http://patternsinfp.wordpress.com/feed/][Jeremy Gibbons]] 29 + ** Research Blogs :research: 30 + *** [[http://hacks.mozilla.org/feed/][Mozilla Hacks – the Web developer blog]] 31 + *** [[https://webkit.org/feed/atom/][WebKit]] 32 + *** [[https://code.facebook.com/posts/rss][Facebook Engineering]] 33 + *** [[http://googleresearch.blogspot.com/atom.xml][Google AI Blog]] 34 + *** [[http://yahoohadoop.tumblr.com/rss][Hadoop at Yahoo]] 35 + *** [[http://nerds.airbnb.com/feed/][Airbnb Engineering & Data Science - Medium]] 36 + *** [[https://research.facebook.com/blog/rss][Blog – Facebook Research]] 37 + *** [[https://deepmind.com/blog/feed/basic/][DeepMind ]] 38 + *** [[http://distill.pub/rss.xml][Distill]] 39 + *** [[http://techblog.netflix.com/feeds/posts/default][Netflix TechBlog - Medium]] 40 + *** [[https://engineering.linkedin.com/blog.rss][LinkedIn Engineering]] 41 + ** Comics :comics: 42 + *** [[http://feed.dilbert.com/dilbert/daily_strip][Dilbert Daily Strip]] 43 + *** [[http://existentialcomics.com/rss.xml][Existential Comics]] 44 + *** [[http://xkcd.com/rss.xml][xkcd]] 45 + *** [[http://classicprogrammerpaintings.tumblr.com/rss][Classic Programmer Paintings]] 46 + *** [[http://what-if.xkcd.com/feed.atom][What If?]] 47 + ** Theory :theory: 48 + *** [[http://logicaltypes.blogspot.com/feeds/posts/default][Typed Logic]] 49 + *** [[http://blog.higher-order.com/atom.xml][Higher Order]] 50 + *** [[http://feeds.feedburner.com/theendeavour][John D. Cook]] 51 + *** [[http://www.mathmarauder.com/feed][Marauders of the Lost Sciences]] 52 + *** [[http://blog.acolyer.org/feed/][the morning paper]] 53 + *** [[http://jeremykun.com/feed/][Math ∩ Programming]] 54 + *** [[http://feeds.feedburner.com/catonmat][catonmat.net – less is more]] 55 + *** [[http://rjlipton.wordpress.com/feed][Gödel’s Lost Letter and P=NP]] 56 + *** [[http://www.wildml.com/feed/][WildML]] 57 + *** [[https://picturethismaths.wordpress.com/feed/][Picture this maths]] 58 + *** [[http://www.pl-enthusiast.net/feed/][The Programming Languages Enthusiast]] 59 + *** [[http://terrytao.wordpress.com/feed/][What's new]] 60 + *** [[http://lambda-the-ultimate.org/rss.xml][Lambda the Ultimate]] 61 + *** [[https://acm-fm-blog.blogspot.com/feeds/posts/default][ACM India Blogs on FM and Theory B]] 62 + *** [[http://egtheory.wordpress.com/feed/][Theory, Evolution, and Games Group]] 63 + *** [[http://programmingpraxis.com/feed/][Programming Praxis]] 64 + *** [[http://blog.computationalcomplexity.org/feeds/posts/default][Computational Complexity]] 65 + *** [[http://blog.regehr.org/feed][Embedded in Academia]] 66 + ** Art & Culture :art_culture: 67 + *** [[http://feedproxy.google.com/brainpickings/rss][Brain Pickings]] 68 + *** [[http://quillette.com/feed/][Quillette]] 69 + *** [[http://www.aldaily.com/feed/][Arts & Letters Daily]] 70 + *** [[http://feeds.feedburner.com/nybooks][The New York Review of Books]] 71 + ** Publications :publications: 72 + *** [[http://www.websemanticsjournal.org/index.php/ps/gateway/plugin/WebFeedGatewayPlugin/rss2][Web Semantics]] 73 + *** [[http://rss.acm.org/dl/J773.xml][ACM Transactions on Computational Logic (TOCL)]] 74 + *** [[http://aperiodical.com/feed/][The Aperiodical]] 75 + *** [[http://journals.cambridge.org/data/rss/feed_JFP_rss_2.0.xml][Journal of Functional Programming]] 76 + *** [[http://queue.acm.org/rss/feeds/queuecontent.xml][ACM Queue - All Queue Content]] 77 + *** [[http://rss.acm.org/dl/J401.xml][Journal of the ACM (JACM)]] 78 + *** [[http://queue.acm.org/rss/feeds/workflowsystems.xml][ACM Queue - Workflow Systems]] 79 + *** [[http://rss.acm.org/dl/J967.xml][ACM Journal on Emerging Technologies in Computing Systems (JETC)]] 80 + *** [[https://www.quantamagazine.org/category/computer-science-2/feed/][Computer Science – Quanta Magazine]] 81 + *** [[http://jods.mitpress.mit.edu/data/rss.xml][Journal of Design and Science]] 82 + *** [[https://www.quantamagazine.org/category/mathematics-2/feed/][Mathematics – Quanta Magazine]] 83 + ** Bloggers :bloggers: 84 + *** [[http://feeds.feedburner.com/StudyHacks][Blog – Cal Newport]] 85 + *** [[http://blog.empathybox.com/rss][Jay Kreps]] 86 + *** [[https://aphyr.com//posts.atom][Aphyr: Posts]] 87 + *** [[http://teh.id.au/posts/atom.xml][teh.id.au/posts]] 88 + *** [[http://martinfowler.com/bliki/bliki.atom][Martin Fowler]] 89 + *** [[http://feeds.feedburner.com/SoftwareIsHard][Software is hard]] 90 + *** [[http://bit-player.org/feed][bit-player]] 91 + *** [[http://www.aaronsw.com/2002/feeds/pgessays.rss][Paul Graham: Essays]] 92 + *** [[http://www.idlewords.com/index.xml][Idle Words]] 93 + *** [[http://manu.sporny.org/feed/][The Beautiful, Tormented Machine]] 94 + *** [[http://blogs.tedneward.com/SyndicationService.asmx/GetRss][Ted Neward's Blog]] 95 + *** [[http://feeds.pcmag.com/Rss.aspx/SectionArticles?sectionId=1500][John C Dvorak]] 96 + *** [[http://dtrace.org/blogs/ahl/feed/][Adam Leventhal's blog]] 97 + *** [[http://feeds.feedburner.com/JankoAtWarpSpeed][Janko Jovanovic]] 98 + *** [[http://www.joelonsoftware.com/rss.xml][Joel on Software]] 99 + *** [[https://slatestarcodex.com/feed/][Slate Star Codex]] 100 + *** [[http://www.billthelizard.com/feeds/posts/default][Bill the Lizard]] 101 + *** [[http://izbicki.me/blog/feed][Mike Izbicki's blog posts]] 102 + *** [[http://www.mkbergman.com/?feed=rss2][AI3:::Adaptive Information]] 103 + *** [[http://feed.dilbert.com/dilbert/blog][Scott Adam's Blog]] 104 + *** [[http://adam.curry.com/linkblog.xml][Adam Curry's MicroBlog]] 105 + *** [[http://feeds2.feedburner.com/pragandy][Andy Hunt's Toolshed Technologies]] 106 + *** [[http://feeds.feedburner.com/codinghorror][Coding Horror]] 107 + *** [[https://www.tbray.org/ongoing/ongoing.atom][ongoing by Tim Bray]] 108 + *** [[http://macstrac.blogspot.com/feeds/posts/default][James Strachan's Blog]] 109 + *** [[http://feeds.feedburner.com/steveklabnik/words][Steve Klabnik]] 110 + ** Blogs :blogs: 111 + *** [[http://blog.codecentric.de/en/feed/][codecentric AG Blog]] 112 + *** [[https://digest.bps.org.uk/category/developmental/feed/][Research Digest » Developmental Category Feed]] 113 + *** [[http://comonad.com/reader/feed/][The Comonad.Reader]] 114 + *** [[http://themacro.com/feed.xml][The Macro]] 115 + *** [[http://highscalability.com/rss.xml][High Scalability]] 116 + *** [[http://factordaily.com/feed/][FactorDaily]] 117 + *** [[https://theinitialcommit.com/feed.xml][_theInitialCommit]] 118 + *** [[http://www.infoq.com/feed?token=IxfzXZSmf9Mgj6m7sXGCMVrp60LGr9f6][InfoQ]] 119 + *** [[http://golem.ph.utexas.edu/category/atom10.xml][The n-Category Café]] 120 + *** [[http://www.stevesouders.com/blog/feed/][High Performance Web Sites]] 121 + *** [[http://www.guardian.co.uk/info/developer-blog/rss][Developer blog]] 122 + *** [[http://usesthis.com/feed/][Uses This]] 123 + *** [[http://underscoreconsulting.com/feed.xml][Underscore]] 124 + *** [[http://se-radio.net/rss][Software Engineering Radio - The Podcast for Professional Software Developers]] 125 + *** [[http://alistapart.com/site/rss][A List Apart: The Full Feed]] 126 + *** [[http://rss.slashdot.org/Slashdot/slashdotLinux][Slashdot: Linux]] 127 + *** [[http://feeds.feedburner.com/37signals/beMH][Signal v. Noise]] 128 + *** [[http://blog.davidungar.net/feed/][Insights]] 129 + *** [[https://www.yahoo.com/tech/tagged/the-new-old-thing/rss][The-new-old-thing | Yahoo Tech]] 130 + *** [[http://blog.schema.org/feeds/posts/default][schema blog]] 131 + *** [[http://typelevel.org/blog/feed.rss][Typelevel.scala]] 132 + *** [[https://freedom-to-tinker.com/feed/rss/][Freedom to Tinker]] 133 + *** [[https://machinelearning.apple.com/feed.xml][Apple Machine Learning Journal]] 134 + *** [[http://blog.8thlight.com/feed/atom.xml][8th Light Blog]] 135 + *** [[http://planetrdf.com/index.rdf][Planet RDF]] 136 + *** [[http://www.artima.com/weblogs/feeds/weblogs.rss][Artima Weblogs]] 137 + *** [[http://muratbuffalo.blogspot.com/feeds/posts/default][Metadata]] 138 + *** [[http://softwareengineeringdaily.com/feed/][Software Engineering Daily]] 139 + *** [[http://v8project.blogspot.com/feeds/posts/default][V8 JavaScript Engine]] 140 + *** [[http://emacsredux.com/atom.xml][Emacs Redux]] 141 + *** [[http://feeds.feedburner.com/blogspot/Dcni][Google Developers Blog]] 142 + *** [[http://feeds.feedburner.com/NodeUp][NodeUp]] 143 + *** [[http://aphyr.com/tags/jepsen.atom][Aphyr: Jepsen]] 144 + *** [[http://www.scala-lang.org/feed/blog.xml][www.scala-lang.org]] 145 + *** [[http://www.cakesolutions.net/teamblogs/rss.xml][Cake Solutions]] 146 + *** [[https://blog.hablapps.com/feed/][Purely Functional]] 147 + *** [[http://chrispenner.ca/atom.xml][Chris Penner]] 148 + *** [[http://unisonweb.org/feed.xml][Unison]] 149 + *** [[https://cacm.acm.org/blogs/blog-cacm.rss][CACM Blog]] 150 + *** [[https://cacm.acm.org/opinion.rss][CACM Opinion]] 151 + ** Haskell :haskell: 152 + *** [[http://reasonablypolymorphic.com/atom.xml][Reasonably Polymorphic]] 153 + *** [[http://blog.jle.im/rss][in Code — Entries]] 154 + *** [[http://byorgey.wordpress.com/feed/][blog :: Brent -]] 155 + *** [[http://jaspervdj.be/rss.xml][jaspervdj - All posts]] 156 + *** [[http://bartoszmilewski.com/feed/][ Bartosz Milewski's Programming Cafe]] 157 + *** [[https://deque.blog/feed/][Deque]] 158 + *** [[http://planet.haskell.org/rss20.xml][Planet Haskell]] 159 + *** [[http://conal.net/blog/feed/][Conal Elliott]] 160 + *** [[https://ajknapp.github.io/feed.xml][Volts, Sheaves, and Trees]] 161 + *** [[https://harry.garrood.me/atom.xml][Harry Garrood’s blog]] 162 + *** [[https://blogs.ncl.ac.uk/andreymokhov/feed/][no time]] 163 + *** [[https://functor.tokyo/blog/feed][functor.tokyo blog feed]] 164 + *** [[http://blog.tweag.io/rss.xml][Tweag I/O - Engineering blog]] 165 + *** [[http://bitemyapp.com/rss.xml][bitemyapp]] 166 + *** [[http://wadler.blogspot.com/feeds/posts/default?alt=rss][Wadler's Blog]] 167 + *** [[http://why-lambda.blogspot.com/feeds/posts/default?alt=rss][James Cheney]] 168 + *** [[http://argumatronic.com/rss.xml][argumatronic]] 169 + *** [[https://www.blogger.com/feeds/8068466035875589791/posts/default][Neel Krishnaswami]] 170 + *** [[https://wickstrom.tech/feed.xml][Oskar Wickström]] 171 + *** [[https://simonmar.github.io/atom.xml][Simon Marlow]] 172 + *** [[http://brianmckenna.org/blog/feed][BAM Weblog]] 173 + *** [[https://blog.plover.com/index.atom][The Universe of Discourse]] 174 + *** [[https://blog.nyarlathotep.one/feed.xml][Alexandre Moine's blog]] 175 + *** [[https://idontgetoutmuch.wordpress.com/feed/][Maths, Stats & Functional Programming]] 176 + *** [[https://www.blogger.com/feeds/1777990983847811806/posts/default][Haskell for all]] 177 + *** [[http://www.parsonsmatt.org/feed.xml][To Overcome]] 178 + *** [[https://chshersh.github.io/rss.xml][kodimensional :: Haskell blog posts]] 179 + *** [[http://okmij.org/ftp/rss.xml][okmij.org]] 180 + *** [[http://donsbot.wordpress.com/feed/][Control.Monad.Writer]] 181 + *** [[http://composition.al/atom.xml][Lindsey Kuper]] 182 + *** [[https://serokell.io/blog.rss.xml][Serokell Blog]] 183 + *** [[http://blog.ezyang.com/feed/][Inside 245-5D]] 184 + *** [[https://www.snoyman.com/feed][Michael Snoyman's blog]] 185 + *** [[http://blog.vmchale.com/atom][blog]] 186 + *** [[http://mpickering.github.io/atom.xml][mpickering.github.io]] 187 + *** [[https://ro-che.info/articles/rss.xml][Roman Cheplyaka]] 188 + *** [[https://chrispenner.ca/atom.xml][Chris Penner]] 189 + *** [[http://www.joachim-breitner.de/blog_feed.rss][nomeata’s mind shares]] 190 + *** [[http://oleg.fi/gists/atom.xml][Oleg's gists]] 191 + *** [[http://neilmitchell.blogspot.com/feeds/posts/default][Neil Mitchell's Haskell Blog]] 192 + *** [[https://mmhaskell.com/blog?format=RSS][Blog - Monday Morning Haskell]] 193 + *** [[http://www.well-typed.com/blog/rss2.xml][Well-Typed Blog]] 194 + ** News :news: 195 + *** [[http://pib.nic.in/newsite/rssenglish.aspx][Press Information Bureau]] 196 + *** [[http://www.dvorak.org/blog/?feed=rss2][Dvorak News Blog]] 197 + ** Apple :apple: 198 + *** [[http://inessential.com/xml/rss.xml][inessential.com]] 199 + *** [[http://feeds.feedburner.com/marcoorg][Marco.org]] 200 + *** [[http://www.macstories.net/feed/][MacStories]] 201 + *** [[http://www.leancrew.com/all-this/feed/][And now it’s all this]] 202 + *** [[http://nshipster.com/feed.xml][NSHipster]] 203 + *** [[http://feedpress.me/sixcolors?type=xml][Six Colors]] 204 + *** [[http://daringfireball.net/index.xml][Daring Fireball]] 205 + *** [[http://thesweetsetup.com/feed/][The Sweet Setup]] 206 + *** [[http://stratechery.com/feed][Stratechery by Ben Thompson]] 207 + ** Aggregators :aggregators: 208 + *** [[https://news.ycombinator.com/rss][Hacker News]] 209 + *** [[https://lobste.rs/rss][Lobsters]] 210 + *** [[http://feedworld.net/toc/atom.xml][Theory of Computing Blog Aggregator]]

Configure Feed

Configure Feed