links

news

Deutschlandfunk | Guardian | Multipolar | NZZ | NachDenkSeiten | Netzpolitik.org | Reuters | Telepolis | Wetter | r/worldnews |

technology and science

Aeon | Golem | Hacker News | Heise | Lambda the Ultimate | Notebook Check | Quanta | r/aerospace | r/compsci | r/embedded | r/futurology | r/philosophy | r/programming | r/science | Spektrum |


encyclopedia, dictionary, references

Dict.cc | MathWorld | Pons | Regular Expressions | Rosetta Code | Springer Nature Lexika | Stanford Encyclopedia of Philosophy | Wikipedia DE | Wikipedia EN | Wiktionary DE | Wiktionary EN | Worldometer |


search

arXiv | CiteSeerX | DuckDuckGo | Ecosia | Internet Archive | OEC | OpenStreetMap | searchcode |


:)

Abstruse Goose | CommitStrip | Dilbo | Dinosaur Comics | MonkeyUser | SETI@home | SMBC | Titanic | turnoff.us | XKCD |


tools

programming languages

c/c++

CBMC | Clang-Tidy | Clang | ClangFormat | Cppcheck | CppReference | Frama-C | GCC | GDB | GLib | ld |

python

aiohttp | Arpeggio | Beautiful Soup | Click | Cython | Hypothesis | kivy | Lark | Mypy | PyGObject | Pylint | pytest | Python | Requests | Scikit-Learn | SciPy | sh | SQLAlchemy | Tabulate | textX | unsync |

lisp

Chez | Chibi | Chicken | Clojure | Guile | Hy | Racket |

other

Factor | Forth | Idris | Java | JavaScript | Julia | OCaml | Pharo | TCL | Zig |

parsing, language construction

ANTLR | LLVM | MPS | PackCC |

unix shell

Awk | Bash | Fish | m4 | Man Pages | sed |

build systems

Ant | doit | Make |

model checking, decision procedures

NuSMV | SMT-LIB | z3 |

version control

Fossil | Git | Pijul |

vim

Airline | Ale | NERDTree | Obvious Resize | Plug | Surround.vim | Table Mode | Tagbar | Vim | VOoM |

operating systems

Debian | FreeBSD | FreeRTOS | NetBSD | NuttX | QEMU | RTEMS | Ubuntu | VirtualBox |

networking

curl | Fail2ban | Nmap | OpenSSH | Postfix | ufw | Wireshark |

web

CSS | Emscripten | Firefox Vim Vixen | Firefox | HTML | Nikola | jQuery | nginx | w3m |

math, engineering

FreeCAD | KiCad | LibrePCB | Maxima | Octave | OpenSCAD | Slic3r |

documentation, office

Doxygen | Gimp | Gnuplot | Graphviz | LibreOffice | Pandoc | PlantUML | QPDF | Radicale |

cryptography

Enigmail | GnuPG | KeePassXC | VeraCrypt |

other

Gitit | Jenkins | SQLite | SWIG | Trac | vifm |


online services

BugMeNot | GitLab | GPS Visualizer | GuerrillaMail | Ideone | IEEE-754 Calculator | Jabber.de | Let's Encrypt | MX Toolbox | Riot.im | ShellCheck | SKS Keyservers | Subnet Online | Talky | Web Proxy |


podcasts, blogs, forums

AI Podcat | Clean Code Blog | Embedded in Academia | Essay und Diskurs | Federico Tomassetti | Kaiser TV | LSE | Mikrocontroller.net | Omega Tau | Paul Ralph | Philosophize This! | Philosophy Bites | Software Engineering Radio | SozioPod | StackExchange |


conferences

CCC | CppCon | Curry On | Flight Software Workshop | FOSDEM | GOTO | InfoQ | POPL | RacketCon | re:publica | SPLASH | Strange Loop | TED |


ngo

Atmosfair | Attac | Foodwatch | Free Software Foundation | Germanwatch | Greenpeace | Human Rights Watch | ICCF | Lobbycontrol | medico international | Mehr Demokratie e.V. | Oxfam | Wikimedia Foundation | Ärzte ohne Grenzen |


shops

Bergfreunde | Bücher.de | Conrad | Globetrotter | Kleinanzeigen | Reichelt | Westfalia |