Starred Topics
Browse starred topics
-
Terminal
The terminal is an interface in which you can type and execute text-based commands.
StarredMay 21, 2023 -
Rust
Rust is a systems programming language created by Mozilla.
StarredMay 21, 2023 -
Haskell
Haskell is a functional programming language with non-strict semantics, and strong static typing.
StarredMar 1, 2022 -
#
nixos-configuration
StarredJul 2, 2020 -
#
nixpkgs
StarredJul 2, 2020 -
#
nixos
StarredJul 2, 2020 -
Nix
Nix, the purely functional package manager.
StarredJul 2, 2020 -
#
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
StarredOct 7, 2019 -
Kubernetes
Kubernetes is an open source system for automating deployment, scaling, and management of containerized applications.
StarredOct 7, 2019 -
#
Deep learning
Deep learning is a subset of machine learning that uses multi-layered neural networks to learn representations from data.
StarredOct 7, 2019 -
#
python3
StarredOct 7, 2019 -
Linux
Linux is an open source kernel.
StarredSep 16, 2019 -
Vim
Vim is a console-run text editor program.
StarredSep 16, 2019 -
#
Software-defined networking
Software-defined networking (SDN) is an architecture for programmable, centrally managed networks.
StarredSep 16, 2019 -
#
Monitoring
Monitor the impact of your code changes. Measure performance, track errors, and analyze your application.
StarredSep 16, 2019 -
Go
Go is a programming language built to resemble a simplified version of the C programming language.
StarredSep 16, 2019 -
Git
Git is the most widely used version control system.
StarredSep 16, 2019 -
#
Continuous integration
Automatically build and test your code as you push it upstream, preventing bugs from being deployed to production.
StarredSep 16, 2019 -
#
Code review
Ensure your code meets quality standards and ship with confidence.
StarredSep 16, 2019 -
#
Code quality
Automate your code review with style, quality, security, and test‑coverage checks when you need them.
StarredSep 16, 2019 -
Amazon Web Services
Amazon Web Services provides on-demand cloud computing platforms on a subscription basis.
StarredSep 16, 2019 -
Android
Android is an operating system built by Google designed for mobile devices.
StarredSep 16, 2019 -
PostgreSQL
PostgreSQL is an open source database system.
StarredSep 16, 2019 -
Bash
Bash is a shell and command language interpreter for the GNU operating system.
StarredSep 16, 2019
Ubuntu
Ubuntu is a Linux-based operating system.